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.
| Date | Who | Topic |
|---|---|---|
| January 13, 2020 | Daniel Gratzer | Multimodal Dependent Type Theory (abstract) |
| January 20, 2020 | No seminar – POPL week | |
| January 27, 2020 | No seminar – post-POPL week :) | |
| February 3, 2020 | Irfansha Shaik | Enumerating and Counting N-Queens solutions: Between heuristics and structure (abstract) |
| February 10, 2020 | Cancelled | |
| February 17, 2020 | No seminar - winter break | |
| February 24, 2020 | Andreas Aagaard Lynge | Univalent parametricity and refinements for free (abstract) |
| March 2, 2020 | Alix Trieu | How programming language research can help securely implement cryptography (abstract) |
| March 9, 2020, 13:00-14:00 | Andrew Hirsch | Towards Computational Models for Authorization Logics (abstract) |
| March 9, 2020, 14:15-15:00 (cancelled) | Ranald Clouston | Bi-Intuitionistic Types via Alternating Contexts (abstract) |
| March 16, 2020 | Cancelled | |
| March 23, 2020 | Steffan Sølvsten Jørgensen | ∃R-Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games (abstract) |
| March 30, 2020 | Benjamin Salling Hvass | High-assurance modular inversion using Fiat Cryptography (abstract) |
| April 6, 2020 | No talk – social chat :) | |
| April 13, 2020 | No seminar - Easter break | |
| April 20, 2020 | Cancelled | |
| April 27, 2020 | Abel Nieto | Blame for Null (abstract) |
| May 4, 2020 | Auke Booij | Analysis in univalent type theory (abstract) |
| May 11, 2020 | Alex Kavvos | How to Define Things by Recursion: A crash course in the basic notions of domain theory |
| May 18, 2020 | Armaël Gueneau | The right answer at the right time: an introduction to time complexity verification using time credits (abstract) |
| May 25, 2020 | Søren Eller Thomsen | Nakamoto-Style Blockchain Consensus 101 (abstract) |
| June 8, 2020 | Jaco van de Pol and Magnus Madsen | A Polymorphic Type and Effect System with Boolean Unification (abstract) |
| September 7, 2020 | cancelled | |
| September 14, 2020, 12:00-12:45 | Christian Uldal Graulund | Sketches of a RaTT: Fitch-style modal calculi for reactive programming (abstract) |
| September 14, 2020, 13:00-13:45 | Lars Birkedal | CPV – a partial overview of current research |
| September 21, 2020, 12:00-13:00 | Simon Gregersen | Mechanized Logical Relations for Termination-Insensitive Noninterference (abstract) |
| September 28, 2020 | cancelled | |
| October 5, 2020 | Léon Gondelman | Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic (abstract) |
| October 12, 2020 | No seminar, fall break (Efterårsferie) | |
| October 19, 2020 | Simon Friis Vindum | Contextual refinement of the Michael-Scott queue (abstract) |
| October 26, 2020 | Maximilian Algehed | IFC Theorems for Free! (abstract) |
| November 2, 2020 | Aïna Linn Georges | Mechanized Program Verification on a Capability Machine in the Presence of Untrusted Code (abstract) |
| November 9, 2020 | Danil Annenkov | Coq Extraction: new targets, new challenges (abstract) |
| November 16, 2020 | Bas Spitters | High level overview of formally verified security (abstract) |
| November 23, 2020 | Jeppe Blaabjerg | Towards Language-Based Mitigation of Traffic Analysis Attacks (abstract) |
| November 30, 2020 | Jonas Kastberg | Actris: session-type based reasoning in separation logic (abstract) |
| December 7, 2020 | Zesen Qiang | Client-Server Sessions in Linear Logic (abstract) |
| December 14, 2020 | cancelled |