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 P: Marieke Huisman, P: Rance Cleaveland, P: Holger Hermanns, P: Kim Larsen, M: Bernhard Steffen, Hubert Garavel
	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

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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	SV-COMP TalksTOOLympics at SW2 (TOOLympics)

	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	MCCTOOLympics at S5

	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

>>> Link to the full proceedings of 25 Years of TACAS: TOOLympics

TOOLympicsETAPS 2019

Participating Competitions

Accepted Papers

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Proceedings

Dirk Beyer

LMU Munich

Germany

Marieke Huisman

University of Twente

Netherlands

Fabrice Kordon

Sorbonne University — LIP6

Bernhard Steffen

Technical University Dortmund

Germany

Co-hosted Conferences

Workshops

TOOLympicsETAPS 2019

Participating Competitions

Accepted Papers

Program Display Configuration

Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Proceedings

Dirk Beyer

LMU Munich

Germany

Marieke Huisman

University of Twente

Netherlands

Fabrice Kordon

Sorbonne University — LIP6

Bernhard Steffen

Technical University Dortmund

Germany

Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change