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.
|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|
|September 19, 2022||Egor Namakonov||Liveness properties under weak memory|
|October 10, 2022||Bastien Rousseau||Concurrent Cerise - A Program Logic for Multi-core Capability Machine|
|October 17, 2022||Fall break|
|October 24, 2022||Jonas Kastberg Hinrichsen||TBD|
|November 7, 2022||Irfansha Shaik||TBD|
|November 14, 2022||Alejandro Aguirre||TBD|
|November 28, 2022||Daniel Gratzer||TBD|
|December 19, 2022||Simon Oddershede Gregersen||TBD|