The Institute for Mathematics, Astrophysics and Particle Physics
at the Radboud University Nijmegen
will host a three-day
workshop on the interplay between logic,
topology/geometry and quantum theory,
funded by the Fellowship of Geometry and Quantum Theory (GQT-Cluster) and
Stichting Compositio Mathematica.
Wednesday, September 3
10:45-12:30, HG01.057, Erik Palmgren, "The localic completion of metric spaces"
13:45-14:30, HG00.065, Isar Stubbe, "Principally generated quantaloid-modules"
14:45-15:30, HG00.065, Anders Kock, "Introduction to synthetic differential geometry"
16:00-16:45, HG00.303, Chris Heunen, "An embedding theorem for Hilbert categories"
17:00-18:00, IMAPP, third floor, small reception.
Thursday, September 4
10:45-11:30, HG01.057, Anders Kock, "Some recent advances in synthetic differential geometry: conformal and harmonic maps"
11:45-12:30, HG01.057, Isar Stubbe, "Skew local homeomorphisms"
13:45-15:30, HG01.057, Pedro Resende, "Sheaves on groupoids and quantales"
16:00-17:00, HG01.057, Jaap van Oosten, "Geometric aspects of the effective topos"
18:00-21:00, conference dinner in the Faculty Club.
Friday, September 5
10:45-12:30, HG00.086, Steve Vickers, "Locales and geometricity"
13:45-15:30, HFML.0220, Andreas Doering, "A topos approach to the formulation of physical theories"
16:00-17:00, HFML.0220, Bas Spitters, "Integrals and valuations"
Hotels Val Monte and Erica are recommendable, but there is also alternative accomodation.
Getting to the locale should not be difficult: here are excellent directions.
Registration is free, but for logistic reasons please inform Chris Heunen if you plan to attend.
Organizers:
Mai Gehrke
Chris Heunen
Klaas Landsman
Ieke Moerdijk
Bas Spitters