coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Second CFP: LFM'04 - Logical Frameworks and Meta-languages

From: Carsten Schuermann <carsten AT cs.yale.edu>
To: lics-request AT dcs.ed.ac.uk, bra-types AT cs.chalmers.se, types-wg AT durham.ac.uk, appsem AT cs.chalmers.se, logic AT theory.lcs.mit.edu, logic AT CS.Cornell.EDU, types AT cis.upenn.edu, types AT cs.indiana.edu, concurrency AT cwi.nl, theorynt AT listserv.nodak.edu, linear AT cs.stanford.edu, rewriting AT ens-lyon.fr, qed AT mcs.anl.gov, coq-club AT pauillac.inria.fr, info-hol AT jaguar.cs.byu.edu, isabelle-users AT cl.cam.ac.uk, pvs AT csl.sri.com, theorem-provers AT ai.mit.edu, lprolog AT cs.umn.edu
Subject: [Coq-Club] Second CFP: LFM'04 - Logical Frameworks and Meta-languages
Date: Fri, 05 Mar 2004 09:07:34 -0500
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Yale University, Computer Science

                    Fourth International Workshop on
                 Logical Frameworks and Meta-Languages
                                (LFM'04)

                 http://www.cs.yale.edu/~carsten/lfm04

                     A IJCAR'04 affiliated workshop
                   Cork, Ireland, July 04 - 08, 2004
                 http://4c.ucc.ie/ijcar/index.html

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
carsten AT cs.yale.edu

IMPORTANT DATES:

  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.

PROGRAM COMMITTEE:

Thierry Coquand
<coquand AT cs.chalmers.se>
Amy Felty
<afelty AT site.uottawa.ca>
Christoph Kreitz
<kreitz AT cs.uni-potsdam.de>
Jose Meseguer
<meseguer AT cs.uiuc.edu>
Dale Miller
<dale AT cse.psu.edu>
Frank Pfenning
<fp AT cs.cmu.edu>
Randy Pollack
<rap AT inf.ed.ac.uk>
Carsten Schuermann
<carsten AT cs.yale.edu>
   (chair)

CONTACT

    Carsten Schuermann
    Department of Computer Science
    Yale University


carsten AT cs.yale.edu
    http://www.cs.yale.edu/~carsten/lfm04

[Coq-Club] Second CFP: LFM'04 - Logical Frameworks and Meta-languages, Carsten Schuermann