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

Sat 6 Apr

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - CoCo at S5
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - SL-COMP at S5
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - RERS 1 at S5
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - RERS 2 at S5

Sun 7 Apr

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - MCC at S5
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - TOOLympics 1 - Pre-Events at S5
etaps-2019-TOOLympics11:00 - 11:11
Meeting
etaps-2019-TOOLympics11:11 - 11:22
Meeting
etaps-2019-TOOLympics11:22 - 11:33
Meeting
etaps-2019-TOOLympics11:33 - 11:45
Meeting
etaps-2019-TOOLympics11:45 - 11:56
Meeting
etaps-2019-TOOLympics11:56 - 12:07
Meeting
etaps-2019-TOOLympics12:07 - 12:18
Meeting
etaps-2019-TOOLympics12:18 - 12:30
Meeting
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - TOOLympics 2 - On-Site / Post at S5
etaps-2019-TOOLympics14:00 - 14:11
Meeting
etaps-2019-TOOLympics14:11 - 14:22
Meeting
etaps-2019-TOOLympics14:22 - 14:33
Meeting
etaps-2019-TOOLympics14:33 - 14:45
Meeting
etaps-2019-TOOLympics14:45 - 14:56
Meeting
etaps-2019-TOOLympics14:56 - 15:07
Meeting
etaps-2019-TOOLympics15:07 - 15:18
Meeting
etaps-2019-TOOLympics15:18 - 15:30
Meeting
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - 25 Years TACAS at S5
etaps-2019-TOOLympics16:00 - 18:00
Meeting
Marieke HuismanUniversity of Twente, Rance CleavelandUniversity of Maryland, Holger HermannsSaarland University, Kim LarsenAalborg University, Bernhard SteffenTechnical University Dortmund, Hubert Garavel

Sat 6 Apr 2019

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

Sun 7 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S5
09:00 - 10:30

Sun 7 Apr 2019

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
S5
11:56 - 12:07
14:22 - 14:33
14:45 - 14:56
14:56 - 15:07