Program Committee / Jury
Jury until October 31, 2015
- 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
Jury from November 1, 2015
(sorted by verifier name)
- Dirk Beyer (Chair), University of Passau, Germany
- Peter Schrammel (representing 2LS), University of Oxford, UK
- Jera Hensel (representing AProVE), RWTH Aachen, Germany
- Vadim Mutilin (representing BLAST), ISPRAS, Russia
- Wei Wang (representing Cascade), New York University, USA
- Michael Tautschnig (representing CBMC), Queen Mary University of London, UK
- Dexi Wang (representing Ceagle), Tsinghua University, China
- Guang Chen (representing Ceagle-Absref), Tsinghua University, China
- Stephen Siegel (representing CIVL), University of Delaware, USA
- Karlheinz Friedberger (representing CPA-BAM), University of Passau, Germany
- Matthias Dangl (representing CPA-kInd), University of Passau, Germany
- Stefan Löwe (representing CPA-RefSel), University of Passau, Germany
- Vladimír Štill (representing DIVINE), Masaryk University, Czech Republic
- Mikhail Ramalho (representing ESBMC), University of Southampton, UK
- Lucas Cordeiro (representing ESBMC+DepthK), Federal University of Amazonas, Brazil
- Pablo Sanchez (representing Forest), University of Cantabria, Spain
- Ondřej Lengál (representing Forester), BUT, Brno, Czech Republic
- Quang Loc Le (representing HIPrec), National University, Singapore
- Björn Wachter (representing Impara), University of Oxford, UK
- Omar Inverso (representing Lazy-CSeq), Gran Sasso Science Institute, Italy
- Keijo Heljanko (representing LCTD), Aalto University, Finland
- George Karpenkov (representing LPI), VERIMAG, France
- Herbert Rocha (representing Map2Check), Federal University of Roraima, Brazil
- Gennaro Parlato (representing MU-CSeq), University of Southampton, UK
- Ming-Hsien Tsai (representing PAC-MAN), Academia Sinica, Taiwan
- Tomas Vojnar (representing PredatorHP), BUT, Brno, Czech Republic
- Jorge Navas (representing SeaHorn), NASA Ames Research Center, USA
- Franck Cassez (representing Skink), Macquarie University, Sydney, Australia
- Zvonimir Rakamaric (representing SMACK+Corral), University of Utah, USA
- Jan Strejček (representing Symbiotic), Masaryk University, Czech Republic
- Jiří Barnat (representing SymDIVINE), Masaryk University, Czech Republic
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Daniel Dietsch (representing UKojak), University of Freiburg, Germany
- Bernd Fischer (representing UL-CSeq), University of Stellenbosch, ZA
- Alfons Laarman (representing VVT), TU Vienna, Austria