3rd Workshop on Formal Topology

Scientific Committee

Thierry Coquand (Gothenburg, Sweden)
Giovanni Sambin (Padua, Italy)
Peter Schuster (Munich, Germany)

Sponsored by

• Dipartimento di Matematica, Università di Padova
• Università degli studi di Padova
• The european Types Project
• Progetto McTafi
• GNSAGA

Comune di Padova

Provincia di Padova

Local organizing committee

• Elena Paccagnella, administration
• Silvia Pittarello, promotion
• Giovanni Sambin