Frege’s Begriffsschrift and second-order logic
Seminário de Lógica Matemática, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).
Seminário de Lógica Matemática, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).
Lisbon Webinar in Analysis in Differential Equations, por Giovanni Bellettini (ICTP / Università di Siena).
This Workshop will gather specialists in the field of Combinatorial Optimization, from several countries, to present and discuss recent research work around this subject. Luís Gouveia, coordinator of CMAFcIO and José Rui Figueira, president of CEG-IST will present the Opening Session.
Seminário do Centro de Matemática Computacional e Estocástica, por Erkko Lehtonen (Universidade Nova de Lisboa).
Mathematical Logic Webinar, por Mário Edmundo (Ciências ULisboa, CMAFcIO).
A iniciativa conta com a participação de Luís Saraiva (Ciências ULisboa).
Colóquio de Matemática, por Ana Cristina Barroso (Departamento de Matemática | Ciências ULisboa).
Mathematical Logic Webinar, por João Rasga e Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa e Instituto de Telecomunicações).
Lisbon Webinar in Analysis in Differential Equations, por Kelei Wang (Wuhan University).
Lisbon Webinar in Analysis in Differential Equations, por Simone Dovetta (Università degli Studi di Roma "La Sapienza").