Workshop on automated geometry theorem proving
Santiago de Compostela, November 15-18, 2019
Travel
Airports
The fastest way to get to Santiago is by plane via its international Lavacolla airport. The Lavacolla airport is 10 Km from Santiago city centre. Getting to and from the airport is relatively easy as there are shuttle buses (3€) and taxis (21 €, fixed rate).
Other airports: A Coruña (LCG, 60 Km); Vigo (VGO, 100 Km); Porto (Portugal) (OPO, 230 Km).
Train stations
General information about the Train Station of Santiago de Compostela can be found here. Information about tickets and fares can be found here.
Madrid is 600 Km away from Santiago de Compostela. There are some daily direct connections. About 5 hours for fastest trains.
There is also a highway connecting the cities (toll about 20 euros one way).
Getting around in the city
Santiago de Compostela is a city with a simple structure. Its centre is the so-called “casco histórico” (old town), which corresponds roughly to the area that used to be surrounded by 11 th-century walls. This term is also applicable to some areas surrounding this large monumental quarter, since they are included in the City Council's protection, conservation and rehabilitation plan.
Almost everything is at walking distance, and for the surrondings there is public transport.
