Deducteam

Home Members Software Seminars Jobs

Unless stated otherwise, seminars take place on Thursday at 14:00 at LSV, 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 4 February 2021, 14:00, online: The Taming of the Rew: A Type Theory with Computational Assumptions, Théo Winterhalter (MPI)

Previous seminars