International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05)


The city of Uppsala is located around 70 km north from Stockholm. The Arlanda International Airport (ARN) is halfway between Uppsala (37 km) and Stockholm (42 km). The workshop will be held at the Department of Information Technology located at MIC, in the Polacksbacken area, which is about 25 minutes (walk) from the railway station of Uppsala.

FORMATS 2005 takes place at The Ångström Laboratory in room Polhem. The registration desk will be locaated just outside the room.