1:06:53Amr Sabry: Programming with Negative and Fractional Types
Advanced
A 67-minute video from LFCS Seminar: “Amr Sabry: Programming with Negative and Fractional Types”.
LFCS Seminar
582 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
1:06:53
1:07:19Ankush Das: Resource aware session types for digital contracts
Advanced
A 67-minute video from LFCS Seminar: “Ankush Das: Resource aware session types for digital contracts”.
48:47Arjen Rouvoet: Intrinsically typed interpretation of linear references
Advanced
A 49-minute video from LFCS Seminar: “Arjen Rouvoet: Intrinsically typed interpretation of linear references”.
53:45Christine Rizkallah: Facilitating verified software development
Advanced
A 54-minute video from LFCS Seminar: “Christine Rizkallah: Facilitating verified software development”.
1:16:43Francesco Gavazzo: Operational reasoning for modal types: effects and coeffects
Advanced
A 77-minute video from LFCS Seminar: “Francesco Gavazzo: Operational reasoning for modal types: effects and coeffects”.
53:50Gail Weiss: Thinking like Transformers
Advanced
A 54-minute video from LFCS Seminar: “Gail Weiss: Thinking like Transformers”.
51:24Ian Benson: Early algebra, domain specific languages and cryptomorphism
Advanced
A 51-minute video from LFCS Seminar: “Ian Benson: Early algebra, domain specific languages and cryptomorphism”.
57:58Jacques Carette: From structured theories to efficient code in 6 easy steps
Advanced
A 58-minute video from LFCS Seminar: “Jacques Carette: From structured theories to efficient code in 6 easy steps”.
1:01:00Jamie Gabbay: An overview of my claimed proof of consistency of Quine's New Foundations
Advanced
A 61-minute video from LFCS Seminar: “Jamie Gabbay: An overview of my claimed proof of consistency of Quine's New Foundations”.
58:41Jamie Gabbay: What is an EUTxO blockchain?
Advanced
A 59-minute video from LFCS Seminar: “Jamie Gabbay: What is an EUTxO blockchain?”.
1:05:53John Longley, Topics in Computability, Lecture 1: Goedel's System T
Advanced
A 66-minute video from LFCS Seminar: “John Longley, Topics in Computability, Lecture 1: Goedel's System T”.
1:16:52John Longley, Topics in Computability, Lecture 2: The Dialectica Interpretation
Advanced
A 77-minute video from LFCS Seminar: “John Longley, Topics in Computability, Lecture 2: The Dialectica Interpretation”.
1:17:48John Longley, Topics in Computability, Lecture 3: Plotkin's PCF and its Sublanges
Advanced
A 78-minute video from LFCS Seminar: “John Longley, Topics in Computability, Lecture 3: Plotkin's PCF and its Sublanges”.
1:03:59John Longley, Topics in Computability, Lecture 4: Computability Theory of PCF
Advanced
A 64-minute video from LFCS Seminar: “John Longley, Topics in Computability, Lecture 4: Computability Theory of PCF”.
55:55Joël Ouaknine: Holonomic Techniques, Periods, and Decision Problem
Advanced
A 56-minute video from LFCS Seminar: “Joël Ouaknine: Holonomic Techniques, Periods, and Decision Problem”.
51:17Leopoldo Bertossi: Score Based Explanations for Classification Results
Advanced
A 51-minute video from LFCS Seminar: “Leopoldo Bertossi: Score Based Explanations for Classification Results”.
44:28Mark Batty: Modular relaxed dependencies in weak memory concurrency
Advanced
A 44-minute video from LFCS Seminar: “Mark Batty: Modular relaxed dependencies in weak memory concurrency”.
1:01:11Matthew Flatt: Continuation Marks: Design and Implementation
Advanced
A 61-minute video from LFCS Seminar: “Matthew Flatt: Continuation Marks: Design and Implementation”.
51:36Ningning Xie: Perceus: garbage free reference counting with reuse
Advanced
A 52-minute video from LFCS Seminar: “Ningning Xie: Perceus: garbage free reference counting with reuse”.
1:01:57Oleg Kisleyov: Many more predecessors - a representation workout
Advanced
A 62-minute video from LFCS Seminar: “Oleg Kisleyov: Many more predecessors - a representation workout”.
50:07Ori Lahav: Whats decidable about causally consistent shared memory
Advanced
A 50-minute video from LFCS Seminar: “Ori Lahav: Whats decidable about causally consistent shared memory”.
1:04:32Paige Randall North: Directed homotopy type theory
Advanced
A 65-minute video from LFCS Seminar: “Paige Randall North: Directed homotopy type theory”.
54:27Paul Blain Levy: Numbered Recursion: Operational and Denotational Semantics
Advanced
A 54-minute video from LFCS Seminar: “Paul Blain Levy: Numbered Recursion: Operational and Denotational Semantics”.
1:03:16Peter Lumsdaine: General definitions of dependent type theories
Advanced
A 63-minute video from LFCS Seminar: “Peter Lumsdaine: General definitions of dependent type theories”.
53:31Phil Chodrow: Nonbacktracking spectral clustering of nonuniform hypergraphs
Advanced
A 54-minute video from LFCS Seminar: “Phil Chodrow: Nonbacktracking spectral clustering of nonuniform hypergraphs”.
1:00:13Primoz Skraba: Optimisation topology and shapes
Advanced
A 60-minute video from LFCS Seminar: “Primoz Skraba: Optimisation topology and shapes”.
59:20Ron Pressler: the design of user mode threads in Java
Advanced
A 59-minute video from LFCS Seminar: “Ron Pressler: the design of user mode threads in Java”.
58:49Stephanie Weirich: A Dependent Dependency Calculus
Advanced
A 59-minute video from LFCS Seminar: “Stephanie Weirich: A Dependent Dependency Calculus”.
59:11Thorsten Altenkirch: How to define type theories?
Advanced
A 59-minute video from LFCS Seminar: “Thorsten Altenkirch: How to define type theories?”.
1:08:32Usama Sardar: Specification and Formal Analysis of Attestation Mechanisms in Confidential Computing
Advanced
A 69-minute video from LFCS Seminar: “Usama Sardar: Specification and Formal Analysis of Attestation Mechanisms in Confidential Computing”.
49:03Vikraman Choudhury: Continuations and Co exponentials
Advanced
A 49-minute video from LFCS Seminar: “Vikraman Choudhury: Continuations and Co exponentials”.
56:34William J Bowman: Compilation as Multi Language Semantics
Advanced
A 57-minute video from LFCS Seminar: “William J Bowman: Compilation as Multi Language Semantics”.
51:31Yotam Feldman: Property Directed Reachability as Abstract Interpretation in the Monoton
Advanced
A 52-minute video from LFCS Seminar: “Yotam Feldman: Property Directed Reachability as Abstract Interpretation in the Monoton”.