Mathematical Logic in Padua

Welcome

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

Focus

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: www.3wftop.math.unipd.it

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