Awards and distinctions
(received by current members of the Group)
- D. Graça, Best paper - ICALP 2016, Rome, Italy, 12 - 15 July 2016, Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length.
- J. Rasga, Honorable Mention - UTL/CGD Young Researchers Prize in Mathematics, 2008.
- P. Mateus, Portuguese IBM Scientific Prize, IBM, Portugal, 2005. Análise de sistemas de prova de conhecimento nulo.
- C. Caleiro and R. Gonçalves, Best paper - 1st World Congress on Universal Logic, Montreux, Switzerland, March 31 - April 3, 2005. Equipollent logical systems.
- D. Graça, PGEI research grant from Fundação Calouste Gulbenkian, 2004.
- A. Sernadas, J. F. Costa and C. Sernadas, Descartes Prize, Data Processing Institute, Ministry of Finances, Portugal, 1992. Object specification with diagrams: Oblog approach.