Deducteam

Home Members Software Seminars Jobs

Unless stated otherwise, seminars usually 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.

Friday 7 July 2017, LSV, 10:00: Deduction modulo in Zipperposition: past, present, and future, Simon Cruanes (INRIA Nancy).

Thursday 20 July 2017, LSV, 10:00: A complete and terminating strategy for the Bana-Comon equivalence logic, Adrien Koutsos (LSV).

Previous seminars.