Program Committee / Jury
Jury until October 31, 2014
- 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, (until 2014-05-31)
- Bernd Fischer, Stellenbosch University, South Africa
- Arie Gurfinkel, SEI, USA
- Matthias Heizmann, University of Freiburg, Germany
- Stefan Löwe, University of Passau, Germany
- Florian Merz, Karlsruhe Institute of Technology, Germany, (from 2014-06-01)
- 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
Jury from November 1, 2014
Preliminary list of jury members:
- Dirk Beyer (Chair), University of Passau, Germany
- Franck Cassez (representing Perentie), NICTA Sydney, Australia
- Matthias Dangl (representing CPAchecker), University of Passau, Germany
- Bernd Fischer (representing MU-CSeq), Stellenbosch University, South Africa
- Arie Gurfinkel (representing SeaHorn), SEI, USA
- Matthias Heizmann (representing Ultimate Automizer), University of Freiburg, Germany
- Ton-Chanh Le (representing HIPTNT+), NUS, Singapore
- Ondrej Lengal (representing Forester), Brno University of Technology, Czech Republic
- Jeremy Morse (representing ESBMC 1.24.1), University of Bristol, UK
- Vadim Mutilin (representing BLAST 2.7.3), ISP RAS, Russia
- Alexander Nutz (representing Ultimate Kojak), University of Freiburg, Germany
- Gennaro Parlato (representing Lazy-CSeq), University of Southampton, UK
- Zvonimir Rakamaric (representing SMACK+Corral), University of Utah, USA
- Herbert Oliveira Rocha (representing Map2Check), Federal University of Amazonas, Brazil
- Pablo Sánchez (representing FOREST), University of Cantabria, Spain
- Thomas Ströder (representing AProVE), RWTH Aachen, Germany
- Michael Tautschnig (representing CBMC), Queen Mary, University of London, UK
- Salvatore La Torre (representing Unbounded Lazy-CSeq), Università degli Studi di Salerno, Italy
- Ming-Hsien Tsai (representing CPArec), Academia Sinica, Taiwan
- Caterina Urban (representing FuncTion), ENS Paris, France
- Tomas Vojnar (representing Predator), Brno University of Technology, Czech Republic
- Dexi Wang (representing Beagle), Tsinghua University, China
- Wei Wang (representing Cascade), New York University, USA