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.