---------- 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 [email protected] -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjwgvAW4KthOJLa2y-ZspurvDEySzQOae3oyFQBnKCBWg%40mail.gmail.com.
