Chairs
Jasmin Christian Blanchette, Inria & MPII Saarbrücken
Cezary Kaliszyk, University of Innsbruck
Regular Members
Jesper Bengtson, IT University of Copenhagen
Frédéric Besson, Inria
Arthur Charguéraud, Inria
Leonardo de Moura, Microsoft Research
Jean-Christophe Filliâtre, CNRS
Liana Hadarean, Oxford University
Cătălin Hriţcu, Inria
Chantal Keller, Université Paris-Sud
Assia Mahboubi, Inria
Claudio Sacerdoti Coen, University of Bologna
Laurent Théry, Inria
Cesare Tinelli, The University of Iowa
Josef Urban, Czech Technical University in Prague
