LogSem Seminar, 2022
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.
A preliminary schedule is available below.
Date | Who | Topic |
---|---|---|
February 21, 2022 | Bastien Rousseau | A DSL of Combinators for Vellvm |
March 14, 2022 | Steffan Sølvsten | Adiar: Binary Decision Diagrams in External Memory (TACAS 22 presentation) |
April 4, 2022 | Aina Linn Georges | Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities |
April 25, 2022 | Zongyuan Liu | A Separation Logic for Communicating Virtual Machines |
May 23, 2022 | Bastien Rousseau | Optimizing Relational Symbolic Execution over Cryptographic Code |
May 30, 2022 | Cancelled | |
June 13, 2022 | Philipp Stassen | A Flexible Multimodal Proof Assistant |
June 20, 2022 | Bas Spitters | Type theory for critical applications: cryptography and smart contracts |
June 20, 2022 | Eske Nielsen | Formalising Decentralised Exchanges in Coq |
June 27, 2022 | Rasmus Holdsbjerg-Larsen | High-assurance synthesis of cryptographic primitives - The BLS12 pairing groups |
June 27, 2022 | Sergei Stepanenko | The Essence of Generalised Algebraic Data Types |