ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameSW2 (TOOLympics)
Floor0
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: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - SV-COMP Talks at SW2 (TOOLympics)
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - SV-COMP Meeting at SW2 (TOOLympics)
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - Test-Comp Talks at SW2 (TOOLympics)
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - Test-Comp Meeting at SW2 (TOOLympics)

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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