Unless stated otherwise, seminars take place on Thursday at 14:00 at LMF, ENS Paris-Saclay, 4 avenue des Sciences, 91190 Gif-sur-Yvette, France. If specified, they may also be streamed online here. To stay informed, you can subscribe to our mailing list.
Thursday 30 March 2023, 14:00, room 1Z34: (∞-)Categorical semantic of type theory: an introduction, El Mehdi Cherradi (IRIF).
