Write a Blog >>
HSB 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameSU2
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 - VerifyThis 1 (Opening and event presentation) at SU2
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - VerifyThis 2 (Verification challenge 1) at SU2
etaps-2019-TOOLympics
14:00 - 15:30: TOOLympics - VerifyThis 3 (Verification challenge 3) at SU2
etaps-2019-TOOLympics
16:00 - 18:00: TOOLympics - VerifyThis 4 (Verification challenge 3) at SU2

Sun 7 Apr

etaps-2019-TOOLympics
09:00 - 10:30: TOOLympics - VerifyThis 5 (Judging and team presentations 1) at SU2
etaps-2019-TOOLympics
11:00 - 12:30: TOOLympics - VerifyThis 6 (Judging and team presentations 2) at SU2

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