Eventos

Seminário DMIST – Fernando Ferreira

Técnico Lisboa - Campus Alameda

No âmbito do 1.º Dia Mundial da Lógica, assinalado a 14 de janeiro de 2020 em mais de sessenta locais, o Departamento de Matemática (DM-IST) organiza um seminário neste dia, que terá lugar às 17h no anfiteatro PA3 (Pavilhão de Matemática).

O seminário apresentado pelo professor Fernando Ferreira (Ciências ULisboa) intitula-se “What is a classical functional interpretation?”.

Mais informações.