• Compliments, Suggestions and Complaints

    In Coimbra University, your opinion matters.

    So we have created the Integrated Improvement System: an open channel for filing compliments, suggestions for improvement or complaints, thus enabling us to serve you better.

    Thank you for your collaboration!
    Universidade de Coimbra

    To express your opinion about the specific web page UC.PT, please click here.

loading...

UC.PT

ADG 2014

10th International Workshop

on

Automated Deduction in Geometry

9-11 July 2014


ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools on the intersection between geometry and automated deduction.

The previous nine workshops were held in Edinburgh 2012, Munich 2010, Shangai 2008, Pontevedra 2006, Gainesville 2004, Linz 2002, Zurich 2000, Beijing 1998, and Toulouse 1996.

The tenth workshop ADG 2014 will be hosted by the Mathematics Department of the University of Coimbra, Portugal, 9-11 July, 2014.

Colocated with: CICM 2014, Conferences on Intelligent Computer Mathematics, 7-11 July.

Post-Proceedings: The Post-Proceedings will be published in Lecture Notes in Artificial Intelligence. See the call for papers.


Sponsors:



logoCMUP



logoCISUC



logoCMUC



logotipoMC



logoFCTvert



Brasão Coimbra




Contact:

Professor Pedro Quaresma
Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade de Coimbra
3001 - 501 COIMBRA, PORTUGAL
pedro@mat.uc.pt