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

Sat 6 Apr

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - CoCo at TOOLympics-Large
etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - SV-COMP Talks at TOOLympics-SmallA
etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - VerifyThis 1 at TOOLympics-SmallB
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - SL-COMP at TOOLympics-Large
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - SV-COMP Meeting at TOOLympics-SmallA
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - VerifyThis 2 at TOOLympics-SmallB
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - RERS 1 at TOOLympics-Large
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - Test-Comp Talks at TOOLympics-SmallA
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - VerifyThis 3 at TOOLympics-SmallB
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - RERS 2 at TOOLympics-Large
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - Test-Comp Meeting at TOOLympics-SmallA
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - VerifyThis 4 at TOOLympics-SmallB

Sun 7 Apr

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - VerifyThis 5 at TOOLympics-SmallB
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - TOOLympics 1 - Pre-Events at TOOLympics-Large
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 at TOOLympics-SmallB
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - TOOLympics 2 - On-Site / Post at TOOLympics-Large
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 TOOLympics-Large