Logical Frameworks and Meta-Languages
(LFM'04)
July 05, 2004
Affiliated with IJCAR'04
Cork, Ireland, July 05, 2004
|
|
Home |
|
|
Program |
|
|
Venue |
|
|
CFP |
The workshop program is now online and a preliminary version of the proceedings is available as well.
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.
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@cs.yale.edu.
IMPORTANT DATES
| Submission: | Mon, Apr 12, 2004 |
| Notification: | Mon, May 10, 2004 |
| Final Version: | Mon, May 31, 2004 |
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
Informal proceedings are likely to 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. Please find more information about the way the proceedings will be published on the IJCAR workshop homepage.
Program Committee
| Thierry Coquand | Chalmers University |
| Amy Felty | University of Ottawa |
| Christoph Kreitz | University of Potsdam |
| Jose Meseguer | University of Illinois |
| Dale Miller | INRIA |
| Frank Pfenning | Carnegie Mellon University |
| Randy Pollack | Edinburgh University |
| Carsten Schürmann (Chair) | Yale University |
Previous Workshops
The first took LFM workshop took place 1999 in Paris, France, LFM'99 and was organized by Amy Felty. The second edition was LFM'00 in Santa Barabara collocated with LICS in 2000 and organized by Joelle Despeyroux, and the third edition LFM'02 took place in 2002 in Copenhagen collocated with Floc 2002 and was organized by Frank Pfenning.Contact
Carsten Schürmann
Department of Computer Science
Yale University
carsten@cs.yale.edu
http://www.cs.yale.edu/~lfm04/
Sponsorship
To be announced.