ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameS5
Floor0
Capacity100
Additional informationThere is no additional information of this room available.
Program

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
11:00 - 12:30: SL-COMPTOOLympics at S5
14:00 - 15:30: RERS 1TOOLympics at S5
16:00 - 18:00: RERS 2TOOLympics at S5

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

09:00 - 10:30: MCCTOOLympics at S5
11:00 - 12:30: TOOLympics 1 - Pre-EventsTOOLympics at S5
11:00 - 11:11
Meeting
CHC-COMP
TOOLympics
11:11 - 11:22
Meeting
QComp
TOOLympics
11:22 - 11:33
Meeting
Test-Comp
TOOLympics
11:33 - 11:45
Meeting
SV-COMP
TOOLympics
11:45 - 11:56
Meeting
RERS
TOOLympics
11:56 - 12:07
Meeting
SAT
TOOLympics
12:07 - 12:18
Meeting
SL-COMP
TOOLympics
12:18 - 12:30
Meeting
TermCOMP
TOOLympics
14:00 - 15:30: TOOLympics 2 - On-Site / PostTOOLympics at S5
14:00 - 14:11
Meeting
CASC
TOOLympics
14:11 - 14:22
Meeting
CoCo
TOOLympics
14:22 - 14:33
Meeting
CRV
TOOLympics
14:33 - 14:45
Meeting
SMT-COMP
TOOLympics
14:45 - 14:56
Meeting
MCC
TOOLympics
14:56 - 15:07
Meeting
REC
TOOLympics
15:07 - 15:18
Meeting
Rodeo
TOOLympics
15:18 - 15:30
Meeting
VerifyThis
TOOLympics
16:00 - 18:00: 25 Years TACASTOOLympics at S5
16:00 - 18:00
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

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

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

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

Sun 7 Apr
Times are displayed in 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