Fernando Ferreira

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

						Departamento de Matemática		Room C6.2.8
						FCUL - Universidade de Lisboa		Office phone: (351)-217500294
						Campo Grande, Ed. C6, Piso 2		Email: ferferr@cii.fc.ul.pt
						P-1749-016 Lisboa, Portugal

Welcome to my home page. I am Associate Professor of Mathematics at the University of Lisbon (Portugal) and member of the research center CMAF and of its Mathematical Logic Group. 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 in Ancient Philosophy on the problem of falsity in Parmenides and Plato. For some expository essays in portuguese, click here.

In the fall I am Tinker Visiting Professor at Stanford University, teaching Proof Theory and Functional Interpretations. The following semester, I am back to the University of Lisbon where I teach Lógica de Primeira-ordem and Lógica e Fundamentos.

Mathematical Logic Seminar

This is the 21th year of the Mathematical Logic Seminar (SLM). This year the SLM is organized by Fernando Ferreira (Universidade de Lisboa) and Mário Edmundo (Universidade Aberta). If you want information concerning the seminar, please contact one of the organizers.

Model Theory Seminar

This is the second year of the new Model Theory Seminar, organized by Mário Edmundo. For more information, contact the organizer.

Recent past:

Mathematical Logic: Proof Theory, Constructive Mathematics, 6-12 April, 2008, Oberwolfach, Germany. My two lectures are available for download: Lecture 1 e Lecture 2.

Encontro Nacional da Sociedade Portuguesa de Matemática, June 25-28, Instituto Superior de Engenharia de Coimbra.

Classical Logic and Computation’08, July 13, 2008, Reykjavik, Iceland.

Leeds Symposium on Proof Theory and Constructivism, 3-16 July 2009, Leeds, England.

Logic Colloquium'09, July 31 - August 5, 2009, Sofia, Bulgaria.

Near future:

Gentzen Centenary. The Quest of Consistency, Setember 12, 2009, Coimbra, Portugal.

ENFA 4, September 17 - September 19, 2009, Évora, Portugal.

ASL Winter Meeting, January 15-16, 2010, San Francisco, California, USA.

Computability in Europe 2010, June 30 - July 5, 2010, Ponta Delgada, Azores, Portugal.

I am co-editor of Disputatio, a portuguese based bilingual journal of philosophy in the analytic tradition. I am the currente president of Sociedade Portuguesa de Filosofia Analítica. I am corresponding member of Academia das Ciências de Lisboa.

Last modified: August 26, 2009