GandALF 2011
Second International Symposium on
Games, Automata, Logics and Formal Verification
Minori, (Amalfi coast),
Italy - 15-17 June 2011
Italy - 15-17 June 2011
Second International Symposium on
Games, Automata, Logics and Formal Verification
- Angelo Montanari (Università di Udine, Italy)
- Salvatore La Torre (Università di Salerno, Italy)
- Giovanna D'Agostino (Università di Udine, Italy)
- Krishnendu Chatterjee (Inst. of Science and Tech, Austria)
- Swarat Chaudhuri (Pennsylvania State University, USA)
- Giorgio Delzanno (Università di Genova, Italy)
- Javier Esparza (Technische Universität München, Germany)
- Erich Graedel (RWTH Aachen University, Germany)
- Neil Immerman (University of Massachusetts, USA)
- Wojtek Jamroga (University of Luxembourg, Luxebourg)
- Vineet Kahlon (NEC Labs, Princeton, USA)
- Martin Leucker (University of Lubeck, Germany)
- Jerzy Marcinkowski (University of Wroclaw, Poland)
- Aniello Murano (University of Napoli "Federico II", Italy)
- Mimmo Parente (Università di Salerno, Italy)
- Gabriele Puppis (Oxford University, UK)
- Alexander Rabinovich (Tel Aviv University, Israel)
- Jean Francois Raskin (University Libre de Bruxelles, Belgium)
- Colin Stirling (University of Edimburgh, UK)
- Tayssir Touili (University Paris Diderot, France)
- Yde Venema (ILLC, University of Amsterdam, The Netherlands)
- Bow-Yaw Wang (INRIA, France and Academy, Taiwan)
- Igor Walukiewicz (LaBRI, Universi,ty of Bordeaux1, France)
- Mikolaj Bojańczyk (Warsaw University, Poland)
- Javier Esparza (University of Munich, Germany)
- Angelo Montanari (Università di Udine, Italy)
- Margherita Napoli (Università di Salerno, Italy)
- Mimmo Parente (Università di Salerno, Italy)
- Wolfgang Thomas (RWTH Aachen University, Germany)
- Wieslaw Zielonka (University of Paris7, France)
- 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)
- Marco Faella, chair (Università di Napoli "Federico II", Italy)
- Ciro D'Aniello (Università di Salerno, Italy)
- Ilaria De Crescenzo (Università di Salerno, Italy)
- Dario Della Monica (Università di Salerno, Italy)
- Barbara Di Giampaolo (Università di Salerno, Italy)
- Stefano Minopoli (Università di Napoli "Federico II", Italy)