Deducteam

Home Members Software Seminars Jobs

Unless stated otherwise, seminars take place on Thursday at 14:00 at LMF, ENS Paris-Saclay, 4 avenue des Sciences, 91190 Gif-sur-Yvette, France. If specified, they may also be streamed online here. To stay informed, you can subscribe to our mailing list.

Thursday 7 July 2022, 10:30 AM, room 3U42: A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems, Carlos Olarte (LIPN, Université Sorbonne Paris Nord), joint work with Elaine Pimentel and Camilo Rocha.

Previous seminars