Steering Committee
Current members:- 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
- Giselle Reis (Carnegie Mellon University Qatar), 2018-2023
- Alwen Tiu (Australian National University), 2020-2025
Hosting for the LFMTP website is provided by Carsten Schürmann.
Most recent former members:
- 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