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

To: lics-request@dcs.ed.ac.uk, bra-types@cs.chalmers.se, types-wg@durham.ac.uk, appsem@cs.chalmers.se, logic@theory.lcs.mit.edu, logic@cs.cornell.edu, types@cis.upenn.edu, types@cs.indiana.edu, concurrency@cwi.nl, theorynt@listserv.nodak.edu, linear@cs.stanford.edu, rewriting@ens-lyon.fr, qed@mcs.anl.gov, coq-club@pauillac.inria.fr, info-hol@jaguar.cs.byu.edu, isabelle-users@cl.cam.ac.uk, pvs@csl.sri.com, theorem-provers@ai.mit.edu, lprolog@cs.umn.edu
Subject: CFP: LFM'02 - Logical Frameworks and Meta-languages
From: Frank Pfenning <Frank_Pfenning@altosax.concert.cs.cmu.edu>
Date: Fri, 15 Feb 2002 13:40:05 -0500
Reply-to: Frank Pfenning <fp@cs.cmu.edu>


		    Third International Workshop on
		 Logical Frameworks and Meta-Languages
				(LFM'02)

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

		     A FLoC'02 affiliated workshop
		   Copenhagen, Denmark, July 26, 2002
			 http://floc02.diku.dk/


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.cmu.edu

IMPORTANT DATES:

  Submission:     Mon, Apr 15, 2002
  Notification:   Mon, May 13, 2002
  Final Versions: Mon, Jun  3, 2002
  Workshop:       Fri, Jul 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 CMU-CS or DIKU 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:

    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.cmu.edu
    http://www.cs.cmu.edu/~lfm02