Third Workshop on Formal Topology (3WFTop)


Padua, 7-12 May 2007

The 3rd Workshop on Formal Topology is the third of a series of successful meetings on the development of Formal Topology, its connections with related approaches and its applications.

The workshop will take place in Padua (Italy) at the Accademia Galileiana on 9-12 May 2007. The list of invited speakers includes outstanding scholars such as André Joyal, Per Martin-Löf, Martin Hyland, Peter Aczel.

It is preceded by 2 days of tutorials for absolute beginners on 7-8 May 2007, at the Department of Mathematics. It will be held by some of the creators of Point Free and Formal Topology.

Rif. G. Sambin

Download More info