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.
Tuesday 18 June 2019, 11:00, Pavillon du Jardin, ENS Cachan: Interaction with Formal Mathematical Documents in Isabelle/PIDE, Makarius Wenzel.
Thursday 20 June 2019, 14:00, LSV library: Isabelle technology for the Archive of Formal Proofs, Makarius Wenzel.
Thursday 20 June 2019, 15:30, LSV library: Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting, Guillaume Genestier (Deducteam).