loading...

UC.PT

International Joint Conference on Automated Reasoning

Sponsors & Supporters

  • Centre for Informatics and Systems of the University of Coimbra (CISUC)
  • Centre for Mathematics and Applications , New University of Lisbon (CMA FCT.UML)
  • Center for Mathematics University of Coimbra (CMUC)
  • Center for Mathematics University of Porto (CMUP)
  • Instituto Telecomunicações (IT)
  • Fundação para a Ciência e a Tecnologia (FCT)
  • Amazon Web Services (AWS)
  • Departamento de Matemática (DMat)
  • Câmara Municipal de Coimbra (CMC)
  • Banco Santander Totta (Santander)



Logo CISUC



Logótipo CMA



Logótipo CMUC



Logótipo CMUP



Logótipo IT



Logótipo FCT



Amazon Web Services Logo



Logótipo CMC
Logótipo Santander