Modeling and Verification of Uncertain Hybrid
Systems
A Workshop affiliated with CPSWEEK 2010
Location
Room E32, New – room change
KTH
Campus
Valhallavägen 79,
Phone: +46 8
790 60 00
Fax: +46 8 790 65 00
Map
Coffee will be served in direct connection with the
lecture halls, see indications on the map above.
There will
be wireless Internet access in all rooms with a single username/password for
all participants. In addition, KTH supports the eduroam initiative, so
participants with eduroam account will be able to connect seamlessly while at
KTH