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).

In 2018/2019, the SLM will be on Mondays from 4pm to 5pm. It takes place at Faculdade de Ciências da Universidade de Lisboa in room C6.2.33 (building C6, second-floor, room 33).

Seminars are posted on Wednesdays.


 

Date Speaker Affiliation Title

 

10 Dez 2018

 

Pedro Filipe Instituto Superior Técnico, Universidade de Lisboa

From ultrafilters to compacteness

 

19 Nov 2018

 

Cristina Sernadas  Instituto Superior Técnico, Universidade de Lisboa

Decidability of first-order theories

 

12 Nov 2018

 

Elia Zardini Universidade de Lisboa

One, and Only One

 

5 Nov 2018

 

Fernando Ferreira Universidade de Lisboa

Zigzag and Fregean arithmetic (part 2)

 

29 Oct 2018

 

André Souto Universidade de Lisboa

Individual approach to witness hiding protocols

 

22 Oct 2018

 

Fernando Ferreira Universidade de Lisboa

Zigzag and Fregean arithmetic

 

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

A labeled logic for analyzing cyber-forensics evidence

 

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

Generic roots of exponential polynomials

 

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

On definable normality (part 2)

 

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
CMAFcIO, Universidade de Lisboa  
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