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.

DateWhoTopic
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 NelsonOn the accuracy of differentially private algorithms
November 1, 2021Jon SterlingBetween abstraction and composition
November 8, 2021Pierre CagneConsequences of univalence on the symmetries of the spheres
November 15, 2021Jean Pichon-PharabodTrying to make relaxed concurrency memory models more accessible: the case of Armv8
November 22, 2021Jonas Kastberg HinrichsenMachine-Checked Semantic Session Typing
November 29, 2021Patricia JohannDeep Induction
December 6, 2021No seminar
December 13, 2021Aslan AskarovAre fine-grained and coarse-grained dynamic information flow control always equally expressive?
December 16, 2021Christoph MathejaTowards a Language for Automated Verification of Probabilistic Programs

Previous seminars