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.

DateWhoTopic
March 1, 2021Martin BidlingmaierThe multiverse model of dependent type theory
March 8, 2021Cancelled
March 15, 2021Magnus Baunsgaard Kristensen
March 22, 2021Philip G. Haselwater
March 29, 2021No seminar - Easter break
April 5, 2021No seminar -Easter Monday
April 12, 2021Armaël Gueneau
April 19, 2021Philipp Stassen
April 26, 2021Nikolaj Sidorenco
May 3, 2021Zongyuan Liu
May 10, 2021Steffan Sølvsten JørgensenEfficient Binary Decision Diagram Manipulation in External Memory
May 17, 2021
May 24, 2021Sergei Stepanenko
May 31, 2021Alix Trieu

Previous seminars