ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueOrea Hotel Pyramida
Room name1st Floor Reception Area (Coffee)
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 18:00
Demonstration
Interactive session with tools and demos (I)
TACAS

Wed 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:00 - 14:00: Demo IITACAS at 1st Floor Reception Area (Coffee)
13:00 - 14:00
Demonstration
Interactive session with tools and demos (II)
TACAS

Tue 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change