9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
LFMTP PROGRAM COMMITTEE
The program committee of LFMTP2014 is shown below.
- Andreas Abel (Gothenburg University)
- Kaustuv Chaudhuri (INRIA)
- Adam Chlipala (MIT)
- Amy Felty (University of Ottawa) - chair
- Elsa Gunter (Departement of Computer Science, University of Illinois at Urbana-Champaign)
- Liquori Luigi (INRIA)
- Marino Miculan (DiMI, University of Udine)
- Brigitte Pientka (McGill University) - chair
- Jorge Luis Sacchini (Carnegie Mellon University - Qatar Campus)
- Alwen Tiu (Nanyang Technological University)