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.
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
2WFTop Proceedings
The proceedings of the 2WFTop are now published as a special issue of APAL