The aim of the workshop is to
present recent developments in formal topology, the theory of the basic
picture and the foundations of constructive mathematics. The atmosphere
of the workhop will be quite informal and talks about work in progress
and new perspectives for research and applications are welcome.
List of participants
- Caramello, Olivia (Pisa and Cambridge)
- Ciraulo, Francesco (Palermo)
- Curi, Giovanni (Padova)
- Gambino, Nicola (Palermo)
- Maietti, Maria Emilia (Padova)
- Sambin, Giovanni (Padova)
- Spreen, Dieter (Siegen)
- Toto, Paola (Lecce)
- Vickers, Steve (Birmingham)
Programme
The programme for the workshop is
available
here.
Information for speakers
The lectures will be held in the Aula 7 (Lecture Room 7) of the
Department of Mathematics and Computer Science. The room has a
reasonably-sized blackboard, data projector and a overhead projector.
Please let the organizers know what you would prefer to use for your
presentation.
This page was last modified on
September 29th, 2010 by Nicola Gambino.