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 > Steering Committee

Luca Aceto (Reykjavik University, Iceland)

Javier Esparza (University of Munich, Germany)

Salvatore La Torre (University of Salerno, Italy)

Angelo Montanari (University of Udine, Italy)

Mimmo Parente (University of Salerno, Italy)

Wolfgang Thomas (Aachen University, Germany)
Online user: 24