ITP Program Committee
The program committee of ITP 2014 is shown below.
- Jeremy Avigad (Carnegie Mellon University)
- Lennart Beringer (Princeton University)
- Yves Bertot (INRIA)
- Thierry Coquand (Chalmers University)
- Amy Felty (University of Ottawa)
- Ruben Gamboa (University of Wyoming) - chair
- Georges Gonthier (Microsoft Research)
- Elsa Gunter (University of Illinois at Urbana-Champaign)
- John Harrison (Intel Corporation)
- Matt Kaufmann (University of Texas at Austin)
- Gerwin Klein (NICTA and UNSW) - chair
- Alexander Krauss (Technische Universität München)
- Ramana Kumar (University of Cambridge)
- Joe Leslie-Hurd (Intel Corporation)
- Assia Mahboubi (INRIA - École polytechnique)
- Panagiotis Manolios (Northeastern University)
- Magnus O. Myreen (University of Cambridge)
- Tobias Nipkow (Technische Universität München)
- Michael Norrish (NICTA and ANU)
- Sam Owre (SRI International)
- Christine Paulin-Mohring (Université Paris-Sud)
- Lawrence Paulson (University of Cambridge)
- David Pichardie (INRIA Rennes - Bretagne Atlantique)
- Lee Pike (Galois, Inc.)
- Jose-Luis Ruiz-Reina (University of Seville)
- Julien Schmaltz (Open University of the Netherlands)
- Bas Spitters (Radboud University Nijmegen)
- Sofiene Tahar (Concordia University)
- René Thiemann (University of Innsbruck)
- Laurent Théry (INRIA)
- Christian Urban (King's College London)
- Tjark Weber (Uppsala University)
- Makarius Wenzel (Université Paris-Sud 11)