Programme Committee
- Carlos Areces, Universidad Nacional de Córdoba
- Christoph Benzmüller (co-chair), Freie Universität Berlin
- Walter Carnielli, Centre for Logic, Epistemology and the History of Science – CLE
- Christian Fermüller, TU Wien
- Rajeev Goré, The Australian National University
- Andreas Herzig, IRIT-CNRS
- Stephan Merz, INRIA Nancy
- Till Mossakowski, University of Magdeburg
- Aniello Murano, Università di Napoli "Federico II"
- Hans De Nivelle, University of Wrocław
- Jens Otten (co-chair), University of Potsdam
- Valeria De Paiva, University of Birmingham
- Giselle Reis, INRIA Saclay
- Julian Richardson, Google Inc.
- Luca Viganò, King's College London