International Workshop on Logical Frameworks and Meta-Languages:
Theory and Practice (LFMTP'06)

Affiliated with LICS and IJCAR at FLOC'06

Seattle, Washington, 16 August, 2006

LFMTP'06 continues the International workshop on Logical Frameworks and Meta-languages (LFM) and merges it with the workshop on MEchanized Reasoning about Languages with variable BInding(MERλIN).

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 on the one hand and their applications in for example proof-carrying code have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors, and practitioners to discuss all aspects of logical frameworks.

The broad subject areas of LFMTP'06 are

The automation and implementation of the meta-theory of programming languages and related calculi, particularly work which involves variable binding and fresh name generation.
The theoretical and practical issues concerning the encoding of variable binding and fresh name generation, especially the representation of, and reasoning about, datatypes defined from binding signatures.
Case studies of meta-programming, and the mechanization of the (meta)theory of descriptions of programming languages and calculi. Papers focusing on experiences with encoding programming languages theory and instances of proof-carrying code or proof-carrying authorization are particularly welcome.

Topics include, but are not limited to

logical framework design
meta-theoretic analysis
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

What's New?

This page. Stay tuned for the call for papers.

Important Dates (tentative)

15	May	2006	Submission deadline
15	June	2006	Notification of Authors
15	July	2006	Final version
16	August	2006	Workshop date

Program Committee:

Andrew Appel		Princeton University
Thierry Coquand		Goteborg University
Martin Hofmann		LMU Munich
Furio Honsell		University Udine
Dale Miller		Inria Futurs
Brigitte Pientka		McGill University
Andrew Pitts		Cambridge University
Kevin Watkins		Carnegie Mellon University

Organizers

Brigitte Pientka		Alberto Momigliano
School of Computer Science		School of Informatics
McGill University		University of Edinburgh
bp at cs dot mcgill dot ca		amomigl1 at inf dot ed dot ac dot uk

bp@cs.mcgill.ca
Brigitte Pientka