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