Logic List Mailing Archive

3rd Workshop on Formal Topology, Padua (Italy), May 2007

3WFTop First Announcement:

THIRD WORKSHOP ON FORMAL TOPOLOGY

Accademia Galileiana, Padua (Italy)

9-12 May 2007 workshop
7-8 May 2007 tutorials

This is the third of a series of successful meetings on the development of
Formal Topology and its connections with related approaches. The first two
have been held in Padua, 1997, and Venice, 2002.

For more information on 3WFTop see http://www.3wftop.math.unipd.it/

What is formal topology

When topology is developed in a strictly constructive way, for instance
over Martin-Loef's type theory, points cannot be given primitively and the
pointfree approach is fundamental. This is the reason why it is called
formal. Formal topology has now become an important tool in constructive
mathematics. More on formal topology:
http://www.3wftop.math.unipd.it/formal-topology.html

Invited speakers

Invited speakers include Andre' Joyal, Per Martin-Loef and many other
prominent scholars: http://www.3wftop.math.unipd.it/invited-speakers.html

Tutorials

Before the workshop, two days of extensive and coordinated tutorials are
planned, given by Bernhard Banaschewski and other pioneers:
http://www.3wftop.math.unipd.it/tutorials.html

Contacts

If you wish to be kept updated with information about 3WFTop, please send
an e-mail to:  fortop@math.lmu.de with KEEP ME UPDATED in the subject.

the Scientific Committee
Thierry Coquand  Giovanni Sambin  Peter Schuster