Program Committee / Jury
Jury until October 31, 2013
The representatives of the participating teams in this jury will be replaced by the representatives of the new teams immediately after the candidate-submission deadline.- Dirk Beyer, University of Passau, Germany (Chair)
- Lucas Cordeiro, Federal University of Amazonas, Brazil
- Bernd Fischer, University of Southampton, UK
- Arie Gurfinkel, SEI, USA
- Matthias Heizmann, University of Freiburg, Germany
- Stefan Löwe, University of Passau, Germany
- Vadim Mutilin, ISP RAS, Russia
- Andrey Rybalchenko, TU Munich, Germany
- Carsten Sinz, Karlsruhe Institute of Technology, Germany
- Jiri Slaby, Masaryk University at Brno, Czech Republic
- Tomas Vojnar, Brno University of Technology, Czech Republic
- Philipp Wendler, University of Passau, Germany
Jury from November 1, 2013
- Aws Albarghouthi, University of Toronto, Canada
- Dirk Beyer, University of Passau, Germany (Chair)
- Lucas Cordeiro, Federal University of Amazonas, Brazil
- Stephan Falke, Karlsruhe Institute of Technology, Germany
- Bernd Fischer, Stellenbosch University, South Africa
- Arie Gurfinkel, SEI, USA
- Matthias Heizmann, University of Freiburg, Germany
- Stefan Löwe, University of Passau, Germany
- Petr Muller, Brno University of Technology, Czech Republic
- Vadim Mutilin, ISP RAS, Russia
- Alexander Nutz, University of Freiburg, Germany
- Gennaro Parlato, University of Southampton, UK
- Corneliu Popeea, TU Munich, Germany
- Jiri Slaby, Masaryk University at Brno, Czech Republic
- Michael Tautschnig, Queen Mary, University of London, UK
- Tomas Vojnar, Brno University of Technology, Czech Republic