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:
Previous workshop: LFM'99 was held as part of PLI'99 in Paris, France.
JoŽlle Despeyroux, Joelle.Despeyroux@inria.fr.