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 |