Programme and Timetable
The program is organized in "blocks" of an hour and a half: an invited
lecture is one hour, a contributed paper is half an hour. Both are meant
"all inclusive" (questions and a short break to stretch legs).
Wednesday, 9 May 2007 (Sala Paladin, Palazzo Mororni)
- 09.00 - 09.20 Opening address: Sambin
- 09.20 - 10.30 Lecture 1: Martin-Löf, Topology, probability,
quantum theory
- coffee break
- 11.00 - 12.00 Lecture 2: Taylor, In defence of Dedekind
and Heine-Borel
- 12.00 - 12.30 Paper 1: Bridges, Reflections on function
spaces
- 12.30 - 13.00 Paper 2: Heunen, A topos presentation
of C*-algebras based physical systems
- welcome buffet (giardino pensile)
- 15.30 - 16.30 Lecture 3: Mulvey, A characterization
of étale groupoids
- 16.30 - 17.00 Paper 3: Karimi Feizabadi, Representation
of slim algebraic regular cozero maps
- coffee break
- 17.30 - 18.30 Lecture 4: Curi, All the constructive
compactifications of a frame
- 18.30 - 19.00 Paper 4: Lesnik, Metric spaces in synthetic
topology
- 19.30 Guided visit of the Scrovegni Chapel (Giotto)
Thursday, 10 May 2007 (Sala Consiliare – Palazzo Moroni)
- 9.00 - 10.00 Lecture 5: Hyland, Formal topology and
commutative algebra
- 10.00 - 10.30 Paper 5: Clementino, (Non-)Constructive
facets of lax algebras
- coffee break
- 11.00 - 12.00 Lecture 6: Gambino, Formal topology
in algebraic set theory
- 12.00 - 12.30 Paper 6: Frascella, Transporting many-valued
sets along many valued relations
- lunch break
- 14.30 - 15.30 Lecture 7: Rosolini, Formal topology,
abstractly
- 15.30 - 16.00 Paper 7: Simpson, The locale of random
sequences
- coffee break
- 16.30 - 7.00 Paper 8: Ziegler, Models of set theory
with applicative topology
- 17.00 - 17.30 Paper 9: Corsi, Some results on distinct
combinations of interior, closure and opposite
- 17.30 - 21.00 Trip to a thermal swimmingpool (Hotel
Petrarca, Montegrotto Terme) or to the Botanic
Garden
Friday, 11 May 2007 (Sala Consiliare – Palazzo Moroni)
- 09.00 - 10.00 Lecture 8: Joyal, Topology and logic,
from Heyting algebras to homotopoi
- 10.00 - 10.30 Paper 10: Ciraulo, A constructive treatment
of satisfiability (with an application to tense logic)
- coffee break
- 11.00 - 12.00 Lecture 9: Palmgren, Locally compact
metric spaces and formal topology
- 12.00 - 12.30 Paper 11: Valentini, Independence results
in formal topology
- lunch break
- 14.30 - 15.30 Guided visit of the Palazzo della Ragione
- 15.30 - 16.30 Lecture 10: Vickers, Connectedness
and cosheaves in formal topology
- 16.30 - 17.00 Paper 12: Dabaghian, Neural activity
in the hyppocampus in the framework of formal topology
- coffee break
- 17.30 - 19.00 Open discussion
- 21.00 Evening concert: Group
Calicanto
Saturday, 12 May 2007 (Sala Consiliare – Palazzo Moroni)
- 9.00-10.00 Lecture 11: Aczel, On avoiding dependent
choices in formal topology
- 10.00 - 10.30 Paper 12: Toto, Global H-basic pairs
- coffee break
- 11.00 - 12.00 Lecture 12: Ishihara, Neighbourhood
and quasi-apartness spaces, and separation properties
- 12.00 - 12.30 Paper 14: Van Olmen, Approach frames
as approach pointfree theory and separation
- lunch break
- 15.00 - 16.00 Lecture 13: Spitters, Computable sets:
located and overt locales
- 16.00 - 17.00 Lecture 14: Maietti, A minimal two-level
constructive foundation and its relevance to formal topology
- 19.30 social dinner at Trattoria Basso Isonzo