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

Abstract submission: May 20, 2016
Paper submission: May 27, 2016
Abstract & Paper submission: June 6, 2016
Notification: July 8, 2016
Camera-ready: August 5, 2016
Early registration: August 21, 2016
Late registration: September 4, 2016