GandALF 2019

The Tenth International Symposium on Games, Automata, Logics, and Formal Verification

2 - 3 September 2019, Bordeaux, France


grand_toits_25082014_p_calmettes_1.jpg

Crédit Photo : Thomas Sanson - Mairie de Bordeaux

Committees > Program Committee

Christel Baier (TU Dresden, Germany)
Saddek Bensalem (U Grenoble Alpes, France)
Patricia Bouyer (CNRS, France)
Franck Cassez (Macquarie University, Australia)
Dario Della Monica (U Udine, Italy)
Hugo Gimbert (CNRS, France)
Holger Hermanns (Saarland U, Germany)
Rasmus Ibsen-Jensen (U Liverpool, UK)
Jan Kretinsky (TU Munich, Germany)
Orna Kupferman (U Jerusalem, Israël)
Kim G. Larsen (U Aalborg, Denmark)
Slawomir Lasota (U Warsaw, Poland)
Jérôme Leroux (CNRS, France) co-chair
Andrea Orlandini (ISTC-CNR, Italy)
Gennaro Parlato (University of Molise, Italy)
M. Praveen (CMI Chennai, India)
Jean-François Raskin (ULB, Belgium) co-chair
Vojtěch Řehák (U Masaryk, Czech Republic)
Pierre-Alain Reynier (U Marseille, France)
Jie-Hong Roland (NTU, Taiwan)
Pietro Sala (U Verona, Italy)
Pierluigi San Pietro (Pierluigi San Pietro, Italy)
Martin Zimmermann (Liverpool University, UK)

Online user: 26