past-workshops - Logical Frameworks and Meta-Languages: Theory and Practice Access content directly

Workshops

LFMTP continues a series of workshops on logical frameworks and meta-languages that started in 1999. It began with LFM and MERLIN, which were interleaved until 2005. These two workshops were merged in 2006 to form LFMTP, which has grown into one of the main venues for presenting results on type theories and logical frameworks.

LFMTP — International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (2006 - present)

LFM — International Workshop on Logical Frameworks and Meta-languages (1999 - 2004)

MERLIN — International Workshop on MEchanized Reasoning about Languages with variable bIndiNg (2001 - 2005)