CFP: Special Journal Issue on Logical Frameworks and Metalanguages

Since work in the area of logical frameworks has contributed to
applications and metatheory of a variety of type systems, this call
should be of interest to many readers of this list.  -- A. Felty


Call for Papers



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.

The Workshop on Logical Frameworks and Metalanguages (LFM'99) was held
as part of the colloquium on Principles, Logics, and Implementations
of High-Level Programming Languages (PLI'99) in Paris in September
1999.  This workshop brought together designers, implementers, and
practitioners to discuss the development of logical frameworks and
their use in meta-reasoning and programming.

As a followup to this workshop, a special issue on this topic will be
published by the Journal of Automated Reasoning.  Papers presenting
original contributions on any aspect of logical frameworks and
meta-languages are solicited.  Topics of interest include (but are not
limited to):

       the design of logical frameworks,
       meta-theoretical studies,
       comparative studies,
       techniques of representation of formal systems.

All contributors to LFM'99 are invited to submit a full paper, but the
special issue is open for everybody.  Manuscripts should be unpublished
works and not submitted elsewhere.  Revised and enhanced versions of
papers published in conference proceedings that have not appeared in
archival journals are eligible for submission.  All submissions will be
reviewed according to the usual standards of scholarship and
originality.  Information on JAR submissions can be found at URL
http://www-unix.mcs.anl.gov/JAR/.  Please format your submissions using
JAR macros (available at http://www.wkap.nl/kaphtml.htm/STYLEFILES) and,
for this special issue, manuscripts should not exceed 25 pages.

Submissions should be sent to both guest editors in postscript format
preferably gzipped and uuencoded.  In addition, please send, as plain
text, title, abstract, and contact information.  The submission deadline
is January 31st 2000.

Guest Editors:

David Basin, University of Freiburg, basin@informatik.uni-freiburg.de
Amy Felty, Bell Labs, felty@research.bell-labs.com