TOOLympics at TACAS'19

TOOLympics 2019 is an event to celebrate the achievements of the various competitions or comparative evaluations in the field of Tools and Algorithms for the Construction and Analysis of Systems.

The following competitions participate in TOOLympics 2019:

Competition Kind of Event Contact Organizer
CoCo On-Site Julian Nagele (Queen Mary University of London, UK)
QComp 2019 Pre-TACAS Arnd Hartmanns (University of Twente, Netherlands)
RERS 2019 Pre-TACAS Bernhard Steffen (TU Dortmund, Germany)
SAT 2018 Pre-TACAS Martin Suda (Czech Technical University, Czech Republic)
SL-COMP Pre-TACAS Mihaela Sighireanu (University Paris Diderot, France)
SMT-COMP Post-TACAS Tjark Weber (Uppsala University, Sweden)
SV-COMP Pre-TACAS Dirk Beyer (LMU Munich, Germany)
TermCOMP Pre-TACAS Akihisa Yamada (NII, Japan)
Test-Comp Pre-TACAS Dirk Beyer (LMU Munich, Germany)
VerifyThis On-Site Marieke Huisman (University of Twente, Netherlands)
MCC On-Site Fabrice Kordon (Sorbonne Université, France)

Download Poster