From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

12--16 May 2003

Venice International University (VIU), San Servolo, Venice, Italy

List of participants and titles of talks

in the following format: DVI, PDF, PS

Back to homepage Workshop

Last modified: Tue Mai 6 18:00:00 MET 2003