Dear all, This is to announce a three-day workshop on the interplay between logic, topology/geometry and quantum theory: Sheaves in Geometry and Quantum theory September 3-5, 2008 Radboud University Nijmegen, the Netherlands funded by the Fellowship of Geometry and Quantum Theory (GQT-cluster) and Stichting Compositio Mathematica. For more information, see the website: http://www.cs.ru.nl/~heunen/lgqt Invited (confirmed) speakers are: * Andreas Doering (Imperial College London) * Anders Kock (Aarhus) * Jaap van Oosten (Utrecht) * Erik Palmgren (Uppsala) * Pedro Resende (Lisbon) * Isar Stubbe (Antwerp) * Steve Vickers (Birmingham) Registration is free, but for logistic reasons, please inform Chris Heunen (heunen@math.ru.nl) if you plan to attend. Best wishes, Mai Gehrke, Chris Heunen, Klaas Landsman, Ieke Moerdijk, and Bas Spitters