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’24, Tallinn, Estonia, Italy, affiliated with FSCD’24, by Florian Rabe (University Erlangen-Nuremberg) and Claudio Sacerdoti Coen (University Bologna)

  • LFMTP’23, Rome, Italy, affiliated with FSCD’23, organized organized by Alberto Ciaffaglione (Università degli Studi di Udine) and Carlos Olarte (LIPN, Université Sorbonne Paris Nord)

  • LFMTP’22, Haifa, Israel, affiliated with FLoC 2022, organized by David Baelde (ENS Cachan, France) and Vivek Nigam (Federal University of Paraíba, Brazil).

  • LFMTP’21, Pittsburgh, Pennsylvania, USA, affiliated with CADE 28, organized by Elaine Pimentel (Universidade Federal do Rio Grande do Norte: Natal, RN, BR) and Enrico Tassi (Inria, Sophia-Antipolis, FR). Proceedings.

  • LFMTP’20, Paris, France, affiliated with IJCAR 2020 and FSCD 2020, organized by Alwen Tiu (Australian National University) and Claudio Sacerdoti Coen (University of Bologna).

  • LFMTP’19, Vancouver, CA, affiliated with LICS’19, organized by Dale Miller (INRIA and LIX, France) and Ivan Scagnetto (University of Udine). Proceedings.

  • LFMTP’18, Oxford, UK, affiliated with FloC’18, organized by Frédéric Blanqui (INRIA, France) and Giselle Reis (Carnegie Mellon University, Qatar). Proceedings.

  • LFMTP’17, Oxford, UK, affiliated FSCD’17, organized by Florian Rabe (Jacobs University Bremen) and Marino Miculan (University of Udine). Proceedings.

  • LFMTP’16, Porto, Portugal, affiliated with FSCD’16, organized by Gilles Dowek (ENS Cachan) and Dan Licata (Wesleyan University). Proceedings.

  • LFMTP’15, Berlin, Germany, affiliated with CADE 25, organized by Iliano Cervesato (Carnegie Mellon University) and Kaustuv Chaudhuri (INRIA). Proceedings.

  • 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.

  • LFMTP’13, Boston, USA, affiliated with ICFP, organized by Alberto Momigliano (University of Milan), Brigitte Pientka (McGill University), and Randy Pollack (Harvard University). Proceedings.

  • LFMTP’12, Copenhagen, Denmark, affiliated with ICFP, organized by Adam Chlipala (MIT) and Carsten Schürmann (ITU). Proceedings.

  • LFMTP’11, Nijmegen, The Netherlands, affiliated with ITP, organized by Herman Geuvers (Radboud University Nijmegen) and Gopalan Nadathur (University of Minnesota). Proceedings.

  • LFMTP’10, Edinburgh, Scotland, affiliated with LICS at FLoC, organized by Karl Crary (Carnegie Mellon University) and Marino Miculan (University of Udine). Proceedings.

  • LFMTP’09, Montreal, Canada, affiliated with CADE, organized by Amy Felty (University of Ottawa) and James Cheney (University of Edinburgh)

  • LFMTP’08, Pittsburgh, USA, affiliated with LICS, organized by Andreas Abel (LMU) and Christian Urban (TUM)

  • LFMTP’07, Bremen, Germany, affiliated with CADE, organized by Carsten Sch¸rmann (IT University of Copenhagen) and Brigitte Pientka (McGill University)

  • LFMTP’06, Seattle, USA, affiliated with LICS and IJCAR at FLoC, organized by Brigitte Pientka (McGill University) and Alberto Momigliano (University of Edinburgh)

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

  • LFM’04, Cork, Ireland, affiliated with IJCAR, organized by Carsten Schurmann (Yale University)

  • LFM’02, Copenhagen, Denmark, affiliated with LICS at FLOC, organized by Frank Pfenning (Carnegie Mellon University).

  • LFM’00, Santa Barbara, USA, affiliated with LICS, organized by Joelle Despeyroux (INRIA)

  • LFM’99, Paris, France, affiliated with PPDP and PLI, organized by Amy Felty (now University of Ottawa)

MERLIN: International Workshop on MEchanized Reasoning about Languages with variable BInding (2001 - 2005)

  • MERLIN 2005, Tallinn, Estonia, affiliated with ICFP, organized by Alberto Momigliano (then at University of Edinburgh), Ivan Scagnetto (Universiy of Udine), and Alwen Tiu (INRIA Lorraine)

  • MERLIN 2003, Uppsala, Sweden, affiliated with PLI, organized by Alberto Momigliano (then at University of Leicester, UK) and Marino Miculan (University of Udine, Italy)

  • MERLIN 2001, Siena, Italy, affiliated with IJCAR, organized by Roy L. Crole, Simon J. Ambler, and Alberto Momigliano (then at University of Leicester, UK)