Workshop/Programme Chairs
aplatzer@cs.cmu.edu
philr@comlab.ox.ac.uk
Programme Committee
- Raul Barbosa (Chalmers, Gothenburg, Sweden)
- Alessandro Cimatti (IRST Trento, Italy)
- Stéphane Demri (CNRS Cachan, France)
- Javier Esparza (TU Munich, Germany)
- Georgios E. Fainekos (Arizona State University, USA)
- Martin Giese (University of Oslo, Norway)
- Franjo Ivančić (NEC Laboratories Princeton, USA)
- Einar Broch Johnsen (University of Oslo, Norway)
- Dexter Kozen (Cornell, Ithaca, USA)
- Daniel Kroening (Oxford University, UK)
- Bruce H. Krogh (Carnegie Mellon University, Pittsburgh, USA)
- Marta Kwiatkowska (Oxford University, UK)
- Larissa Meinicke (Macquarie University, Australia)
- George J. Pappas (University of Pennsylvania, USA)
- Jean-François Raskin (Université Libre de Bruxelles, Belgium)
- Peter H. Schmitt (Karlsruhe Institute of Technology, Germany)
- Viorica Sofronie-Stokkermans (MPI Saarbrücken, Germany)
- Cesare Tinelli (The University of Iowa, USA)
- Uwe Waldmann (MPI Saarbrücken, Germany)