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

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 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