Working group Pole Proofs, programs and systems Thematic team Algebra and computation Manage talks Topos Theory Day, hour and place Wednesday at 2pm, room 3052 The calendar of events (iCal format). In order to add the event calendar to your favorite agenda, subscribe to the calendar by using this link. Contact(s) Vincent Moreau Umberto Tarantino Previous talks Year 2025 Topos Theory Thursday June 5, 2025, 2PM, Salle 3052 Joshua Wrigley Classifying topoi (chapter VIII) Topos Theory Wednesday May 28, 2025, 2PM, Salle 3052 Morgan Rogers Geometric morphisms (chapter VII) Topos Theory Wednesday May 14, 2025, 3PM, Salle 3052 Miriam Marzaioli Forcing and topos theory (chapter VI) Topos Theory Wednesday May 7, 2025, 2PM, Salle 3052 Vincent Moreau Lawvere-Tierney topologies (chapter V) Topos Theory Wednesday April 30, 2025, 2PM, Salle 3052 Umberto Tarantino Elementary topoi (chapter IV) Topos Theory Thursday April 24, 2025, 2PM, Salle 3052 Vincent Moreau Sheaves on a site (chapter III) Topos Theory Wednesday April 16, 2025, 2PM, Salle 3052 Vincent Moreau Introduction to sheaves (chapters II and III)