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

Affiliated with CADE-21 at

Bremen, Germany, 15 July, 2007

LFMTP'07 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). A first version of LFMTP was held at FLOC'06..

This workshop is continuing the series of logical frameworks and meta-languages, which started in 1999.

    LFM'99 was held in Paris, France, affiliated with LICS (IEEE Symposium on Logic in Computer Science), and organized by Amy Felty(now University of Ottawa).

    LFM'00 was held in Santa Barbara, USA, affiliated with LICS (IEEE Symposium on Logic in Computer Science), and organized by Joelle Despeyroux (INRIA). LFM'02 was held in Copenhagen, Denmark, affiliated with LICS (IEEE Symposium on Logic in Computer Science) and FLOC'02 and was organized by Frank Pfenning (Carnegie Mellon University).

    LFM'04 was held in Cork, Ireland, affiliated with IJCAR (International Joint Conference on Automated Reasoning) and organized by Carsten Schürmann (Yale University)

Previous MERλIN workshops were held in 2001, 2003, and 2005.
    MERλIN 2001 was held in Siena, Italy, June 18, 2001, in connection with IJCAR 2001 (International Joint Conference on Automated Reasoning). It was organized by Roy L. Crole, Simon J. Ambler, and Alberto Momigliano (then at University of Leicester, UK).

    MERλIN 2003 was held in Uppsala University, Sweden, August 26, 2003, and was associated with the federation meeting Principles, Logics and Implementations of high-level programming languages (PLI 2003), 25 to 29 August 2003. It was organized by Alberto Momigliano (then at University of Leicester, UK) and Marino Miculan (University of Udine, Italy).

    MERλIN 2005 was held in Talinn, Estonia, 30 September 2005, in connection with ICFP (International Conference on Functional Programming). It was organized by Alberto Momigliano (University of Edinburgh), Ivan Scagnetto (Universiy of Udine), and Alwen Tiu (INRIA Lorraine).

In 2006, the first merged worshop on Logical Frameworks and Meta-Languages:Theory and Practice (LFMTP'06) took place as part of FLOC'06 in Seattle. It was organized by Brigitte Pientka (McGill University) and Alberto Momigliano (University of Edinburgh).


[ Home | CFP | Program ]

bp@cs.mcgill.ca
Brigitte Pientka