A Constructive Proof of the Univalence Axiom (Part II)
Mathematical Logic Webinar, por Clarence Protin.
Mathematical Logic Webinar, por Clarence Protin.
Luís Saraiva (Ciências ULisboa) é o coordenador nacional do Seminário Nacional de História da Matemática.
Um ciclo de entrevistas com o objetivo de conhecer melhor os docentes do Departamento de Matemática de Ciências ULisboa. Gracinda Gomes é a entrevistada.
Colóquio de Matemática, por Léonard Monsaingeon (Ciências ULisboa - GFM).
Lisbon Webinar in Analysis and Differential Equations, por Joris Roos (University of Edinburgh).
Nesta sessão, serão descritos a nova estrutura do Programa Doutoral em Matemática, os cursos oferecidos em 2022/23 e alguns temas de tese propostos, entre outras informações.
Seminário do Centro de Física Teórica e Computacional, por Henrique M. Oliveira (Centro de Análise Matemática, Geometria e Sistemas Dinâmicos, Instituto Superior Técnico, Universidade de Lisboa).
Mathematical Logic Webinar, por Clarence Protin.
Seminário de Geometria, por Daniel Barlet (Institut Elie Cartan, Géométrie, Université de Lorraine, Nancy).
Lisbon Webinar in Analysis and Differential Equations, por Andreas Minne (KTH Royal Institute of Technology).