home » tutorials

**Ales Pultr** (Prague)

** Thierry Coquand** (Gothenburg)

**Martin Escardo** (Birmingham)

**Henri Lombardi** (Besancon)

**Michael Rathjen** (Leeds)

**Giovanni Sambin** (Padua)

Tutorials assume **no previous** specific **knowledge**.
They will provide students and young researchers with what is necessary
to attend 3WFTop with profit.

They are coordinated by **Peter Schuster**. Some reading material can be downloaded.

Tutorials will take place at the Department
of Mathematics.

**Programme**

**Monday, 7 May 2007 (Department of Mathematics)**

- 09.00 - 09.45 Welcome and registration
- 09.45 - 10.30
**Pultr**, On the more classical way to do without points - coffee break
- 11.00 - 11.45
**Sambin**, Origins and ideas of formal topology - 11.45 - 12.30
**Coquand**, On infinite objects in constructive mathematics - lunch break
- 14.30 - 15.15
**Pultr**, On the more classical way to do without points - 15.15 - 16.00
**Escardo**, Algorithmic topology of program types - coffee break
- 16.30 - 17.15
**Rathjen**, Constructive Set and Type Theories - 17.15 - 18.00
**Lombardi**, Formal spectral spaces and the constructive content of abstract algebra

**Tuesday, 8 May 2007 (Department of Mathematics)**

- 09.00 - 09.45
**Coquand**, On infinite objects in constructive mathematics - 09.45 - 10.30
**Sambin**, The basic picture, a future for formal topology? - coffee break
- 11.00 - 11.45
**Escardo**, Algorithmic topology of program types - 11.45 - 12.30
**Lombardi**, Formal spectral spaces and the constructive content of abstract algebra - lunch break
- 15.00 - 15.45
**Rathjen**, Constructive Set and Type Theories - 16.00 - 17.00
**Colloquium Patavinum: André Joyal, Polynomial functors in combinatorics, logic, algebra and topology**, see Colloquia Patavina website - 17.30 cocktail party