3rd Workshop on Formal Topology

home | contact us

Invited Speakers

Peter Aczel (Manchester)
Giovanni Curi (Padua)
Nicola Gambino (Montreal)
Hajime Ishihara (Kanazawa)
Andre Joyal (Montreal)
Martin Hyland (Cambridge)
Maria Emilia Maietti (Padua)
Per Martin-Löf (Stockholm)
Christopher Mulvey (Sussex)
Erik Palmgren (Uppsala)
Giuseppe Rosolini (Genoa)
Bas Spitters (Nijmegen)
Paul Taylor (Manchester)
Steve Vickers (Birmingham)