GandALF 2014

Fifth International Symposium on Games, Automata, Logics and Formal Verification - Verona, Italy

Committees

Program Committee

  • Parosh Aziz Abdulla, Univ. of Uppsala, Sweden
  • Benjamin Aminoff, Inst. of Science and Technology, Austria
  • Nils Bulling, Clausthal Univ. of Technology, Germany
  • Alessandro Facchini, Univ. of Warsaw , Poland
  • Vashti Galpin, Univ. of Edimburgh, UK
  • Antoine Girard, Université Joseph Fourier, France
  • Valentin Goranko, Technical Univ. of Denmark, Denmark
  • Arie Gunfinkel, Carnegie Mellon Univ., USA
  • Salvatore La Torre, Univ. of Salerno, Italy
  • Martin Lange, Univ. of Kassel, Germany
  • Gurvan Le Guernic, Royal Inst. of Technology, Sweden
  • Nicolas Markey, CNRS & ENS de Cachan, France
  • Martin Otto TU Darmstadt, Germany
  • Doron Peled, Bar Ilan Univ., Israel
  • Sophie Pinchinat, Univ. of Rennes, France
  • André Platzer, Carnegie Mellon Univ., USA
  • Ramaswamy Ramanujam, Inst. of Math. Sciences, India
  • Mark Reynolds, Univ. of Western Australia, Australia
  • Cristian Riveros, Catholic Univ. of Chile, Chile
  • David Safranek, Masaryk Univ., Cezch Republic
  • Pierluigi San Pietro, Univ. Politecnico Milano, Italy
  • Cesar Sanchez, CSIC, Spain
  • Enrico Tronci, Univ. la Sapienza Roma, Italy
  • James Worrel, Univ. of Oxford, UK
  • Zhilin Wu, Chinese Academy of Sciences, China
  • Wieslaw Zielonka, Univ. of Paris 7, France

Steering Committee

  • Mikolaj Bojanczyk, Univ. of Warsaw, Poland
  • Javier Esparza, Univ. of Munich, Germany
  • Andrea Maggiolo-Schettini, Univ. of Pisa, Italy
  • Angelo Montanari, Univ. of Udine, Italy
  • Margherita Napoli, Univ. of Salerno, Italy
  • Mimmo Parente, Univ. of Salerno, Italy
  • Wolfgang Thomas, Aachen Univ., Germany
  • Wieslaw Zielonka, Univ. of Paris 7, France

Local Organisation

  • Barbara Oliboni, Univ. of Verona, Italy
  • Carlo Combi, Univ. of Verona, Italy
  • Gabriele Pozzani, Univ. of Verona, Italy
  • Pietro Sala, Univ. of Verona, Italy

Program co-Chairs

  • Adriano Peron, Univ. Federico II Napoli, Italy
  • Carla Piazza, Univ. of Udine, Italy
GandALF 2014 © 2014 Frontier Theme