Program Chairs

Amy Felty, University of Ottawa, Program Co-Chair
Aart Middeldorp, University of Innsbruck, Program Co-Chair


Program Committee

Carlos Areces, Universidad Nacional de Córdoba 
Alessandro Armando, University of Genova
Christoph Benzmüller, Freie Universität Berlin
Josh Berdine, Microsoft Research
Jasmin Blanchette, Technische Universität München
Marta Cialdea Mayer, Universita di Roma Tre
Stephanie Delaune, CNRS
Gilles Dowek, Inria
Amy Felty, University of Ottawa
Reiner Hähnle, Technical University of Darmstadt
Stefan Hetzl, Vienna University of Technology
Marijn Heule, The University of Texas at Austin
Nao Hirokawa, JAIST
Ullrich Hustadt, University of Liverpool
Deepak Kapur, University of New Mexico
Gerwin Klein, NICTA and UNSW
Laura Kovács, Chalmers University of Technology
Carsten Lutz, Universität Bremen
Assia Mahboubi, Inria
Aart Middeldorp, University of Innsbruck
Albert Oliveras, Technical University of Catalonia
Nicolas Peltier, CNRS
Brigitte Pientka, McGill University
Ruzica Piskac, Yale University
André Platzer, Carnegie Mellon University
Andrew Reynolds, EPFL Lausanne
Christophe Ringeissen, LORIA-INRIA
Renate Schmidt, University of Manchester
Stephan Schulz, DHBW Stuttgart
Georg Struth, University of Sheffield
Geoff Sutcliffe, University of Miami
Alwen Tiu, Nanyang Technological University
Freek Wiedijk, Radboud University Nijmegen


Workshop, Tutorial and Competition Co-Chairs


Jasmin Blanchette, Technische Universität München
Andrew Reynolds, EPFL Lausanne


Conference Organization


Christoph Benzmüller, Freie Universität Berlin, Conference Chair
Julian Röder, Freie Universität Berlin, Publicity and Web Chair

Further organization team at FU Berlin: Benjamin Vetter, Alexander Steen, Max Wisniewski, Maximilian Claus