Fwd: Dia Mundial da Lógica e prémio Amílcar Sernadas

[Joao Marcos]

---------- Forwarded message ---------

Dia Mundial da Lógica e Prémio Amílcar Sernadas

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. A correspondente sessão zoom realizar-se-à no dia 14 de
janeiro às 17h de Lisboa (GMT+00:00) na seguinte ligação:

https://videoconf-colibri.zoom.us/j/81290478593?pwd=NjFIQjV2UE1PbDBVVU42NXNtNWZxZz09

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).

O prémio Amílcar Sernadas está incluído na iniciativa "A prize of
logic in every country" (http://www.uni-log.org/logic-prize-world).


World Day of Logic and Amílcar Sernadas Award

January 14th 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.
The zoom session will start at 17h Lisbon time (GMT+00:00) in the
following link:

https://videoconf-colibri.zoom.us/j/81290478593?pwd=NjFIQjV2UE1PbDBVVU42NXNtNWZxZz09

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).

This prize is included in the initiative "A prize of logic in every
country" (http://www.uni-log.org/logic-prize-world).



--
Francisco Miguel Dionísio

Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais | 1049-001 Lisboa | Portugal

tel: (+351) 218417143
francisco...@tecnico.ulisboa.pt