S. Marcelino,
Amílcar Sernadas Logic Prize,
Amílcar Sernadas (1952-2017) was Full Professor at the Mathematics Department Amílcar Sernadasof Instituto Superior Técnico and an internationally leading researcher in logic and the foundations of computing. This prize aims at encouraging logic research and distinguishes an unpublished paper in this area. It is included in the initiative One logic prize in every country that emerged from the series of conferences UNILOG (World Congress and School in Universal Logic). It celebrates Amílcar Sernadas highly significant and original scientific contributions, as well as his outstanding academic career.,
01-01-2021
O. Bournez,
D. Graça,
A. P. Pouly,
Best ICALP Paper (2016),
Best ICALP Paper award (track B) for the 2016 edition of the ICALP conference. The awarded paper was:
* Olivier Bournez, Daniel Graça and Amaury Pouly: "Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length".
More information can be found on the following link:
https://www.eatcs.org/index.php/best-icalp-paper,
01-07-2016
D. Graça,
Prémio Jovens Investigadores UTL/Deloitte e UTL/Caixa Geral de Depósito 2010 (matemática),
Vencedor do "Prémio Jovens Investigadores UTL/Deloitte e UTL/Caixa Geral de Depósitos 2010", na categoria de "matemática",
01-06-2010
