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
CASC
TOOLympics

CHC-COMP
TOOLympics

CoCo
TOOLympics

CRV
TOOLympics

MCC
TOOLympics

Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
TOOLympics
QComp
TOOLympics

REC
TOOLympics

RERS
TOOLympics

Rodeo
TOOLympics

SAT
TOOLympics

SL-COMP
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

Displayed 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

Displayed 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 Huisman University of Twente, P: Rance Cleaveland University of Maryland, P: Holger Hermanns Saarland University, P: Kim Larsen Aalborg University, M: Bernhard Steffen Technical University Dortmund, Hubert Garavel