Call For Papers: Logical Frameworks and Meta-languages (LFM'99)

                           CALL FOR PAPERS

       LFM'99: Workshop on Logical Frameworks and Meta-languages
                  28 September 1999, Paris, France

To be held as part of he International Conference on Principles and
Practice of Declarative Programming (PPDP'99).

Logical frameworks and meta-languages are intended as a common
substrate for representing and implementing a wide variety of logics
and formal systems.  Their definition and implementation have been the
focus of considerable work over the last decade.  At the heart of this
work is a quest for generality: A logical framework provides a basis
for capturing uniformities across deductive systems and support for
implementing particular systems.  Similarly a meta-language supports
reasoning about and using languages.

This workshop will bring together designers, implementers, and
practitioners to discuss the development of logical frameworks and
their use in meta-reasoning and programming.  Topics include (but are
not limited to):

       the design of logical frameworks,
       meta-theoretical studies,
       comparative studies,
       techniques of representation of formal systems,
       proofs of properties of formal systems,
       program development and proofs of program correctness.

The workshop will be held on Tuesday, 28 September 1999.  It will be
held as part of the International Conference on Principles and
Practice of Declarative Programming (PPDP'99), which takes place from
Wednesday, 29 September, to Friday, 1 October, in Paris, France.
PPDP'99 is part of the Colloquium on Principles, Logics, and
Implementations of High-Level Programming Languages (PLI'99).  (See

Submissions on any aspect of logical frameworks and meta-languages are
solicited, including papers on work in progress and more mature work.

Important dates

       Submission deadline:               15 July 1999
       Notification of acceptance:        15 August 1999
       Final version of accepted papers:  31 August 1999

Submitted papers should be extended abstracts of 5-8 pages.  Please
submit your abstract electronically by mailing a uuencoded compressed
(or gziped) postscript file to felty@research.bell-labs.com.  Accepted
contributions will be included in the informal workshop proceedings,
which will be available at the workshop.

There are plans for post-workshop publication in a special issue of
the Journal of Automated Reasoning.  Participants will be invited to
submit full versions for publication after the workshop.

The workshop will be one full day and will be open to all interested

Program Committee:

       David Basin (Freiburg)
       Iliano Cervesato (Stanford)
       Joelle Despeyroux (INRIA)
       Amy Felty (Bell Labs, Chair)
       Sara Kalvala (Warwick)
       Raymond McDowell (Kalamazoo)

Workshop Web Site: http://www.cs.bell-labs.com/~felty/LFM99/