Organizing Committee

Giorgio Delzanno 

(DIBRIS, Università di Genova, Italy)

Nicolas Markey

(LSV, CNRS & ENS de Cachan, France)

Support for GNCS-Indam Fundings

Angelo Montanari (Università di Udine) 

Student Voluteers

Angelo Ferrando (DIBRIS, Genova, Italy)
Francesco Leofante (DIBRIS, Genova, Italy)
Tommaso Petrucciani (DIBRIS, Genova, Italy)
Andrea Stocco (DIBRIS, Genova, Italy)

Steering Committee

Franck Cassez (National ICT Australia , Sydney, Australia)
Thierry Jéron (Inria Rennes-Bretagne Atlantique, Rennes, France)
Didier Lime (IRCCyN, École Centrale de Nantes, France)
Christof Löding (RWTH Aachen, Germany)
Nicolas Markey (LSV, CNRS & ENS de Cachan, France)
Pierre-Alain Reynier (LIF, Aix-Marseille Université & CNRS, Marseille, France)

Program Committee

Christel Baier (Technical University of Dresden)
Paolo Baldan(Dipartimento di Matematica, Universita' di Padova)
Nathalie Bertrand (Inria-Rennes)
Dirk Beyer (University of Passau)
Patricia Bouyer (LSV, CNRS & ENS Cachan, Université Paris Saclay)
Véronique Bruyère (University of Mons)
Krishnendu Chatterjee (Institute of Science and Technology -IST)
Alessandro Cimatti (FBK Trento)
Pierre Ganty (IMDEA Software Institute)
Silvio Ghilardi (Università degli Studi di Milano)
Hugo Gimbert (Labri, Bordeaux)
Roberto Giacobazzi (Università di Verona)
Javier Esparza (TUM)
Joost-Pieter Katoen (RWTH Aachen University)
Marta Kwiatkowska(Oxford University)
Jean-Francois Raskin(ULB)
Salvatore La Torre(Università degli studi di Salerno)
Francois Laroussinie (LIAFA, Univ. Paris 7, CNRS)
Giuseppe Lipari i(ISSUP, Lille)
Nicolas Markey (LSV, CNRS & ENS Cachan)
Annabelle McIver (Macquarie University)
Benjamin Monmege (Aix-Marseille Université, LIF, CNRS)
Angelo Montanari (University of Udine)
Aniello Murano (Universita' di Napoli "Federico II")
Olivier Roux (IRCCyN)
Jiri Srba(Department of Computer Science, Aalborg University)