[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 CMAFIO and of its research line in Mathematical Logic. I am also a collaborator of CFUL. 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.

I am teaching three bachelor courses this year: *First-Order Logic* for freshmen in Computer Engineering in the first semester, and
*Introduction to Set Theory* (first semester) and *Introduction to Number Theory* (second semester), both for the third year of
Mathematics.

**Mathematical Logic Seminar**

This is the 29th year of the Mathematical Logic Seminar (SLM). This year the SLM is organized by Fernando Ferreira and Mário Edmundo (both from Universidade de Lisboa).

*Near future:*

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

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

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

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

*Recent past:*

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

XVIII Brazilian Logic Conference, May 8-12, 2017, Pirenópolis, Goías, Brazil.

Um longo argumento: a falsidade n'O Sofista de Platão, May 2 of 2017, Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa.

Mathematics for Computation, May 8-13 2016, Lower Bavaria, Germany.

Proofs, justifications and certificates, June 3 and 4 of 2016. Workshop of the thematic trimester "Current Issues in the Philosophy of Practice of Mathematics & Informatics," CIMI, Toulouse, France.

Journées sur les Arithmétiques Faibles 35, Faculdade de Ciências da Universidade de Lisboa, June 6-7, 2015, Lisbon, Portugal.

Thirteenth International Conference oc Computability and Complexity in Analysis, Universidade do Algarve, June 15-17, 2016, Faro, Portugal.

Classical Logic and Computation 2016, Universidade do Porto, June 23, 2016, Oporto, 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 2017