The Yoneda Reduction of Polymorphic Types
Mathematical Logic Webinar, por Luca Tranchini (University of Tubingen).
Mathematical Logic Webinar, por Luca Tranchini (University of Tubingen).
Mathematical Logic Webinar, por Paolo Pistone (Università di Bologna).
Colóquio de Matemática, por Carlos André (Departamento de Matemática | Ciências ULisboa e CEAFEL-Ciências - Centro de Análise Funcional, Estruturas Lineares e Aplicações).
This is the 11th edition of the Combinatorics Days, to be held online, Zoom platform, on the 21st and the 22nd of January.
Mathematical Logic Webinar, por Guilherme Velez (Ciências ULisboa).
Seminário conjunto do Centro de Estatística e Aplicações da Universidade de Lisboa e do Centro de Matemática Computacional e Estocástica, por Luis Carvalho (Boston University, Massachusetts).
Mathematical Logic Webinar, por Pedro Pinto (Technische Universität Darmstadt).
This is the second edition of the CMAFcIO Open Meetings.
Como é de conhecimento geral, assistimos atualmente a um rápido desenvolvimento nas formas de acesso à informação e publicação científica. O objetivo da jornada é fazer o ponto da situação na área da Matemática e discutir as perspetivas futuras.
Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).