Mathematics Department Técnico Técnico

2020 edition

Amílcar Sernadas Logic Prize

Amílcar Sernadas (1952-2017) was Full Professor at the Mathematics Department Amílcar Sernadas of 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.



The jury of the Amílcar Sernadas Logic Prize unanimously decided to confer ex aequo the prize to the papers k-Provability in PA by Paulo Guilherme Santos and Reinhard Kahle (both from Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) and An unexpected Boolean connective by Sérgio Marcelino (SQIG, Instituto de Telecomunicações & Instituto Superior Técnico, Universidade de Lisboa).

The winning papers were presented by the authors on January 14th, 2021, the World Logic Day.