LogSem Seminar, Spring 2021
A seminar series on program verification, logic, semantics, type theory, proof assistants and related topics.
The presentation format is pretty open. Everyone is welcome to present previous/current work, explain interesting papers, give tutorial talks on topics you find worth sharing. Typically, it’s a 45 min presentation + 15 min discussion, but, of course, flexible.
We plan to meen on Mondays from 12:00 to 14:00, but it’s subject to change. The exact location and time will be determined later.
This meeting is organized by Danil Annenkov.
A preliminary schedule is available below.
| Date | Who | Topic |
|---|---|---|
| March 1, 2021 | Martin Bidlingmaier | The multiverse model of dependent type theory |
| March 8, 2021 | Cancelled | |
| March 15, 2021 | Magnus Baunsgaard Kristensen | |
| March 22, 2021 | Philip G. Haselwater | |
| March 29, 2021 | No seminar - Easter break | |
| April 5, 2021 | No seminar -Easter Monday | |
| April 12, 2021 | Armaël Gueneau | |
| April 19, 2021 | Philipp Stassen | |
| April 26, 2021 | Nikolaj Sidorenco | |
| May 3, 2021 | Zongyuan Liu | |
| May 10, 2021 | Steffan Sølvsten Jørgensen | Efficient Binary Decision Diagram Manipulation in External Memory |
| May 17, 2021 | ||
| May 24, 2021 | Sergei Stepanenko | |
| May 31, 2021 | Alix Trieu |