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.

Thursday 20 April 2017, 14:00, Room L106, Mines ParisTech, 60 bd St Michel, Paris: Habilitation, Olivier Hermant (Mines ParisTech).

Thursday 27 April 2017, 14:00: Automatic and Transparent Transfer of Theorems along (Iso)morphisms in the Coq Proof Assistant, Théo Zimmermann (πr²).

Tuesday 2 May 2017, ENS Cachan, Pavillon des Jardins, 11:00: Binary-level security analysis: semantics to the rescue!, Sébastien Bardin and Richard Bonichon (CEA).

Thursday 4 May 2017, 14:00: TBA, Raphaël Cauderlier (IRIF).

Tuesday 30 May 2017, 14:00: Models of type theory given by program translation, Simon Boulier (EPI Ascola, Nantes).

Tuesday 13 June 2017, ENS Cachan, Pavillon des Jardins, 11:00: TBA, Colin Riba (LIP, Ens Lyon).

Tuesday 20 June 2017, ENS Cachan, Pavillon des Jardins, 11:00: Quantum Digital Physics, Pablo Arrighi (LIF, Université Aix-Marseille).

Previous seminars.