Write a Blog >>
TACAS 2019
Mon 8 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameSU2
Floor0
Room InformationNo extra information 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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
VerifyThis 1 (Opening and event presentation)ETAPS TOOLympics at SU2
11:00 - 12:30
VerifyThis 2 (Verification challenge 1)ETAPS TOOLympics at SU2
14:00 - 15:30
VerifyThis 3 (Verification challenge 3)ETAPS TOOLympics at SU2
16:00 - 18:00
VerifyThis 4 (Verification challenge 3)ETAPS TOOLympics at SU2

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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