Bound extraction theorems for proofs involving monotone operators
Mathematical Logic Webinar, por Nicholas Pischke (TU Darmstadt).
Mathematical Logic Webinar, por Nicholas Pischke (TU Darmstadt).
Exposição itinerante promovida pelo Departamento de Matemática de Ciências ULisboa, patente ao público até 28 de fevereiro de 2022.
Mathematical Logic Webinar, por Thomas Powell (University of Bath).
Sessão da Classe de Ciências, por Jorge Buescu e Filipe Duarte Santos (Ciências ULisboa).
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).