Modeling and Verification of Uncertain Hybrid Systems

 

A Workshop affiliated with CPSWEEK 2010

                                                                                                               

Stockholm, 12th of April 2010

 

Location

 

Room E32, New – room change

KTH Campus

Valhallavägen 79, Stockholm

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