★   1ST WORLD LOGIC DAY, Lisbon, Portugal   ★

Mathematical Logic Seminar, organized by Fernando Ferreira
Dept of Mathematics, University of Lisbon, January 14, 2019, 4:PM

Francisco Dionísio
Instituto Superior Técnico, University of Lisbon, Portugal
Presentation of the 1st World Logic Day

Daniel Graça
University of Algarve, Faro, Portugal
Type-2 computability with applications to differential equations