ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameS5
Floor0
Capacity100
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sat 6 Apr

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

09:00 - 10:30
CoCoTOOLympics at S5
11:00 - 12:30
SL-COMPTOOLympics at S5
14:00 - 15:30
RERS 1TOOLympics at S5
16:00 - 18:00
RERS 2TOOLympics at S5

Conference Day
Sun 7 Apr

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

09:00 - 10:30
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

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

Conference Day
Sat 6 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S5

Conference Day
Sun 7 Apr

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

Conference Day
Sun 7 Apr

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
S5
ETAPS TOOLympics
SAT
11:56 - 12:07
ETAPS TOOLympics
CRV
14:22 - 14:33
ETAPS TOOLympics
MCC
14:45 - 14:56
ETAPS TOOLympics
REC
14:56 - 15:07