home » programme

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**