Committee

CHAIRS

  Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy  -  francesco.pacenza_AT_unical.it

  Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria  -  zeynep_AT_kr.tuwien.ac.at    

PROGRAM COMMITTEE

  Mario Alviano, University of Calabria

  Marcello Balduccini, Saint Joseph's University

  Francesco Cauteruccio, Polytechnic University of Marche

  Stefania Costantini, University of L'Aquila

  Carmine Dodaro, University of Calabria

  Stefan Ellmauthaler, TU Dresden

  Esra Erdem, Sabanci University

  Cristina Feier

  Johannes K. Fichte, Linköping University

  Antti Hyvärinen, Certora

  Giovambattista Ianni, University of Calabria

  Daniela Inclezan, Miami University

  Tomi Janhunen, Tampere University

  Joao Leite, Universidade NOVA de Lisboa

  Vladimir Lifschitz, The University of Texas at Austin

  Marco Maratea, University of Calabria

  Michael Morak, University of Klagenfurt

  Javier Romero, University of Potsdam

  Orkunt Sabuncu, TED University

  Konstantin Schekotihin, Alpen-Adria Universität Klagenfurt

  Tran Cao Son, New Mexico State University

  Mirek Truszczynski, University of Kentucky

  Johannes P. Wallner, TU Graz

  Stefan Woltran, TU Wien

  Jia-Huai You, University of Alberta

  Jessica Zangari, University of Calabria