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.

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.