[#]OPLSS lineup was announced via mail (though not yet on the website?) and they did the same thing again they also did two years ago. Pretty incredible and amazing if you ask me. I honestly wish I could attend it myself!
Nada Amin - Harvard University
Metaprogramming
Valeria De Paiva - Topos Institute
Lambda-calculi for logics
Kathleen Fisher - DARPA
Formal methods for natural security
Limin Jia - Carnegie Mellon University
Information Flow Type Systems
Delia Kesner - Université de Paris
Lambda Calculi Through the Lens of Linear Logic
Kathryn S McKinley - Google
System design and innovation: A Garbage Collection Case Study
Anja Petković Komel - TU Wien and Argot Collective
Introduction to Type Theories
Brigitte Pientka - McGill University
Introduction to Logical Foundations
Paige Randall North - Utrecht University
Introduction to Category Theory
Emina Torlak - Amazon Web Services
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Caterina Urban - INRIA
Abstract Interpretation-Based Static Analysis
Niki Vazou - IMDEA Software Institute
Refinements Types
Jeannette Wing - Columbia University
Trustworthy AI
Ningning Xie - University of Toronto.
Algebraic effects and handlers
=> More informations about this toot | View the thread | More toots from jesper@agda.club
=> View OPLSS tag This content has been proxied by September (ba2dc).Proxy Information
text/gemini