Write a Blog >>
HSB 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameSW2 (TOOLympics)
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sat 6 Apr

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 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SW2 (TOOLympics)

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