13th International Conference on integrated Formal Methods (iFM 2017)
HOW TO REACH TORINO
Sandro Pertini - Caselle International AirportIntercontinental connections to/from Turin are easily guaranteed especially through Frankfurt, Munich, Paris and Rome. Turin'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 AirportLocated at about 140 km from Turin, 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 Turin, 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.