3rd Workshop on Formal Topology

home | contact us

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 2WFTop

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