Formal Methods in
Computer-Aided Design
Oct 17—21, 2022
Trento, Italy

Venue, Travel & Accommodation


The Grand Hotel Trento is located in the historical center of the city. Close by are the main attractions of the city such as the Castello del Buonconsiglio, the Diocesan Museum, and the MUSE museum.

The Grand Hotel Trento is located in front of the train station, just across Piazza Dante square.

The hotel has a car park available for guests upon availability and on payment.


By plane

The closest airports are: - Verona Valerio Catullo (90 km) - Brescia Montichiari (160 km) - Venezia Marco Polo (173 km) - Innsbruck (176 km) - Bergamo Orio al Serio (180 km) - Milano – Linate airport (226 km) - Milano – Malpensa airport (264 km) - Munich (335 km)

How to get from an airport to Trento:

  • Verona Valerio Catullo (VRN):

    • Shuttle bus to Verona Porta Nuova train station (available everyday every 20 minutes – Tickets can be purchased on-board – 30’ journey)
    • Train to Trento (1-hour journey)
  • Milano Malpensa (MXP) and Milano Linate (LIN):

    • Shuttle bus to Milano Centrale Station (1-hour journey)
    • Train to Trento (3.5-hour journey)
  • Bergamo Orio al Serio (BGY):

    • Shuttle bus to Milano Centrale Station (1-hour journey) or to Bergamo Station
    • Train to Trento (3.5-hour/ 3-hour journey)
  • Venice (VCE):

  • Munich (MUC):

    • Train to Munich Hauptbahnhof (main station)
    • Train to Trento (4-hour journey)

By bus

  • FLIXBUS offers low-cost bus connections with Bergamo, Bologna, Bolzano, Innsbruck, Munich, Rome, Turin, Milan, Florence, Verona, and other cities.
  • ALTOADIGEBUS bus connects Münich, Innsbruck, Verona, Bergamo Orio al Serio, and Milano Malpensa to Trento (suggested arrival: Trento train station).

By car

For detailed driving directions to Trento use http://maps.google.com or http://www.viamichelin.com

By train

Find train schedules and purchase tickets online:

Local transportation


The town has an efficient urban travel system run by Trentino Trasporti.

Please be aware that tickets must be purchased before getting on board at newsagents’, at the train station, or in the mobile phone application and must be clocked-in after getting on the bus (price 1,20 €).


Cabs are available to pick outside the train station or calling (+39) 0461 930002.


Child care

For parents traveling with children, the organizers can arrange a child care service at the conference venue. If you are interested in using the child care, please contact Alberto Griggio by October 13 to make the necessary arrangements.