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