Program Committee / Jury
Jury from October 16, 2020
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Viktor Malík (representing 2LS), BUT, Brno, Czechia
- Michael Tautschnig (representing CBMC), Queen Mary University of London, UK
- Vadim Mutilin (representing CPA-BAM-BnB), ISP RAS, Russia
- Pavel Andrianov (representing CPALockator), ISP RAS, Russia
- Stephan Holzner (representing CPAchecker), LMU Munich, Germany
- Hernán Ponce de León (representing Dartagnan), University of the Bundeswehr Munich, Germany
- Henrich Lauko (representing DIVINE), Masaryk University, Brno, Czechia
- Felipe R. Monteiro (representing ESBMC-incr), Amazon Web Services, USA
- Lucas Cordeiro (representing ESBMC-kind), University of Manchester, UK
- Martin Spiessl (representing Frama-C), LMU Munich, Germany
- Ákos Hajdu (representing gazer-theta), Budapest University of Technology and Economics, Hungary
- Simmo Saan (representing Goblint), University of Tartu, Estonia
- Soha Hussein (representing Java-Ranger), University of Minnesota, USA
- Hossein Hojjat (representing JayHorn), University of Tehran, Iran
- Peter Schrammel (representing JBMC), University of Sussex and Diffblue, UK
- Falk Howar (representing JDart), TU Dortmund, Germany
- Gidon Ernst (representing Korn), LMU Munich, Germany
- Omar Inverso (representing CSeq-Lazy), Gran Sasso Science Institute, Italy
- Philipp Berger (representing NITWIT), RWTH Aachen, Germany
- Cedric Richter (representing PeSCo), Paderborn University, Germany
- Saurabh Joshi (representing Pinaka), IIT Hyderabad, India
- Zvonimir Rakamaric (representing SMACK), University of Utah, USA
- Marek Chalupa (representing Symbiotic), Masaryk University, Brno, Czechia
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Dominik Klumpp (representing UKojak), University of Freiburg, Germany
- Daniel Dietsch (representing UTaipan), University of Freiburg, Germany
- Priyanka Darke (representing VeriAbs), Tata Consultancy Services, India
Jury from October 20, 2019
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Viktor Malík (representing 2LS), Brno University of Technology, Czechia
- Lei Bu (representing BRICK), Nanjing University, China
- Michael Tautschnig (representing CBMC), Amazon Web Services, UK
- Willem Visser (representing COASTAL), Stellenbosch University, South Africa
- Vadim Mutilin (representing CPA-BAM-BnB), ISP RAS, Russia
- Martin Spiessl (representing CPA-Seq), LMU Munich, Germany
- Pavel Andrianov (representing CPALockator), ISP RAS, Russia
- Hernán Ponce de León (representing Dartagnan), Bundeswehr University Munich, Germany
- Henrich Lauko (representing DIVINE), Masaryk University, Czechia
- Felipe R. Monteiro (representing ESBMC), Federal University of Amazonas, Brazil
- Benjamin Quiring (representing GACAL), Northeastern University, USA
- Vaibhav Sharma (representing Java-Ranger), University of Minnesota, USA
- Philipp Ruemmer (representing JayHorn), Uppsala University, Sweden
- Peter Schrammel (representing JBMC), University of Sussex, UK
- Falk Howar (representing JDart), TU Dortmund, Germany
- Omar Inverso (representing Lazy-CSeq), Gran Sasso Science Institute, Italy
- Herbert Rocha (representing Map2Check), Federal University of Roraima, Brazil
- Philipp Berger (representing NITWIT), RWTH Aachen, Germany
- Cedric Richter (representing PeSCo), Paderborn University, Germany
- Saurabh Joshi (representing Pinaka), IIT Hyderabad, India
- Veronika Šoková (representing PredatorHP), Brno University of Technology, Czechia
- Willem Visser (representing SPF), Amazon, USA
- Marek Chalupa (representing Symbiotic), Masaryk University, Czechia
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Alexander Nutz (representing UKojak), University of Freiburg, Germany
- Daniel Dietsch (representing UTaipan), University of Freiburg, Germany
- Priyanka Darke (representing VeriAbs), Tata Consultancy Services, India
- Raveendra Kumar Medicherla (representing VeriFuzz), Tata Consultancy Services, India
- Liangze Yin (representing Yogar-CBMC), National University of Defense Technology, China