Program Committee / Jury
Jury until November 14, 2016
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, 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
Jury from November 15, 2016
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Peter Schrammel (representing 2LS), University of Sussex, UK
- Jera Hensel (representing AProVE), RWTH Aachen, Germany
- Vadim Mutilin (representing BLAST), ISP RAS, Russia
- Michael Tautschnig (representing CBMC), Queen Mary, UK
- Guang Chen (representing Ceagle), Tsinghua University, China
- Stephen Siegel (representing CIVL), University of Delaware, USA
- Anand Yeolekar (representing ConSequence), TCS, India
- Pavel Andrianov (representing CPA-BAM-BnB), ISP RAS, Russia
- Matthias Dangl (representing CPA-kInd), University of Passau, Germany
- Karlheinz Friedberger (representing CPA-Seq), University of Passau, Germany
- Herbert Oliveira Rocha (representing DepthK), Federal University of Roraima, Brazil
- Lucas Cordeiro (representing ESBMC), University of Oxford, UK
- Bernd Fischer (representing ESBMC-falsi), Stellenbosch University, ZA
- Denis Nicole (representing ESBMC-incr), University of Southampton, UK
- Mikhail Ramalho (representing ESBMC-kind), University of Southampton, UK
- Martin Hruska (representing Forester), Brno University of Technology, Czechia
- Ton Chanh Le (representing HipTNT+), National University of Singapore, Singapore
- Omar Inverso (representing Lazy-CSeq), Gran Sasso Science Institute, Italy
- Bernd Fischer (representing Lazy-CSeq-Abs), Stellenbosch University, ZA
- Truc Nguyen Lam (representing Lazy-CSeq-Swarm), University of Southampton, UK
- Salvatore La Torre (representing MU-CSeq), University of Salerno, Italy
- Tomas Vojnar (representing PredatorHP), Brno University of Technology, Czechia
- Franck Cassez (representing Skink), Macquarie University at Sydney, Australia
- Zvonimir Rakamaric (representing SMACK), University of Utah, USA
- Jan Strejček (representing Symbiotic), Masaryk University, Czechia
- Jiří Barnat (representing SymDIVINE), Masaryk University, Czechia
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Daniel Dietsch (representing UKojak), University of Freiburg, Germany
- Gennaro Parlato (representing UL-CSeq), University of Southampton, UK
- Marius Greitschus (representing UTaipan), University of Freiburg, Germany
- Priyanka Darke (representing VeriAbs), TCS, India
- Liangze Yin (representing Yogar-CBMC), National University of Defense Technology, China