Groupe de travail Pôle Preuves, programmes et systèmes Équipe thématique Algèbre et calcul Équipe thématique Preuves et programmes Gestion des séances Topos pour la réalisabilité Jour, heure et lieu Le vendredi à 15h, salle 3063 Le calendrier des séances (format iCal). Pour ajouter le calendrier des séances à votre agenda favori, souscrire au calendrier en indiquant ce lien. Contact(s) Dominik Kirst Umberto Tarantino The goal of this reading group is to read the book “Realizability: An Introduction to its Categorical Side” by Jaap van Oosten, so as to study the theory of triposes and of realizability toposes. Before tackling the book, we will begin by approaching realizability through the notes by Andrew Swan, Thomas Streicher, and Andrej Bauer, working our way up to its categorical sides. Each session is intended as a guided common reading, of around one hour and a half. In 2024/25, this reading group was organized by Vincent Moreau and Umberto Tarantino, and its goal was to read the book “Sheaves in Geometry and Logic” by Saunders MacLane and Ieke Moerdijk. Prochaine séance Topos pour la réalisabilité Vendredi 7 novembre 2025, 15 heures, Salle 3063 Sara Rousta Andrew Swan's notes on intuitionistic logic IV Chapter 13 Séances passées Année 2025 Topos pour la réalisabilité Vendredi 24 octobre 2025, 15 heures, Salle 3063 Dominik Kirst Andrew Swan's notes on intuitionistic logic III Chapters 12 and 13 Topos pour la réalisabilité Vendredi 17 octobre 2025, 15 heures, Salle 3063 Jacopo Furlan Andrew Swan's notes on intuitionistic logic II “Mandatory” reading: Swan Section 12.1; recommended readings: Swan Section 12.2, van Oosten Section 1.4; optional reading: Swan Section 12.3. Topos pour la réalisabilité Vendredi 10 octobre 2025, 15 heures, Salle 3071 Meven Bertrand Andrew Swan's notes on intuitionistic logic https://awswan.github.io/files/intuitionisticlogicnotes.pdf Topos pour la réalisabilité Jeudi 5 juin 2025, 14 heures, Salle 3052 Joshua Wrigley Classifying topoi (chapter VIII) Topos pour la réalisabilité Mercredi 28 mai 2025, 14 heures, Salle 3052 Morgan Rogers Geometric morphisms (chapter VII) Topos pour la réalisabilité Mercredi 14 mai 2025, 15 heures, Salle 3052 Miriam Marzaioli Forcing and topos theory (chapter VI) Topos pour la réalisabilité Mercredi 7 mai 2025, 14 heures, Salle 3052 Vincent Moreau Lawvere-Tierney topologies (chapter V) Topos pour la réalisabilité Mercredi 30 avril 2025, 14 heures, Salle 3052 Umberto Tarantino Elementary topoi (chapter IV) Topos pour la réalisabilité Jeudi 24 avril 2025, 14 heures, Salle 3052 Vincent Moreau Sheaves on a site (chapter III) Topos pour la réalisabilité Mercredi 16 avril 2025, 14 heures, Salle 3052 Vincent Moreau Introduction to sheaves (chapters II and III)