GandALF 2010
First International Symposium on
Games, Automata, Logics and Formal Verification
Minori, (Amalfi coast),
Italy - 17-18 June 2010
Italy - 17-18 June 2010
First International Symposium on
Games, Automata, Logics and Formal Verification
- Margherita Napoli (Università di Salerno, Italy)
- Angelo Montanari (Università di Udine, Italy)
- Mimmo Parente (Università di Salerno, Italy)
- Parosh Aziz Abdulla (Uppsala University, Uppsala, Sweden)
- Dietmar Berwanger (CNRS, Cachan Cedex, France)
- Mikolaj Bojańczyk (Warsaw University, Poland)
- Ahmed Bouajjani (University of Paris 7, France)
- Krishnendu Chatterjee (Inst. of Science and Tech, Austria)
- Thomas Colcombet (Université Paris Diderot, France)
- Ugo Dal Lago (Università di Bologna, Italy)
- Giorgio Delzanno (Università di Genova, Italy)
- Rocco De Nicola (Università di Firenze, Italy)
- Emanuela Fachini (Università di Roma, Italy)
- Marco Faella (Università di Napoli, Italy)
- Alessandro Ferrante (Fond. Bruno Kessler, Trento, Italy)
- Stefania Gnesi (ISTI-CNR, Pisa, Italy)
- Valentin Goranko (Tech.Un., Richard Petersen Plads, Lyngby, Denmmark)
- Antonín Kučera (Fac. of Inf., Masaryk University, Brno, Czech)
- Salvatore La Torre (Università di Salerno, Italy)
- Kamal Lodaya (Inst. of Math. Sciences, Chennai, India)
- Christof Löding (RWTH AAchen University, Germany)
- Rupak Majumdar (UCLA, USA)
- Luke Ong (Oxford University, UK)
- Gennaro Parlato (UIUC, USA)
- Ian Pratt-Hartmann (University of Manchester, UK)
- Gabriele Puppis (Oxford University, UK)
- Alexander Rabinovich (Tel Aviv University, Israel)
- Jean Francois Raskin (University Libre de Bruxelles, Belgium)
- Mark Reynolds (University of Western Australia, Australia)
- Guido Sciavicco (Universidad de Murcia, Spain)
- Colin Stirling (University of Edimburgh, UK)
- Tomáš Vojnar (Fac. of Inf. Tech., Technical University, Brno, Czech Republic)
- Stefano Crespi Reghizzi (Politecnico of Milan, Italy)
- Jozef Gruska (Masaryk University, Czech Republik)
- Oscar H. Ibarra (UCSB, USA)
- Andrea Maggiolo-Schettini (Università di Pisa, Italy)
- Dario Della Monica (Università di Udine, Italy)
- Fabio Mogavero (Università di Napoli, Italy)
- Aniello Murano (Università di Napoli, Italy)
- Francesco Sorrentino (UIUC, USA)
- Nicola Vitacolonna (Università di Udine, Italy)