LogSem Seminar, Autumn 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 meet on Mondays from 13:00 to 15:00. Currently all meetings are either in-person or virtual on Zoom.

This meeting is organized by Alejandro Aguirre.

A preliminary schedule is available below.

March 1, 2021Martin BidlingmaierThe multiverse model of dependent type theory
March 8, 2021Cancelled
March 15, 2021Magnus Baunsgaard KristensenA model of Clocked Cubical Type Theory
March 22, 2021Philip G. HaselwaterSSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
March 29, 2021No seminar - Easter break
April 5, 2021No seminar - Easter Monday
April 12, 2021Cancelled
April 19, 2021Neel KrishnaswamiAdjoint Reactive GUI Programming
April 26, 2021Steffan Sølvsten JørgensenEfficient Binary Decision Diagram Manipulation in External Memory
May 3, 2021Simon WimmerCertification of timed systems model checking: past, now, and future
May 10, 2021Guilhem JABERComplete compositional relational reasoning for state and control
May 17, 2021Cancelled
May 24, 2021No seminar - public holiday
May 31, 2021Dan FruminSemantic approach to cut elimination
June 7, 2021Alejandro AguirreRelational logics for probabilistic programs
June 14, 2021Nikolaj SidorencoFormal security analysis of MPC-in-the-head zero-knowledge protocols
June 21, 2021Cristina MatacheRecursion and sequentiality in categories of sheaves
September 10, 2021Troels HenriksenMaking pigs fly: design and implementation of the Futhark language
September 13, 2021Cancelled
September 20, 2021Maxime LegoupilCategorical models for focused lambda-calculus
September 27, 2021Cancelled
October 4, 2021Alban ReynaudA parametrized bisimulation for interaction trees
October 11, 2021Cancelled
October 18, 2021No seminar - Autumn break
October 25, 2021Boel NelsonTBA
November 1, 2021Jonathan SterlingTBA
November 8, 2021Pierre CagneTBA

Previous seminars