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 23 January 2018, 11:00, ENS Cachan, Pavillon des Jardins: Verification of quantum computation, Elham Kashefi (University of Edinburgh and LIP6).
Thursday 25 January 2018, 16:00, Location TBA: Practical Curry-Style using Choice Operators, Local Subtyping and Circular proofs, Rodolphe Lepigre (Deducteam).
Tuesday 30 January 2018, 11:00, ENS Cachan, Salle Condorcet: TBA, Timothy Bourke (ENS Paris).
Thursday 15 February 2018, 14:00, LSV library: Intersection Types in Deduction Modulo Theory, Olivier Hermant (MINES Paris Tech).
Thursday 1 March 2018, 14:00, LSV library: An introduction to certified programming using Agda, Mathieu Montin (IRIT).