Program Committee

Parosh Aziz Abdulla, University of Uppsala, Sweden
Ahmed Bouajjani, LIAFA University Paris Diderot, France
Patricia Bouyer-Decitre, CNRS & LSV, France
Krishnendu Chatterjee, Inst. of Science and Tech. Austria
Vincenzo Ciancia, CNR, Italy
Laurent Doyen, CNRS & LSV, France
Bernd Finkbeiner, Universität des Saarlandes, Germany
Antonín Kucera, Masaryk University (Brno), Czech Republic
K. Narayan Kumar, Chennai Mathematical Institute, India
Henryk Michalewski, University of Warsaw, Poland
Angelo Montanari, University of Udine, Italy
Doron Peled, Bar Ilan University, Israel
Norbert Preining, Japan Advanced Institute of Science and Technology
Sasha Rubin, University of Napoli "Federico II", Italy
Sven Schewe, University of Liverpool, UK
Enrico Tronci, University of Roma "La Sapienza", Italy
Damien Zufferey, MIT CSAIL, USA

Program co-Chairs

Domenico Cantone, University of Catania, Italy
Giorgio Delzanno, University of Genoa, Italy

Steering Committee

Javier Esparza, University of Munich, Germany
Angelo Montanari, University of Udine, Italy
Margherita Napoli, University of Salerno, Italy
Mimmo Parente, University of Salerno, Italy
Wolfgang Thomas, Aachen University, Germany

Local Organization

Domenico Cantone, University of Catania, Italy
Simone Faro, University of Catania, Italy
Cristiano Longo, University of Catania, Italy
Marianna Nicolosi-Asmundo, University of Catania, Italy
Daniele Francesco Santamaria, University of Catania, Italy

Important Dates