Hi! Most of you are on holiday, so I have not planned any particular activity tomorrow. However, I wanted to let you know that there is a reading group of _Sheaves in Geometry and Logic, _Mac Lane and Moerdijk's introduction to topos theory, planned at IRIF in the afternoon: 2pm in Room 3052 at IRIF, on the third floor of Sophie Germain. I got permission to advertise it from the organiser Vincent Moreau, and Jad intends to go, so you can meet there if you intend to go. Enjoy! --- La plupart d'entre vous étant en vacances, je n'ai pas prévu d'activité particulière demain. Cependant, je tenais à vous informer qu'un groupe de lecture de _Sheaves in Geometry and Logic_, l'introduction à la théorie des topos de Mac Lane et Moerdijk, est prévu à l'IRIF demain après-midi: 14h dans la salle 3052 à l'IRIF, au troisième étage de Sophie Germain. J'ai obtenu l'autorisation de l'organisateur Vincent Moreau pour en faire la promotion, et Jad compte y aller, donc vous pouvez vous y retrouver si vous voulez. Bonne lecture ! Bien cordialement, Morgan ROGERS