ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameSW2 (TOOLympics)
Floor0
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
SV-COMP MeetingTOOLympics at SW2 (TOOLympics)
14:00 - 15:30
Test-Comp TalksTOOLympics at SW2 (TOOLympics)
16:00 - 18:00
Test-Comp MeetingTOOLympics at SW2 (TOOLympics)

Sat 6 Apr

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

No schedule or scheduled events are not visible yet, check back later