11-01-2021
O dia 14 de janeiro foi declarado pela UNESCO como o Dia Mundial da Lógica. Este ano iremos celebrar este dia com uma apresentação dos trabalhos dos vencedores da primeira edição do Prémio Amílcar Sernadas. Em breve serão dadas mais informações sobre este evento.
Os artigos vencedores ex aequo da primeira edição do prémio Amílcar Sernadas são:
k-Provability in PA de Paulo Guilherme Santos e Reinhard Kahle (ambos de Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) e
An unexpected Boolean connective de Sérgio Marcelino (SQIG, Instituto de Telecomunicações & Instituto Superior Técnico, Universidade de Lisboa).
World Day of Logic and Amílcar Sernadas Award
January 14 was declared by UNESCO as World Logic Day. This year we will celebrate this day with a presentation of the works of the winners of the first edition of the Amílcar Sernadas Prize. Soon more information about this event will be given.
The winning articles ex aequo of the first edition of the Amílcar Sernadas prize are:
k-Provability in PA by Paulo Guilherme Santos and Reinhard Kahle (both from Faculty of Science and Technology, Universidade Nova de Lisboa) and
An unexpected Boolean connective by Sérgio Marcelino (SQIG, Telecommunications Institute & Instituto Superior Técnico, University of Lisbon).
