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

Programme of the Workshop

	Monday	Tuesday	Wednesday	Thursday	Friday
8:45	Registration and Opening
9:20	Registration and Opening	Bridges	Ishihara	Sambin	Aczel
10:00	Lombardi	Vita	Spitters	Rosolini	Rathjen
10:40	Break	Break	Break	Break	Break
11:05	Escardò	Clark	Takamura	Stecher	Simpson
11:45	Vickers	Havea	Yoshida	Palmgren	Gambino
12:25	Lunch	Lunch	Lunch	Lunch	Lunch
14:30	Bauer	Brattka	Free	Maietti	Jäger
15:10	Streicher	Schwichtenberg		Spreen	Iemhof
15:50	Break	Break		Break	Break
16:15	Carlström	Seisenberger		DeVidi	Setzer
16:55	Cantini	Osswald		von Plato	Pattinson
17:35	Reception (17:30)	Aigner		Negri	Mögelberg
18:15	Reception (17:30)	Dinner		Dinner	Closing
19:30		Plenary Discussion			Social Dinner

The duration of the talks is of 30 minutes, plus 10 minutes discussion.

Back to homepage Workshop

Last modified: Mon May 5 17:40:11 MET 2003