LogSem Seminar, Autumn 2021

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