CFP: LFM'04 - Logical Frameworks and Meta-languages

Carsten Schuermann carsten at cs.yale.edu
Mon Jan 5 14:22:48 EST 2004


                    Fourth International Workshop on
                 Logical Frameworks and Meta-Languages
                                (LFM'04)

                 http://www.cs.yale.edu/~carsten/lfm04

                     A IJCAR'04 affiliated workshop
                   Cork, Ireland, July 04 - 08, 2004
		 http://4c.ucc.ie/ijcar/index.html


Logical frameworks and meta-languages form a common substrate for
representing, implementing, and reasoning about a wide variety of
deductive systems of interest in logic and computer science.  Their
design and implementation has been the focus of considerable research
over the last two decades, using competing and sometimes incompatible
basic principles.

This workshop will bring together designers, implementors, and
practitioners to discuss all aspects of logical frameworks.  Topics
include, but are not limited to:

 - logical framework design
 - meta-theoretic analyses
 - applications and comparative studies
 - implementation techniques
 - efficient proof representation and validation
 - proof-generating decision procedures and theorem provers
 - proof-carrying code
 - substructural frameworks
 - semantic foundations
 - methods for reasoning about logics

We solicit submissions on work in progress and on more mature results.
Submissions should be extended abstracts of 5-10 pages sent in
PostScript
or PDF format to the program chair at carsten at cs.yale.edu

IMPORTANT DATES:

  Submission:     Mon, Apr 12, 2004
  Notification:   Mon, May 10, 2004
  Final Versions: Mon, May 31, 2004

The workshop will be held on Sunday, July 4, 2004 or Monday, Jul 5
2004, as part of IJCAR'04 to be announced by the IJCAR workshop chair.

Informal proceedings will be published as a Yale-CS technical report
and will be available to participants at the workshop.  A special
issue with invited papers from this workshop in a major journal is
under consideration.

PROGRAM COMMITTEE:

Thierry Coquand <coquand at cs.chalmers.se>
Amy Felty <afelty at site.uottawa.ca>
Christoph Kreitz <kreitz at cs.uni-potsdam.de>
Jose Meseguer <meseguer at cs.uiuc.edu>
Dale Miller <dale at cse.psu.edu>
Frank Pfenning <fp at cs.cmu.edu>
Randy Pollack <rap at inf.ed.ac.uk>
Carsten Schuermann <carsten at cs.yale.edu>   (chair)

CONTACT

    Carsten Schuermann
    Department of Computer Science
    Yale University

    carsten at cs.yale.edu
    http://www.cs.yale.edu/~carsten/lfm04


More information about the Types-list mailing list