3rd Workshop on Formal Topology

home | contact us

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