13th International Conference on integrated Formal Methods (iFM 2017)
HOW TO REACH TORINO
Flight Connection
Sandro Pertini - Caselle International Airport
Intercontinental connections to/from Torino are easily guaranteed especially through Frankfurt, Munich, Paris and Rome. Torino's "Sandro Pertini" Airport is 16 kilometers northwest of the town center. For further information, timetables and how to get to the airport, visit the official website of International Airport "Sandro Pertini", updated 24 hours a day. From the airport, the city center can be reached by bus, taxi or train---Attention: the train stops at the GTT Dora Railway Station which is not in the city center and is connected to the city centre by public transport (when travelling by public transport beware of pickpockets).Malpensa 2000 - Malpensa Intercontinental Airport
Located at about 140 km from Torino, it offers daily European and intercontinental flights. It has two terminals, Terminal1 and Terminal 2. Both terminals are serviced by a bus line (departures every two hours) connecting the Malpensa Airport with Torino, and stopping at the Porta Susa railway station. The trip takes about two hours. Tickets may be reserved in advance or bought at the airport terminal (next trip availability can generally be assumed but is not guaranteed); tickets may be purchased on line.