LFM 2000
Workshop on Logical Frameworks and Meta-languages
Sunday, June 25, 2000
Santa Barbara, California
Part of the International Conference on Logic in Computer Science
(LICS'2000).
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.
Call for papers (ps).
Program.
List of participants.
Proceedings.
As a followup to the workshop, a
special issue
on logical frameworks and meta-languages will be published by the
Journal of Functional Programming.
Program Committee:
David Basin, University of Freiburg
Thierry Coquand, University of Chalmers, Goteborg
Joëlle Despeyroux, INRIA (Chair)
Amy Felty, University of Ottawa, Lucent Technologies
Robert Harper, Carnegie Mellon University
Martin Hofmann, Edinburgh University
Benjamin Pierce, University of Pennsylvania
Benjamin Werner, INRIA
Previous workshop:
LFM'99
was held as part of PLI'99 in Paris, France.
Joëlle Despeyroux,
Joelle.Despeyroux@inria.fr.