From axioms to synthetic inference rules via focusing
Mathematical Logic Seminar, por Elaine Pimentel (University College London).
Mathematical Logic Seminar, por Elaine Pimentel (University College London).
Geometry & Physics Seminar, por Xavier Blot (GFM-UL).
Maria Manuel Torres, professora do DM Ciências ULisboa, é a protagonista do quinto vídeo do projeto “Porquês com Ciência” sobre Matemática e Sustentabilidade.
Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).
Palestra no âmbito das comemorações do Dia Internacional da Matemática em Ciências 2023, por Hassan N. Alishah (Universidade Federal de Minas Gerais, Brasil).
Lisbon Webinar in Analysis and Differential Equations, por Cristian González-Riquelme (CAMGSD, Instituto Superior Técnico).
Mathematical Logic Webinar, por Nicholas Pischke (Technical University of Darmstadt).
Palestra no âmbito das comemorações do Dia Internacional da Matemática, por Jorge Buescu (Ciências ULisboa).
Lisbon Webinar in Analysis and Differential Equations, por Alberto Debernardi Pinos (CIDMA - Universidade de Aveiro).
Exposição didática, patente ao público de 11 de março e 15 de abril de 2023.