Workshop/Program Chairs
aplatzer@cs.cmu.edu
philipp.ruemmer@it.uu.se
Program Committee
- Anindya Banerjee (IMDEA, Madrid, Spain)
- Raoul Barbosa (University of Coimbra, Portugal)
- Frank S. de Boer (CWI, Amsterdam, Netherlands)
- Alessandro Cimatti (FBK/IRST, Trento, Italy)
- Mads Dam (KTH, Stockholm, Sweden)
- Stéphane Demri (CNRS Cachan, France)
- Martin Giese (University of Oslo, Norway)
- Ichiro Hasuo (University of Tokyo, Japan)
- Franjo Ivančić (NEC Laboratories, Princeton, USA)
- Einar Broch Johnsen (University of Oslo, Norway)
- André Platzer (Carnegie Mellon University, Pittsburgh, USA) - PC Co-Chair
- Philipp Rümmer (Uppsala University, Sweden) - PC Co-Chair
- Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Koblenz, Germany)
- Uwe Waldmann (MPI, Saarbrücken, Germany)