LFMTP: Logical Frameworks and Meta Languages: Theory and Practice.

Type theories, logical frameworks and meta-languages form a common foundation for designing, implementing, and reasoning about formal languages and their semantics. They are central to the design of modern programming languages, certified software, and domain specific logics. More generally, they continue to influence applications in many areas in mathematics, logic and computer science. The LFMTP workshops bring together designers, implementers, and practitioners working on these areas.

Steering Committee

• David Baelde (ENS Rennes), 2022-2027
• Amy Felty (University of Ottawa), 2022-2027
• Dale Miller (Inria Saclay), 2019-2024
• Brigitte Pientka (McGill University), 2020-2025
• Elaine Pimentel (University College London), 2021-2026, chair 2022-2024
• Enrico Tassi (Inria Sophia-Antipolis), 2023-2028
• Alwen Tiu (Australian National University), 2020-2025

Most recent former members:

• Giselle Reis (Carnegie Mellon University Qatar), 2018-2023
• Florian Rabe (University Erlangen-Nuremberg), 2017-2022, chair 2018-2022
• Marino Miculan (University of Udine), 2017-2022
• Alberto Momigliano (University of Milan), 2015-2021
• Iliano Cervesato (Carnegie Mellon University), 2015-2020
• Amy Felty (University of Ottawa), 2014-2019
• Kaustuv Chaudhuri (Inria), 2015-2019
• Brigitte Pientka (McGill University), 2013-2018, chair 2016-2018
• Adam Chlipala (MIT), -2017
• Carsten Schürmann (IT University of Copenhagen), -2017
• Karl Crary (Carnegie Mellon University), -2015
• Marino Miculan (University of Udine), -2015
• Gopalan Nadathur (University of Minnesota), -2015
• Andreas Abel (Chalmers), before 2014
• Amy Felty (University of Ottawa), before 2014
• Michael Norrish (Data 61), before 2014

Contact

Chair LFMTP: Email us