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

Sat 6 Apr

LearninginVerification-2019-papers
09:00 - 10:30: LiVe - at S7
LearninginVerification-2019-papers09:00 - 09:05
Talk
LearninginVerification-2019-papers09:05 - 10:00
Talk
LearninginVerification-2019-papers10:00 - 10:30
Talk
LearninginVerification-2019-papers
11:00 - 12:00: LiVe - at S7
LearninginVerification-2019-papers11:00 - 11:15
Talk
LearninginVerification-2019-papers11:15 - 11:30
Talk
LearninginVerification-2019-papers11:30 - 11:45
Talk
LearninginVerification-2019-papers11:45 - 12:00
Talk
LearninginVerification-2019-papers
13:30 - 15:30: LiVe - at S7
LearninginVerification-2019-papers13:30 - 14:30
Talk
LearninginVerification-2019-papers14:30 - 15:30
Talk
LearninginVerification-2019-papers
16:00 - 18:00: LiVe - at S7
LearninginVerification-2019-papers16:00 - 16:20
Talk
LearninginVerification-2019-papers16:20 - 16:40
Talk
LearninginVerification-2019-papers16:40 - 17:00
Talk

Sat 6 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S7
09:00 - 10:30
11:00 - 12:00
13:30 - 15:30
16:00 - 18:00