LogSem Seminar, 2025
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 and Sergei Stepanenko.
A preliminary schedule is available below.
| Date | Who | Topic |
|---|---|---|
| January 06, 2025 | Egor Namakonov, Aarhus University | Extending Iris with liveness reasoning |
| February 10, 2025 | Adam Husted Kjelstrøm, Aarhus University | Efficient simulation of High-Level Quantum Software |
| February 24, 2025 | Koen Jacobs, INRIA | Gradual typing, for the love of dynamic! |
| March 03, 2025 | June Rousseau, Aarhus University | |
| March 10, 2025 | Laurits Bligaard, Aarhus University |