Fourth International Workshop on
Logical Frameworks and Meta-Languages

Affiliated with IJCAR'04
Cork, Ireland, July 05, 2004




                    Fourth International Workshop on
                 Logical Frameworks and Meta-Languages


                     A IJCAR'04 affiliated workshop
                   Cork, Ireland, July 04 - 08, 2004

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
or PDF format to the program chair at


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

The workshop will be held on 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.


Thierry Coquand 
Amy Felty 
Christoph Kreitz 
Jose Meseguer 
Dale Miller 
Frank Pfenning 
Randy Pollack 
Carsten Schuermann    (chair)


    Carsten Schuermann
    Department of Computer Science
    Yale University