LogSem Seminar, 2023
A seminar series on program verification, logic, semantics, type theory, proof assistants and related topics.
The presentation format is pretty open. Everyone is welcome (and encouraged!) to present previous/current work, explain interesting papers, give tutorial talks on topics they find worth sharing. Typically, it is a 45 min presentation + 15 min discussion, but, of course, flexible.
We meet on Mondays from 13:00 to 15:00. Currently all meetings are either in-person (in Ada-333 unless otherwise stated) or virtual on Zoom.
This meeting is organized by Alejandro Aguirre.
A preliminary schedule is available below.
Date | Who | Topic |
---|---|---|
January 16, 2023 | Pieter Bos, University of Twente | Demonstration of Vercors: a Verifier of Concurrent and Distributed Software |
February 6, 2023 | Satoshi Kura, National Institute of Informatics / University of Oxford | Higher-Order Weakest Precondition Transformers via a CPS Transformation |