Deducteam

Home Members Software Seminars Jobs

Unless stated otherwise, seminars take place on Thursday at 14:00 in the library of the LSV (building 1 on this map, ring at the entrance), on the campus of the ENS Cachan (access from the Bagneux train station of the RER B line on this map). To stay informed, you can use our Google agenda (Ical version) and subscribe to our mailing list.

Thursday 8 November 2018, 14:00, LSV library: The intuitionistic calculus that was discovered 6 times, St├ęphane Graham-Lengrand (Parsifal).

Thursday 13 December 2018, 14:00, LSV library: To be announced, Etienne Miquey (IRIF).

Previous seminars.