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