Meetings archive 2020

We meet every Monday from 13:00 until 15:00 in Nygaard-395 (or on Zoom). This meeting is organized by Danil Annenkov.

January 13, 2020Daniel GratzerMultimodal Dependent Type Theory (abstract)
January 20, 2020No seminar – POPL week
January 27, 2020No seminar – post-POPL week :)
February 3, 2020Irfansha ShaikEnumerating and Counting N-Queens solutions: Between heuristics and structure (abstract)
February 10, 2020Cancelled
February 17, 2020No seminar - winter break
February 24, 2020Andreas Aagaard LyngeUnivalent parametricity and refinements for free (abstract)
March 2, 2020Alix TrieuHow programming language research can help securely implement cryptography (abstract)
March 9, 2020, 13:00-14:00Andrew HirschTowards Computational Models for Authorization Logics (abstract)
March 9, 2020, 14:15-15:00 (cancelled)Ranald CloustonBi-Intuitionistic Types via Alternating Contexts (abstract)
March 16, 2020Cancelled
March 23, 2020Steffan Sølvsten Jørgensen∃R-Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games (abstract)
March 30, 2020Benjamin Salling HvassHigh-assurance modular inversion using Fiat Cryptography (abstract)
April 6, 2020No talk – social chat :)
April 13, 2020No seminar - Easter break
April 20, 2020Cancelled
April 27, 2020Abel NietoBlame for Null (abstract)
May 4, 2020Auke BooijAnalysis in univalent type theory (abstract)
May 11, 2020Alex KavvosHow to Define Things by Recursion: A crash course in the basic notions of domain theory
May 18, 2020Armaël GueneauThe right answer at the right time: an introduction to time complexity verification using time credits (abstract)
May 25, 2020Søren Eller ThomsenNakamoto-Style Blockchain Consensus 101 (abstract)
June 8, 2020Jaco van de Pol and Magnus MadsenA Polymorphic Type and Effect System with Boolean Unification (abstract)
September 7, 2020cancelled
September 14, 2020, 12:00-12:45Christian Uldal GraulundSketches of a RaTT: Fitch-style modal calculi for reactive programming (abstract)
September 14, 2020, 13:00-13:45Lars BirkedalCPV – a partial overview of current research
September 21, 2020, 12:00-13:00Simon GregersenMechanized Logical Relations for Termination-Insensitive Noninterference (abstract)
September 28, 2020cancelled
October 5, 2020Léon GondelmanDistributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic (abstract)
October 12, 2020No seminar, fall break (Efterårsferie)
October 19, 2020Simon Friis VindumContextual refinement of the Michael-Scott queue (abstract)
October 26, 2020Maximilian AlgehedIFC Theorems for Free! (abstract)
November 2, 2020Aïna Linn GeorgesMechanized Program Verification on a Capability Machine in the Presence of Untrusted Code (abstract)
November 9, 2020Danil AnnenkovCoq Extraction: new targets, new challenges (abstract)
November 16, 2020Bas SpittersHigh level overview of formally verified security (abstract)
November 23, 2020Jeppe BlaabjergTowards Language-Based Mitigation of Traffic Analysis Attacks (abstract)
November 30, 2020Jonas KastbergActris: session-type based reasoning in separation logic (abstract)
December 7, 2020Zesen QiangClient-Server Sessions in Linear Logic (abstract)
December 14, 2020cancelled