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.

Wednesday 10 January 2024, 10:00, room 1Z76: Fixed Point Theorems for Non-Transitive Relations, Jérémy Dubut-Kross (AIST, Tokyo)

Friday 12 January 2024, 13:00, room 1Z76: Trocq: Proof Transfer for Free, With or Without Univalence, Enzo Crance (Gallinette, Inria Rennes, LS2N, Mitsubishi Electric), Cyril Cohen (Inria Sophia-Antipolis), Denis Cousineau (Mitsubishi Electric R&D Centre Europe)

Previous seminars