Vienna, Austria
14th-17th July 2014
Program Chairs
- Gerwin Klein, NICTA and The University of New South Wales, Australia
- Ruben Gamboa, University of Wyoming, USA
Workshop Chair
- David Pichardie, INRIA, France
Program Committee
- 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
- Georges Gonthier, Microsoft Research
- Elsa Gunter, Departement of Computer Science, University of Illinois at Urbana-Champaign
- John Harrison, Intel Corporation
- Matt Kaufmann, University of Texas at Austin
- Gerwin Klein, NICTA and UNSW
- 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, TU München
- Michael Norrish, NICTA
- 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, Departament of Computer Science and Artificial Intelligence (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
- Tjark Weber, Uppsala University
- Makarius Wenzel, Université Paris-Sud 11