Wiki

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)