International Joint Conference on Automated Reasoning


The history of the University of Coimbra dates back to the century subsequent to the very foundation of the Portuguese nation, since the University was established in the 13th century, in 1290.

More information about the main historic landmarks of the University of Coimbra, with references to the history of Portugal, and the appointment of all the rectors of the institution from the 13th century to the present day, can be found here.

With over seven centuries of history, University of Coimbra has a remarkable material and immaterial heritage, and represents a fundamental piece on the European and world scientific cultural history. You can virtually visit the University of Coimbra here.

The University of Coimbra, one of the most relevant educational institutions in Portugal and abroad, was granted recently UNESCO’s World Heritage status [see here].

Information about Coimbra and its various touristic attractions can be found on the local tourism information website or in the turismo de coimbra website.

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.

Address: Departamento de Matemática da FCTUC, Apartado 3008, EC Santa Cruz, 3001 – 501 Coimbra, Portugal (GPS: N 40°12'28.30", W 8°25'22.53")


 Professor Pedro Quaresma, pedro@mat.uc.pt