LFM'02 Call for Papers

Third International Workshop on
Logical Frameworks and Meta-Languages
(LFM'02)
A FLoC'02 affiliated workshop
Copenhagen, Denmark, July 26, 2002

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 fp@cs.

Important Dates

Submission: Monday April 15, 2002
Notification: Monday May 13, 2002
Final Versions: Monday June 10, 2002
Workshop: Friday, July 26, 2002

The workshop will be held on Friday, July 26, 2002, as part of FLoC'02 and is jointly sponsored by the LICS and CADE conferences.

Informal proceedings will be published as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series 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

David Basin University of Freiburg
Thierry Coquand Goteborg University
Amy Felty University of Ottawa
Didier Galmiche LORIA Nancy
Dale Miller Penn State University
Tobias Nipkow Technical University Munich
Frank Pfenning (chair) Carnegie Mellon University
Benjamin Pierce University of Pennsylvania
Benjamin Werner INRIA Rocquencourt

Contact

Frank Pfenning
Department of Computer Science
Carnegie Mellon University

fp@cs
http://www.cs.cmu.edu/~lfm02/


[ Home | Program | Proceedings | Call for Papers | FLoC'02 ]

fp@cs
Frank Pfenning