Mathematisches Institut der Universität München Universität München Mathematisches Institut der Universität München

From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

Workshop, 12-16 May 2003

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

Organised by P. Schuster and L. Crosilla

Sponsored by


with additional support by

Graduiertenkolleg "Logik in der Informatik" (GKLI)


Istituto Italiano per gli Studi Filosofici (Sede di Venezia)



General Information:

Conference Room
Conference fee
Conference dinner

Location: The workshop will take place at Venice International University (VIU). This is situated in the buildings of a former Benedictine monastery, which covers the garden island of San Servolo in the venetian lagoon.

Conference Room: Directions to the conference room will be provided in San Servolo. The room is equipped with 2 slide projectors, a beamer and a whiteboard. No blackboards are available.

Meals: The meals will take place at the VIU cafeteria. The opening times of the cafeteria are:
Lunch: 12:00-13:30 and Dinner: 18:15-19:45.
NOTE: the meals will now be bought by the participants directly at cafeteria, with individual payments. No payment has to be made to us. There should be 2 menu options:

  1. first dish, second dish, bread and 1/4 liter wine or 1/2 liter water. Cost 5.23 Euro.
  2. first dish, second dish, side dish, salad, dessert, bread, 1/4 liter wine or 1/2 liter water, coffee. Cost 6.97.

Coffee: Unfortunately, there is no bar service on the island. However, there are vending machines for coffee and soft drinks which are said to work quite well. If you wish to use the machines you are advised to always keep some coins with you.

Conference fee: Euro 50. Reduced fee for students Euro 20.

Payment: Accommodation, registration fee, conference dinner, have to be paid in advance, i.e. upon registration; we can accept neither cheques nor credit cards but only cash (Euro). Please be prepared to bring the necessary amount of money to the registration.
We will partially support the accommodation (or travel) expenses of some participants to the workshop. In particular, we will try to give preference to those participants who don't have other founds and to young researchers. We will only give support towards the accommodation to those participants residing in either Istituto della Pietà or Palazzo Zenobio. In any case, external accommodation has to be paid by the participants. There is also no support available for the registration fee and the meals.

The on site registration will take place on Monday, May 12th, 2003, Venice International University (VIU), San Servolo, 8:45--9:50 and 13.30--14.30.

Opening: Monday 12 May 2003, 9:50.

Reception: On Monday at 17:30 there will be a welcome reception. This will take place on the island. If you wish, after the reception you might dine in the cafeteria.

Conference dinner: A conference dinner will be held on Friday, 16th of May; the costs are estimated to Euro 30 per person.

Excursion: In the afternoon of Wednesday 14th of May, we plan to have a guided excursion, for example a boat tour to the famous islands in the lagoon (Murano, Burano, Torcello), or a walk through some less known areas in Venice.

Closing: Friday 16th May 2003, 18:15.

Laura Crosilla and Peter Schuster,
Mathematisches Institut der Ludwig-Maximilians-Universität,
Theresienstrasse 39, 80333 München, Germany
phone ++49-89-2180-4401/4420, fax ++49-89-2130 4466
Workshop.Venezia at

Back to TOP

Last modified: Wed May 7 18:47:36 MET 2003