International Joint Conference on Automated Reasoning

Travel Information

Conference location

The IJCAR 2016 Conference, will be held at the Department of Mathematics of the Faculty of Sciences and Technology of the University of Coimbra, in main campus "Pólo I", Coimbra, Portugal.

Postal address:

Departamento de Matemática
Apartado 3008, EC Santa Cruz
3001–501 Coimbra, Portugal 

(Departamento de Matemática, Largo D. Dinis, GPS: N 40°12'28.30", W 8°25'22.53").

Contact: Professor Pedro Quaresma, pedro@mat.uc.pt

How to get there

If you are in Coimbra

The Department of Mathematics is located in the main campus of the University of Coimbra, known as "Pólo I".

This area is served by two city buses: line 1A (Estação Velha - Universidade), which connects the main train station (Estação Velha), the center of Coimbra to the  University of Coimbra (Pólo I); and line 34 (Universidade - Pólo II), which connects the two main university campuses. Line 1A is the most convenient whenever you are in the central urban area of Coimbra.

The main campus of the University of Coimbra is also served by other city buses. These do not go through the main campus itself, but the stop "Arcos do Jardim" is in a 2 minutes walking distance from the Department of Mathematics:

  • Line 5: Pedrulha – Estádio

  • Line 11, Line 11C: Arnado - Bairro Norton de Matos

  • Line 24: Arnado - Quinta da Nora

  • Line 24T: Bairro Norton de Matos - Palácio da Justiça

Timetables are avilable at SMTUC web page.

If you are not in Coimbra

By Plane

The international airports are Airport of Porto (at about 100 km, north of Coimbra) and Airport of Lisbon (at about 200 km, south of Coimbra). Both airports have regular scheduled flights to and from all main European destinations as well as major world cities [see more...].

By Train

From Lisbon to Coimbra:

There are comfortable trains arriving hourly from the Lisboa-Oriente station (you can arrive there from the airport by metro, bus or taxi) to Coimbra-B. The journey takes about 2 hours [see more...].

Lisbon Airport --metro/bus/taxi--> Lisboa Oriente --train--> Coimbra-B

From Porto (Oporto) to Coimbra:

There are comfortable trains arriving hourly from Porto-Campanhã station (you can get there from the airport by bus, taxi or metro - use the direct violet metro line from the Airport of Porto) to Coimbra-B. The journey takes about 1 hour [see more...].

Porto Airport --metro/bus/taxi--> Porto-Campanhã --train--> Coimbra-B

There are two train stations in Coimbra, Coimbra-B (also known by 'Estação Velha'), the main train station, and Coimbra, in the center of Coimbra, the two are connected by shuttle trains.

By Bus

There are express buses arriving every hour both form Lisbon and Porto [see more...].

By car

By car: The main motorways passing through Coimbra are: highway A1, IP3, N1 and N17 (Estrada da Beira). After arrival search for directions indicating "Universidade", these will drive you into the main university campus. [see more...].

Visa Requirements

Portugal is in the Schengen area (comprising 28 EU countries), for which foreigners generally need an entry visa.  If you do need it, please make sure you apply for it well in advance before your departure.  In the Schengen area you may travel freely between member countries. However, we recommend that you access the SEF (Serviço de Estrangeiros e Fronteiras ) website and Portal das Comunidades Portuguesas. For more information or questions contact the local organization committee.