Marco Maratea Mauro Vallati 0 1 Program Committee 0 1 0 Mario Alviano Marcello Balduccini Laura Barbulescu Roman Bartak Stefano Bistarelli Pedro Cabalar Francesco Calimeri Lukas Chrpa Stefania Costantini Carmine Dodaro Agostino Dovier Wolfgang Faber Jorge Fandinno Andrea Formisano Fabio Gadducci Marco Gavanelli Toni Mancini Joao Marques-Silva Simon Parkinson Chiara Piacentini Gian Luca Pozzato Luca Pulina Francesco Ricca Fabrizio Riguzzi Alessandro Saetti Francesco Santini Valentino Santucci Ivan Serina Johannes P. Wallner Stefan Woltran Neng-Fa Zhou 1 University of Genova University of Huddersfield