Próximos Eventos

Financiado através dos seguintes projetos:

PEst-OE/MAT/UI0297/2011
PEst-OE/MAT/UI0297/2014
UID/MAT/00297/2013

International Joint Conference on Automated Reasoning

A International Joint Conference on Automated Reasoning decorrerá entre o dia 27 de junho e 2 julho de 2016 no Departamento de Matemática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra.

Mais informações em http://www.uc.pt/en/congressos/ijcar2016