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
SL-COMP
TOOLympics
CASC
TOOLympics
CHC-COMP
TOOLympics
CRV
TOOLympics
CoCo
TOOLympics
MCC
TOOLympics
Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
TOOLympics
QComp
TOOLympics
REC
TOOLympics
RERS
TOOLympics
Rodeo
TOOLympics
SAT
TOOLympics
SMT-COMP
TOOLympics
SV-COMP
TOOLympics
TermCOMP
TOOLympics
Test-Comp
TOOLympics
VerifyThis
TOOLympics
Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
09:00 - 10:30
VerifyThis 5 (Judging and team presentations 1)TOOLympics at SU2
11:00 - 12:30
TOOLympics 1 - Pre-EventsTOOLympics at S5
11:00
11m
Meeting
CHC-COMP
TOOLympics
11:11
11m
Meeting
QComp
TOOLympics
11:22
11m
Meeting
Test-Comp
TOOLympics
11:33
11m
Meeting
SV-COMP
TOOLympics
11:45
11m
Meeting
RERS
TOOLympics
11:56
11m
Meeting
SAT
TOOLympics
12:07
11m
Meeting
SL-COMP
TOOLympics
12:18
11m
Meeting
TermCOMP
TOOLympics
11:00 - 12:30
VerifyThis 6 (Judging and team presentations 2)TOOLympics at SU2
14:00 - 15:30
TOOLympics 2 - On-Site / PostTOOLympics at S5
14:00
11m
Meeting
CASC
TOOLympics
14:11
11m
Meeting
CoCo
TOOLympics
14:22
11m
Meeting
CRV
TOOLympics
14:33
11m
Meeting
SMT-COMP
TOOLympics
14:45
11m
Meeting
MCC
TOOLympics
14:56
11m
Meeting
REC
TOOLympics
15:07
11m
Meeting
Rodeo
TOOLympics
15:18
11m
Meeting
VerifyThis
TOOLympics
16:00 - 18:00
25 Years TACASTOOLympics at S5
16:00
2h
Meeting
Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
TOOLympics
P: Marieke HuismanUniversity of Twente, P: Rance CleavelandUniversity of Maryland, P: Holger HermannsSaarland University, P: Kim LarsenAalborg University, M: Bernhard SteffenTechnical University Dortmund, Hubert Garavel