GandALF 2010
Minori, (Amalfi coast),
Italy - 17-18 June 2010
Italy - 17-18 June 2010
First International Symposium on
Games, Automata, Logics and Formal Verification
| Mikolaj Bojańczyk | Institute of Informatics, Warsaw University, Poland |
| Javier Esparza | Technische Universität München, Germany |
| Pino Persiano | Università di Salerno, Italy |
| Wolfgang Thomas | RWTH Aachen University, Germany |