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)

• LFMTP'18, Oxford, UK, affiliated with FLoC'18, organized by Frédéric Blanqui (INRIA, France) and Giselle Reis (Carnegie Mellon University in Qatar)
• LFMTP'17, Oxford, UK, affiliated with FSCD'17, organized by Florian Rabe (Jacobs University Bremen) and Marino Miculan (University of Udine)
  Proceedings (ISBN: 978-1-4503-5374-8), ACM Digital Library
• LFMTP'16, Porto, Portugal, affiliated with FSCD'16, organized by Gilles Dowek (ENS Cachan) and Dan Licata (Wesleyan University)
  Proceedings (ISBN: 978-1-4503-4777-8), ACM Digital Library
• LFMTP'15, Berlin, Germany, affiliated with CADE-25, organized by Iliano Cervesato (Carnegie Mellon University) and Kaustuv Chaudhuri (INRIA)
  Proceedings (DOI: 10.4204/EPTCS.185), EPTCS 185
• LFMTP'14, Vienna, Austria, affiliated with CSL-LICS and IJCAR as part of FLoC and VSL'14, organized by Amy Felty (University of Ottawa) and Brigitte Pientka (McGill University)
  Proceedings (ISBN: 978-1-4503-2817-3), ACM Digital Library
• LFMTP'13, Boston, USA, affiliated with ICFP, organized by Alberto Momigliano (University of Milan), Brigitte Pientka (McGill University), and Randy Pollack (Harvard University)
  Proceedings (ISBN: 978-1-4503-2382-6), ACM Digital Library
• LFMTP'12, Copenhagen, Denmark, affiliated with ICFP, organized by Adam Chlipala (MIT) and Carsten Schürmann (ITU)
  Proceedings (ISBN: 978-1-4503-1578-4), ACM Digital Library
• LFMTP'11, Nijmegen, The Netherlands, affiliated with ITP, organized by Herman Geuvers (Radboud University Nijmegen) and Gopalan Nadathur (University of Minnesota)
  Proceedings (DOI: 10.4204/EPTCS.71), EPTCS 71
• LFMTP'10, Edinburgh, Scotland, affiliated with LICS at FLoC, organized by Karl Crary (Carnegie Mellon University) and Marino Miculan (University of Udine)
  Proceedings (DOI: 10.4204/EPTCS.34), EPTCS 34
• LFMTP'09, Montreal, Canada, affiliated with CADE, organized by Amy Felty (University of Ottawa) and James Cheney (University of Edinburgh)
  Proceedings (ISBN: 978-1-60558-529-1), ACM Digital Library
• LFMTP'08, Pittsburgh, USA, affiliated with LICS, organized by Andreas Abel (LMU) and Christian Urban (TUM)
  Proceedings (DOI: 10.1016/j.entcs.2008.12.112), ENTCS 228
• LFMTP'07, Bremen, Germany, affiliated with CADE, organized by Carsten Schürmann (IT University of Copenhagen) and Brigitte Pientka (McGill University)
  Proceedings (DOI: 10.1016/j.entcs.2006.12.008), ENTCS 170
• LFMTP'06, Seattle, USA, affiliated with LICS and IJCAR at FLoC, organized by Brigitte Pientka (McGill University) and Alberto Momigliano (University of Edinburgh)
  Proceedings (DOI: 10.1016/j.entcs.2007.01.015), ENTCS 174(5)

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

• LFM'04, Cork, Ireland, affiliated with IJCAR, organized by Carsten Schürmann (Yale University)
  Proceedings (DOI: 10.1016/j.entcs.2007.11.008), ENTCS 199
• LFM'02, Copenhagen, Denmark, affiliated with LICS at FLOC, organized by Frank Pfenning (Carnegie Mellon University).
  Proceedings (DOI: 10.1016/S1571-0661(05)80511-0), ENTCS 70(2)
• LFM'00, Santa Barbara, USA, affiliated with LICS, organized by Joelle Despeyroux (INRIA)
  Proceedings
• LFM'99, Paris, France, affiliated with PPDP and PLI, organized by Amy Felty (now University of Ottawa)
  Proceedings
• LF'90, Antibes, France, organized by Gilles Kahn (INRIA)
  Proceedings (edited by Gérard Huet and Gordon Plotkin)

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

• MERLIN 2005, Tallinn, Estonia, affiliated with ICFP, organized by Alberto Momigliano (University of Edinburgh), Ivan Scagnetto (Universiy of Udine), and Alwen Tiu (INRIA Lorraine)
  Proceedings (ISBN: 1-59593-072-8), ACM Digital Library
• MERLIN 2003, Uppsala, Sweden, affiliated with PLI, organized by Alberto Momigliano (University of Leicester, UK) and Marino Miculan (University of Udine, Italy)
  Proceedings (ISBN: 1-58113-800-8), ACM Digital Library
• MERLIN 2001, Siena, Italy, affiliated with IJCAR, organized by Roy L. Crole, Simon J. Ambler, and Alberto Momigliano (University of Leicester, UK)
  Proceedings (DOI: 10.1016/S1571-0661(05)80579-1), ENTCS 58(1)