3rd Workshop on Formal Topology

Previous Workshops

First Workshop on Formal Topology (1WFTop 1997)

Padova, October 2-4, 1997
organised by the EC Types Working Group

Invited Speakers

Peter Aczel (Manchester)
Douglas Bridges (Christchurch)
Thierry Coquand (Göteborg)
Abbas Edalat (London)
Michael Fourman (Edinburgh)
Per Martin-Löf (Stockholm)
Chris Mulvey (Sussex)
Giovanni Sambin (Padova)
Mike Smyth (London)
Silvio Valentini (Padova)
Gavin Wraith (Sussex)

Second Workshop on Formal Topology (2WFTop 2002)

Venice April 4-6, 2002
organized by the EC TYPES Working Group
Dipartimento di Matematica Pura ed Applicata, Università di Padova
Dipartimento di Informatica, Università di Venezia

Invited Speakers

Bernhard Banaschewski (McMaster University, Canada)
Martin Escardò (University of Birmingham, United Kingdom)
Peter Johnstone (University of Cambridge, United Kingdom)
Henri Lombardi (CNRS, Universite de Franche-Comte)
Chris Mulvey (University of Sussex, United Kingdom)
Erik Palmgren (University of Uppsala, Sweden)
Mike Smyth (Imperial College, United Kingdom)
Steve Vickers (Open University, United Kingdom)

The proceedings of the Second Workshop on Formal Topology are published as a special issue of
Annals of Pure and Applied Logic
vol. 137, issues 1-3, pp. 1-452 (January 2006)
Edited by B. Banaschewski, T. Coquand, G. Sambin

More detailed information about the previous workshops is available on the website Mathematical Logic in Padua