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.
|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|