Mathematical Logic in Padua


Welcome to the web site of Mathematical Logic in Padua.

Here you can find info on the people, research, activities.

Most of our work deals with a constructive approach to logic, mathematics and philosophy.

The tree of constructive logic


3rd Workshop on Formal Topology

The 3rd Workshop on Formal Topology will take place in Padua (Italy) on 7-12 May 2007.

The list of invited speakers includes outstanding scholars such as AndrÚ Joyal, Per Martin-L÷f, Martin Hyland, Peter Aczel. For all details visit the website of the Workshop:

The cover of the special issue of Annals of Pure and Applied Logic on 2WFTop

2WFTop Proceedings

The proceedings of the 2WFTop are now published as a special issue of APAL