[clique para ver a página em português]

Welcome to my home page. I am Full Professor of Mathematics at the University of Lisbon (Portugal) and member of the research center CMAFcIO. Click here to get my CV.

Mathematical Logic, specially proof theory and weak systems of analysis, and Philosophy and Foundations of Mathematics. I have also written two papers on the problem of falsity in Parmenides and Plato. For some expository essays in portuguese, click here.

**Mathematical Logic Seminar**

The academic year 2019/2020 is the 31th year of the Mathematical Logic Seminar (SLM).

*Near future:*

Workshop on Proof Theory, Modal Logic and Reflection Principles, November 5-9, 2019, Barcelona, Spain.

*Recent past:*

12th Panhellenic Logic Symposium, June 26-30, 2019, Anogeia, Crete, Greece.

Jornadas de Matemática IST, April 3-4, 2019, Instituto Superior Técnico, Lisbon, Portugal.

Matemática às Terças, November 20, 2018, Matemática às Terças, Faculdade de Ciências da Universidade de Lisboa.

Comunicação à Academia das Ciências de Lisboa, Academia das Ciências de Lisboa, November 8, 2018, Lisbon, Portugal.

Computational Approaches to the Foundations of Mathematics of Mathematics, Abril 11-13, 2018, Munich, Germany.

Days in Logic 2018, January 25-27, 2018, Aveiro, Portugal.

Mathematical Logic: Proof Theory, Constructive Mathematics, November 5-11, 2017, Oberwolfach, Germany.

Axiomatic Thinking, October 11-14, 2017, Lisbon, Portugal.

Axiomatic Thinking, September 14-15, 2017, Zurich, Switzerland.

Applied Proof Theory and the Computational Content of Mathematics, September 14, 2017, Salzburg, Austria.

Logic Colloquium 2017, August 14-20, 2017, Stockholm, Sweden.

Seminário Lógica no Avião, May 12, 2017, Lógica no Avião, Brasília, Brazil.

XVIII Encontro Brasileiro de Lógica, May 8-12, 2017, Pirenópolis, Goiás, Brazil.

Projeto Diálogos da Fundação Calouste Gulbenkian, Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa, May 2, 2017, Lisbon, Portugal.

**Other**

I am member of the editorial board of Review of Symbolic Logic, of Disputatio and member of the scientific committee of Cadernos de Lógica e Computação. I am corresponding member of Academia das Ciências de Lisboa.

Last modified: August 2019