Program Committee / Competition Jury
"The competition jury consists of the chair and one member of each participating team; the team-representing members circulate every year after the candidate-submission deadline. This committee reviews the competition contribution papers and helps the organizer with resolving any disputes that might occur." [Competition Report for SV-COMP 2013]
In more detail, the tasks of the jury comprises the following:
- Each jury member who participates in the competition is assigned a number of (3 or 4) submissions (papers and systems) to review.
- Participating systems are reviewed to determine whether they fulfill the requirements for verifier archives, based on the archives submitted to the repository.
- Teams and paper submissions are reviewed to verify the requirements for qualification, based on the submission data and paper in EasyChair and the results of the qualification runs.
- Some qualified competition candidates are selected to publish (in the LNCS proceedings of TACAS) a contribution paper that gives an overview of the participating system.
- Help the organizer with discussing and resolving any disputes that might occur.
- Adhere to the deadlines with all the duties.
Jury from October, 2025
Announced on/after registration deadline (sorted by verifier name)
Jury from October 12, 2024
(sorted by verifier name)
- Dirk Beyer (Co-Chair), LMU Munich, Germany
- Jan Strejček (Co-Chair), Masaryk University, Czechia
- Viktor Malík (representing 2LS), Brno University of Technology, Czechia
- Zhenbang Chen (representing aise), National University of Defense Technology, China
- Nils Lommen (representing AProVE (KoAT + LoAT)), RWTH Aachen, Germany
- Lei Bu (representing BRICK), Nanjing University, China
- Marek Chalupa (representing Bubaak), ISTA, Austria
- Marek Chalupa (representing Bubaak-SpLit), ISTA, Austria
- Zsófia Ádám (representing ConcurrentWitness2Test), Budapest University of Technology and Economics, Hungary
- Vesal Vojdani (representing CoOpeRace), University of Tartu, Estonia
- Marian Lingsch-Rosenfeld (representing CPAchecker), LMU Munich, Germany
- Po-Chun Chien (representing CPV), LMU Munich, Germany
- Hernán Ponce de León (representing Dartagnan), Huawei Dresden Research Center, Germany
- Fei He (representing Deagle), Tsinghua University, China
- Levente Bajczi (representing EmergenTheta), Budapest University of Technology and Economics, Hungary
- Tong Wu (representing ESBMC-incr), University of Manchester, UK
- Tong Wu (representing ESBMC-kind), University of Manchester, UK
- Falk Howar (representing GDart), TU Dortmund, Germany
- Simmo Saan (representing Goblint), University of Tartu, Estonia
- Martin Blicha (representing Hornix), University of Lugano, Switzerland
- Soha Hussein (representing Java-Ranger), Ain Shams University, Egypt
- Peter Schrammel (representing JBMC), Diffblue, UK
- Gidon Ernst (representing Korn), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing LIV), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing MetaVal++), LMU Munich, Germany
- Marian Lingsch-Rosenfeld (representing MetaVal), LMU Munich, Germany
- Lei Bu (representing MLB), Nanjing University, China
- Raphaël Monat (representing Mopsa), Inria and University of Lille, France
- Henrik Wachowitz (representing Nacpa), LMU Munich, Germany
- Ravindra Metta (representing PROTON), Tata Consulting Services, India
- Tomáš Dacík (representing RacerF), Brno University of Technology, Czechia
- Matthew Richards (representing SVF-SVC), University of New South Wales, Australia
- Simmo Saan (representing sv-sanitizers), University of Tartu, Estonia
- Nils Loose (representing SWAT), University of Luebeck, Germany
- Martin Jonáš (representing Symbiotic), Masaryk University, Brno, Czechia
- Paulína Ayaziová (representing Symbiotic-Witch), Masaryk University, Brno, Czechia
- Levente Bajczi (representing Theta), Budapest University of Technology and Economics, Hungary
- Levente Bajczi (representing Thorn), Budapest University of Technology and Economics, Hungary
- Marcel Ebbinghaus (representing UAutomizer), University of Freiburg, Germany
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Dominik Klumpp (representing UGemCutter), University of Freiburg, Germany
- Manuel Bentele (representing UKojak), University of Freiburg, Germany
- Frank Schüssele (representing UReferee), University of Freiburg, Germany
- Daniel Dietsch (representing UTaipan), University of Freiburg, Germany
- Tong Wu (representing Wit4Java), University of Manchester, UK
- Paulína Ayaziová (representing Witch), Masaryk University, Brno, Czechia