Deducteam

Home Members Software Seminars Jobs

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 8 December 2022, 14:00, room 3U42: Impredicativity, comprehension scheme, polymorphism and bar recursion, Valentin Blot (Deducteam).

Wednesday 11 January 2023, 13:00, room 1Z53 and online: From Metamath to Dedukti, and beyond!, Amélie Ledein (Deducteam).

Previous seminars