ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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.

Participating Competitions

The following competitions participate in TOOLympics 2019:

Competition Kind of Event Contact Organizer
CASC Post-TACAS Geoff Sutcliffe (University of Miami, USA)
CHC-COMP Pre-TACAS Arie Gurfinkel (University of Waterloo, Canada)
CRV Post-TACAS Ezio Bartocci (TU Wien, Austria)
SAT 2018 Pre-TACAS Martin Suda (Czech Technical University, Czech Republic)
SMT-COMP Post-TACAS Tjark Weber (Uppsala University, Sweden)
FMSwV Rodeo Post-TACAS Paul E. Black (NIST, United States)
MCC On-Site Fabrice Kordon (Sorbonne Université, France)
QComp 2019 Pre-TACAS Arnd Hartmanns (University of Twente, Netherlands)
RERS 2019 Pre-TACAS Bernhard Steffen (TU Dortmund, Germany)
VerifyThis On-Site Marieke Huisman (University of Twente, Netherlands)
REC On-Site Hubert Garavel (INRIA Grenoble, France)
CoCo On-Site Julian Nagele (Queen Mary University of London, UK)
SL-COMP Pre-TACAS Mihaela Sighireanu (University Paris Diderot, France)
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)

Accepted Papers

Title
Dates

Sat 6 Apr

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - CoCo at S5
etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - SV-COMP Talks at SW2 (TOOLympics)
etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - VerifyThis 1 (Opening and event presentation) at SU2
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - SL-COMP at S5
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - SV-COMP Meeting at SW2 (TOOLympics)
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - VerifyThis 2 (Verification challenge 1) at SU2
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - RERS 1 at S5
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - Test-Comp Talks at SW2 (TOOLympics)
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - VerifyThis 3 (Verification challenge 3) at SU2
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - RERS 2 at S5
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - Test-Comp Meeting at SW2 (TOOLympics)
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - VerifyThis 4 (Verification challenge 3) at SU2

Sun 7 Apr

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - MCC at S5
etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - VerifyThis 5 (Judging and team presentations 1) at SU2
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - TOOLympics 1 - Pre-Events at S5
etaps-2019-TOOLympics11:00 - 11:11
Meeting
etaps-2019-TOOLympics11:11 - 11:22
Meeting
etaps-2019-TOOLympics11:22 - 11:33
Meeting
etaps-2019-TOOLympics11:33 - 11:45
Meeting
etaps-2019-TOOLympics11:45 - 11:56
Meeting
etaps-2019-TOOLympics11:56 - 12:07
Meeting
etaps-2019-TOOLympics12:07 - 12:18
Meeting
etaps-2019-TOOLympics12:18 - 12:30
Meeting
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - VerifyThis 6 (Judging and team presentations 2) at SU2
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - TOOLympics 2 - On-Site / Post at S5
etaps-2019-TOOLympics14:00 - 14:11
Meeting
etaps-2019-TOOLympics14:11 - 14:22
Meeting
etaps-2019-TOOLympics14:22 - 14:33
Meeting
etaps-2019-TOOLympics14:33 - 14:45
Meeting
etaps-2019-TOOLympics14:45 - 14:56
Meeting
etaps-2019-TOOLympics14:56 - 15:07
Meeting
etaps-2019-TOOLympics15:07 - 15:18
Meeting
etaps-2019-TOOLympics15:18 - 15:30
Meeting
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - 25 Years TACAS at S5
etaps-2019-TOOLympics16:00 - 18:00
Meeting
Marieke HuismanUniversity of Twente, Rance CleavelandUniversity of Maryland, Holger HermannsSaarland University, Kim LarsenAalborg University, Bernhard SteffenTechnical University Dortmund, Hubert Garavel