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