Historical note: SLM was created in 1989 by Fernando Ferreira (Faculdade de Ciências da Universidade de Lisboa) and Narciso Garcia (Instituto Superior Técnico).
| Date | Speaker | Affiliation | Title | ||
|
25 Oct 2021
|
Bruno Jacinto |
||||
|
18 Oct 2021
|
Luis Pereira |
Foundational aspects of singular integrals and divergent series – Part 2 |
|||
|
11 Oct 2021
|
Luis Pereira |
Foundational aspects of singular integrals and divergent series – Part 1 |
|||
|
9 Mar 2020
|
Clarence Protin |
CANCELADO Bealer's Intensional Logic (Part I) |
|||
|
2 Mar 2020
|
Jaime Gaspar |
||||
|
10 Fev 2020
|
Bruno Jacinto |
FCUL, Universidade de Lisboa | |||
|
3 Fev 2020
|
Pedro Pinto |
Technische Universitat Darmstadt |
Commentaries on the application of the bounded functional interpretation |
||
|
9 Dez 2019
|
Mário Edmundo |
FCUL e CMAFcIO, Universidade de Lisboa |
A new cohomology for algebraic varieties over non-achimedean fields (part III) |
||
|
9 Dez 2019
|
Gonenc Onay |
Axiomatization of the Laurent series field over the algebraic closure of the p-element field |
|||
|
2 Dez 2019
|
Mário Edmundo |
FCUL and CMAFcIO |
A new cohomology for algebraic varieties over non-achimedean fields (part II) |
||
|
25 Nov 2019
|
Mário Edmundo |
FCUL and CMAFcIO |
A new cohomology for algebraic varieties over non-achimedean fields |
||
|
11 Nov 2019
|
Bruno Dinis |
FCUL and CMAFcIO | |||
|
23 Sep 2019
|
Paulo Oliva |
Queen Mary, University of London | |||
|
20 May 2019
|
Hartry Field |
New York University |
Generalizing Fuzzy Logic for Semantic Paradoxes (and Vagueness) |
||
|
13 May 2019
|
José Carlos Espírito Santo | Centro de Matemática, Universidade do Minho | |||
|
25 Mar 2019
|
Pedro Pinto | Faculdade de Ciências, CMAFcIO, Universidade de Lisboa | |||
|
25 Fev 2019
|
Guilherme Toledo | Universidade Estadual de Campinas | |||
|
25 Fev 2019
|
Roberto Giuntini | Università di Cagliari |
Classical and quantum degrees of truth: A new look at the effects of a Hilbert space |
||
|
18 Fev 2019
|
Abílio Rodrigues |
Universidade Federal de Minas Gerais |
On conceptual aspects of paraconsistency as preservation of evidence |
||
|
28 Jan 2019
|
Cristina Sernadas | IST, CMAFcIO | |||
|
|
Daniel Graça | Universidade do Algarve |
Type-2 computability with applications to differential equations |
||
|
10 Dez 2018
|
Pedro Filipe | Instituto Superior Técnico, Universidade de Lisboa | |||
|
19 Nov 2018
|
Cristina Sernadas | Instituto Superior Técnico, Universidade de Lisboa | |||
|
12 Nov 2018
|
Elia Zardini | Universidade de Lisboa | |||
|
5 Nov 2018
|
Fernando Ferreira | Universidade de Lisboa |
Zigzag and Fregean arithmetic (part 2) |
||
|
29 Oct 2018
|
André Souto | Universidade de Lisboa | |||
|
22 Oct 2018
|
Fernando Ferreira | Universidade de Lisboa | |||
|
15 Oct 2018
|
Clarence Protin | Independent Scholar |
On the undecidibility of type inhabitation for atomic polymorphism (part 2) |
||
|
8 Oct 2018
|
Clarence Protin | Independent Scholar |
On the undecidibility of type inhabitation for atomic polymorphism |
||
|
1 Oct 2018
|
Pedro Pinto | Universidade de Lisboa |
On the elimination of arithmetical comprehension in proof mining (part 2) |
||
|
24 Set 2018
|
Pedro Pinto | Universidade de Lisboa |
On the elimination of arithmetical comprehension in proof mining |
||
|
17 Set 2018
|
Paolo Pistone | Università Roma Tre |
Instantiation overflow from the viewpoint of categorical semantics and linear logic |
||
|
10 Set 2018
|
Luca Viganò | King´s College London | |||
|
25 Jun 2018
|
Angus Macintyre | Queen Mary, University of London |
Model theory and decidability theory for adele rings |
||
|
1 Jun 2018
|
Paola d'Aquino |
Università Degli Study Della Campania |
|||
|
24 Mai 2018
|
Cristina Sernadas |
Instituto Superior Técnico, Universidade de Lisboa CMAFcIO, Universidade de Lisboa |
Descriptive complexity of proofs in FOL (part 2) | ||
|
10 Mai 2018
|
Serena Delli | Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa |
Combinatorial proofs: a graph theoretical representation of proofs |
||
|
3 Mai 2018
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | On definable normality (part 3) | ||
|
26 Apr 2018
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | |||
|
19 Apr 2018
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | On definable normality | ||
|
5 Apr 2018
|
João Marques Silva | Faculdade de Ciências, Universidade de Lisboa | A computational logic approach for finding maximum-size cliques in large-scale networks | ||
|
22 Mar 2018
|
Bogdan Dicher | Centro de Filosofia, Universidade de Lisboa | The original sin of proof-theoretic semantics | ||
|
15 Mar 2018
|
Bruno Dinis |
|
Intuitionism, nonstandard arithmetic and functional interpretations (part 2) | ||
|
8 Mar 2018
|
Bruno Dinis |
CMAFcIO, Universidade de Lisboa |
Intuitionism, nonstandard arithmetic and functional interpretations | ||
| 2 Mar 2018 |
Alex Usvyatsov
|
CMAFcIO, Universidade de Lisboa | On the fundamental theorem of statistical learning | ||
| 22 Feb 2018 |
Gabriele Pulcini
|
FCT, Universidade Nova de Lisboa | Complementary logic and proof-theoretic many-valuedness | ||
| 9 Feb 2018 |
Alex Usvyatsov
|
CMAFcIO, Universidade de Lisboa | Using o-minimality to compute lower bounds on sample complexity of neural networks (part 2) | ||
| 9 Feb 2018 |
Ludovic Patey
|
Institut Camille Jordain, Lyon | Pigeons do not jump high | ||
|
2 Feb 2018 |
Alex Usvyatsov
|
CMAFcIO, Universidade de Lisboa |
Using o-minimality to compute lower bounds on sample complexity of neural networks |
||
|
19 Jan 2018
|
José Espírito Santo |
Universidade de Lisboa | A refined interpretation of intuitionistic logic by means of atomic polymorphism | ||
| 12 Jan 2018 |
Pedro Pinto
|
Universidade de Lisboa | Collection in Proof Mining: a general principle | ||
|
24 Nov 2017
|
Emanuele Frittaion | Universidade de Lisboa | On Goodman realizability | ||
|
17 Nov 2017
|
Jean-yves Béziau |
Univerrsity of Brazil, Rio de Janeiro École Normale Supérieure, Paris |
What is a substructural logic? | ||
|
27 Oct 2017
|
Pablo Cubides Kovacsics | Université de Caen | Polynomially bounded C-minimal valued fields | ||
|
27 Oct 2017
|
Zoran Ognjanovic | Mathematical Institute of the Serbian Academy of Sciences and Arts | An introduction to logics with probability operators | ||
|
20 Oct 2017
|
Laurentiu Leustean |
University of Bucharest Simion Stoilow Institute of Mathematics of the Romanian Academy |
Proof mining in convex optimization and nonlinear analysis | ||
|
29 Set 2017
|
Alex Usvyatsov | CMAFcIO, Universidade de Lisboa | Continuous model theory and Banach space geometry: an introduction. (Part 2) | ||
|
22 Set 2017
|
Alex Usvyatsov | CMAFcIO, Universidade de Lisboa |
Continuous model theory and Banach space geometry: an introduction |
||
|
25 Jul 2017
|
Ruy de Queiroz | Universidade Federal de Pernambuco | Propositional equality, identity types, and computational paths | ||
|
7 Jul 2017
|
Pedro Pinto | Universidade de Lisboa | A quantitative analysis of a theorem by F.E.Browder guided by the bounded functional interpretation | ||
|
30 Jun 2017
|
Miguel Martins | Universidade de Aveiro | Equational Hybrid Propositional Type Theory | ||
|
23 Jun 2017
|
Ezgi Su | Universidade de Lisboa | A unifying approach for (reflexive) autoepistemic logic, nonmonotonic S4F and ASP | ||
|
9 Jun 2017
|
Ezgi Su | Universidade de Lisboa | An S4F-related monotonic modal logic | ||
|
2 Jun 2017
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | Integration in non-archimedean real closed fields with archimedean value group (part 5) | ||
|
26 May 2017
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | Integration in non-archimedean real closed fields with archimedean value group (part 4) | ||
|
19 May 2017
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | Integration in non-archimedean real closed fields with archimedean value group (part 3) | ||
|
12 May 2017
|
Andrew Arana |
University of Paris 1 Panthéon-Sorbonne IHPST |
Meaning and interpretation in mathematics | ||
|
5 May 2017
|
Fernando Ferreira | CMAFcIO, Universidade de Lisboa | A herbrandized functional interpretation | ||
|
28 Apr 2017
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | Integration in non-archimedean real closed fields with archimedean value group (part 2) | ||
|
7 Apr 2017
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | Integration in non-archimedean real closed fields with archimedean value group | ||
|
31 Mar 2017
|
Michèle Friend | The George Washington University | Rational Reconstructions. Making Sense of Proofs with Inconsistent Premises | ||
|
24 Mar 2017
|
António Fernandes | IST, Universidade de Lisboa | Analytic determinacy (part 5 and last) | ||
|
17 Mar 2017
|
António Fernandes | IST, Universidade de Lisboa | Analytic determinacy (part 4) | ||
|
10 Mar 2017
|
António Fernandes | IST, Universidade de Lisboa | Analytic determinacy (part 3) | ||
|
3 Mar 2017
|
António Fernandes | IST, Universidade de Lisboa | Analytic determinacy (part 2) | ||
|
24 Feb 2017
|
António Fernandes | IST, Universidade de Lisboa | Analytic determinacy | ||
|
17 Feb 2017
|
Reinhard Kahle | CMA & DM, FCT, Universidade Nova de Lisboa | Hilbert's Larger Programme | ||
| 10 Feb 2017 |
Emanuele Frittaion
|
Universidade de Lisboa | Size-Change Termination in Reverse Mathematics (Part 4) | ||
|
3 Feb 2017
|
Emanuele Frittaion |
Universidade de Lisboa | Size-Change Termination in Reverse Mathematics (Part 3) | ||
|
27 Jan 2017
|
Emanuele Frittaion | Universidade de Lisboa | Size-Change Termination in Reverse Mathematics (Part 2) | ||
|
20 Jan 2017
|
Emanuele Frittaion | Universidade de Lisboa | Size-Change Termination in Reverse Mathematics (Part 1) | ||
|
13 Jan 2017
|
Ezgi Su | Universidade de Lisboa | Epistemic equilibrium logic (part 2) | ||
|
6 Jan 2017
|
Ezgi Su | Universidade de Lisboa | Equilibrium logic (part 1) | ||
|
16 Dec 2016
|
Ana Borges | IST, Universidade de Lisboa | The strength of countable saturation | ||
|
9 Dec 2016
|
Ana Borges | IST, Universidade de Lisboa | The herbrandised functional interpretation for nonstandard arithmetic | ||
|
2 Dec 2016
|
Mário Edmundo | CMAFcIO, Universidade de Lisboa | Topology of definable sets in products of definable group-intervals | ||
|
25 Nov 2016
|
Wagner Sanz | Universidade de Goiás (Brazil) | Cut as a semantical principle | ||
|
18 Nov 2016
|
Bruno Dinis | CMAFcIO, Universidade de Lisboa | Strong normalization and bar recursion (3) | ||
|
11 Nov 2016
|
Bruno Dinis | CMAFcIO, Universidade de Lisboa | Strong normalization and bar recursion (2) | ||
|
4 Nov 2016
|
Bruno Dinis | CMAFcIO, Universidade de Lisboa | Strong normalization and bar recursion | ||
|
3 Nov 2016
|
Joost Joosten | Universitat de Barcelona | Ordinal analysis based on iterated reflection, first order and beyond | ||
|
28 Oct 2016
|
João Enes | Universidade de Lisboa | Predicative ordinal notations (II) | ||
|
21 Oct 2016
|
João Enes | Universidade de Lisboa | Predicative ordinal notations (I) | ||
|
14 Oct 2016
|
Fernando Ferreira | CMAFcIO, Universidade de Lisboa | Modified realizability and functional interpretations: some logical and mathematical observations (conclusion) | ||
|
7 Oct 2016
|
Fernando Ferreira | CMAFcIO, Universidade de Lisboa | Modified realizability and functional interpretations: some logical and mathematical observations (still continuation) | ||
|
30 Sep 2016
|
Fernando Ferreira | CMAFcIO, Universidade de Lisboa | Modified realizability and functional interpretations: some logical and mathematical observations (continuation) | ||
| 23 Sep 2016 |
Fernando Ferreira
|
CMAFcIO, Universidade de Lisboa | Modified realizability and functional interpretations: some logical and mathematical observations | ||
| 8 June 2016 |
Marcelo E. Coniglio
|
Institute of Philosophy and Humans Sciences Centre for Logic, Epistemology and the History of Science - Universidade de Campinas, Brazil | Towards an hyperalgebraic theory of non-algebrizable logics: the case of mbC | ||
| 2 June 2016 |
Filipe Casal
|
IST, Universidade de Lisboa CMAFcIO, Universidade de Lisboa |
Many-Sorted Equivalence of Shiny and Strongly Polite Theories | ||
| 19 May 2016 |
Luís Pereira
|
IST, Universidade de Lisboa | O Teorema de Galvin-Hajnal em Aritmética Cardinal (4) | ||
| 12 May 2016 |
Luís Pereira
|
IST, Universidade de Lisboa | O Teorema de Galvin-Hajnal em Aritmética Cardinal (3) | ||
| 5 May 2016 |
Luís Pereira
|
IST, Universidade de Lisboa | O Teorema de Galvin-Hajnal em Aritmética Cardinal (2) | ||
|
28 Apr 2016
|
Luís Pereira | IST, Universidade de Lisboa | O Teorema de Galvin-Hajnal em Aritmética Cardinal | ||
|
21 Apr 2016
|
Reinhard Kahle | CMA & DM, FCT, Universidade Nova de Lisboa | Schwichtenberg's Paradox in Dialogical Logic | ||
|
14 Apr 2016
|
Bruno Dinis | Universidade de Lisboa | Do all Prawitz formulas enjoy instantiation overflow? | ||
|
7 Apr 2016
|
Imme Van Den Berg | Universidade de Évora | Complete arithmetical solids and nonstandard analysis | ||
|
31 Mar 2016
|
Pedro Pinto | FCUL, Universidade de Lisboa | A result relating the monotone functional interpretation and the bounded functional interpretation (part 4 and last) | ||
|
17 Mar 2016
|
Pedro Pinto | FCUL, Universidade de Lisboa | A result relating the monotone functional interpretation and the bounded functional interpretation (part 3) | ||
|
10 Mar 2016
|
Pedro Pinto | FCUL, Universidade de Lisboa | A result relating the monotone functional interpretation and the bounded functional interpretation (part 2) | ||
|
3 Mar 2016
|
Pedro Pinto | FCUL, Universidade de Lisboa | A result relating the monotone functional interpretation and the bounded functional interpretation | ||
|
25 Feb 2016
|
Ana Borges | IST, Universidade de Lisboa | Two functional interpretations of arithmetic: the ‘dialectica’ interpretation of Gödel and the monotone interpretation of Kohlenbach (conclusion) | ||
|
18 Feb 2016
|
Ana Borges | IST, Universidade de Lisboa | Two functional interpretations of arithmetic: the ‘dialectica’ interpretation of Gödel and the monotone interpretation of Kohlenbach | ||
|
11 Feb 2016
|
João Enes | FCUL, Universidade de Lisboa | Functional interpretation and inductive definitions (4) | ||
|
4 Feb 2016
|
Luiz Carlos Pereira | Departamento de Filosofia, PUC-Rio/UER | Revisiting Translations | ||
|
21 Jan 2016
|
João Enes | FCUL, Universidade de Lisboa | Functional interpretation and inductive definitions (3) | ||
|
14 Jan 2016
|
João Enes | FCUL, Universidade de Lisboa | Functional interpretation and inductive definitions (2) | ||
|
14 Jan 2016
|
João Enes | FCUL, Universidade de Lisboa | Functional interpretation and inductive definitions | ||
|
3 Dec 2015
|
Cristina Sernadas |
IST, Universidade de Lisboa CMAFcIO, Universidade de Lisboa |
On probability and logic | ||
|
26 Nov 2015
|
Imme Van Den Berg | Universidade de Évora, CIMA | Logical aspects of axiomatic systems for external numbers (continuation) | ||
|
12 Nov 2015
|
Imme Van Den Berg | Universidade de Évora, CIMA | Logical aspects of axiomatic systems for external numbers | ||
|
5 Nov 2015
|
Gilda Ferreira | CMAFcIO, Universidade de Lisboa | The computational content of atomic polymorphism (continuation) | ||
|
29 Oct 2015
|
Luís Caires | Nova Laboratory for Computer Science and Informatics, Universidade Nova de Lisboa | Curry-Howard Interpretations of Typed Concurrent Computation | ||
|
22 Oct 2015
|
Gilda Ferreira | CMAFcIO, Universidade de Lisboa | The computational content of atomic polymorphism | ||
|
15 Oct 2015
|
João Rasga | IST, Universidade de Lisboa | Preservation of admissible rules when meet-combining logics | ||
|
8 Oct 2015
|
Bruno Dinis | CMAFcIO, Universidade de Lisboa | Interpreting weak König's lemma in nonstandard theories (continuation) | ||
|
1 Oct 2015
|
Bruno Dinis | CMAFcIO, Universidade de Lisboa | Interpreting weak König's lemma in nonstandard theories | ||
|
9 Jul 2015
|
Pedro Pinto | Universidade de Lisboa | Elementary geometry and elementary arithmetic | ||
|
25 Jun 2015
|
Bruno Dinis | CMAFcIO, Universidade de Lisboa | On instantiation overflow | ||
|
18 Jun 2015
|
Gilda Ferreira | CMAFcIO, Universidade de Lisboa | Atomic polymorphism: an overview | ||
|
28 May 2015
|
Mário Edmundo | Universidade Aberta | Model theoretic approach to sub analytic geometry, both real and p-adic, with number theoretic applications II (continuation, still) | ||
|
21 May 2015
|
Mário Edmundo | Universidade Aberta | Model theoretic approach to sub analytic geometry, both real and p-adic, with number theoretic applications II (still continuation) | ||
|
14 May 2015
|
Mário Edmundo | Universidade Aberta | Model theoretic approach to sub analytic geometry, both real and p-adic, with number theoretic applications II (continuation) | ||
|
30 Apr 2015
|
Mário Edmundo | Universidade Aberta | Model theoretic approach to sub analytic geometry, both real and p-adic, with number theoretic applications (I, finalization) | ||
|
23 Apr 2015
|
Mário Edmundo | Universidade Aberta | Model theoretic approach to sub analytic geometry, both real and p-adic, with number theoretic applications I |