Amílcar Sernadas Logic Prize

Applications for the Amílcar Sernadas Logic Prize are open from now until the 14th of September 2025. This prize is a tribute to the researcher and Distinguished Professor of Instituto Superior Técnico Amílcar Sernadas and is attributed to an original  paper in the area of Logic.  The winning paper will be presented at the UNILOG 2025 Conference and will take part in the World Logic Prizes Contest.

According to the  regulations at least one of the authors has to be affiliated to a Portuguese university or research unit. There are similar prizes for authors of other countries.

The submissions should be sent by email to the address premioACS@math.tecnico.ulisboa.pt until the 14th of September 2025. The email must include the candidate paper and proof that one of the authors is affiliated to a Portuguese university or research unit.

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

Winners of the first edition

2020

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 14^th, 2021, the World Logic Day.