InterAVT 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
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

Sat 6 Apr

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

09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00

Sun 7 Apr

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

09:00 - 10:30
11:00 - 12:30
TOOLympics 1 - Pre-EventsETAPS TOOLympics at S5
11:00
11m
Meeting
CHC-COMP
ETAPS TOOLympics

11:11
11m
Meeting
QComp
ETAPS TOOLympics

11:22
11m
Meeting
Test-Comp
ETAPS TOOLympics

11:33
11m
Meeting
SV-COMP
ETAPS TOOLympics

11:45
11m
Meeting
RERS
ETAPS TOOLympics

11:56
11m
Meeting
SAT
ETAPS TOOLympics

12:07
11m
Meeting
SL-COMP
ETAPS TOOLympics

12:18
11m
Meeting
TermCOMP
ETAPS TOOLympics

14:00 - 15:30
TOOLympics 2 - On-Site / PostETAPS TOOLympics at S5
14:00
11m
Meeting
CASC
ETAPS TOOLympics

14:11
11m
Meeting
CoCo
ETAPS TOOLympics

14:22
11m
Meeting
CRV
ETAPS TOOLympics

14:33
11m
Meeting
SMT-COMP
ETAPS TOOLympics

14:45
11m
Meeting
MCC
ETAPS TOOLympics

14:56
11m
Meeting
REC
ETAPS TOOLympics

15:07
11m
Meeting
Rodeo
ETAPS TOOLympics

15:18
11m
Meeting
VerifyThis
ETAPS TOOLympics

16:00 - 18:00
25 Years TACASETAPS TOOLympics at S5
16:00
2h
Meeting
Panel Discussion: Moore's Law, and More? (TACAS 25th anniversary)
ETAPS 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

Sat 6 Apr

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

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

Sun 7 Apr

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

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