Formal Aspects of Component Software
(FACS 2010)

Universidade do Minho
Universidade do Minho

7th International Workshop on Formal
Aspects of Component Software

October 14-16, 2010 - Guimarães (Portugal)

UN University
United Nations University


Arriving at Guimarães

Francisco Sá Carneiro airport (Porto international airport) is the closest to Guimarães.

Form there you may either:

  1. Catch the Metropolitan towards Campanhã railway station in central Porto (20min) and then catch a train to Guimarães. Trains run from 6.20 to 23.20 and a journey takes about 1.15h.

    Please check prices and timetables for the Guimarães Line here.

    On arrival to Guimarães railway station you are a 5 minutes walk from the workshop venue (just walk down the road straight in front of you, CCVF is on the right, almost in the middle of that road) and almost in front of Hotel Guimarães (one of the recommended hotels).
  2. Take a taxi for Guimarães at the airport. This is a faster (but more expensive) alternative. The distance is about 50 Km, 45 to 60 minutes, prices from 80 to 110 Euro. You may book a taxi directly, outside the arrivals hall. Alternatively, taxis enquiries and reservations can be made at
  3. Hire a car at the airport (click here for detailed driving instructions)