Complexity Theory Courses
ACM SIGPLAN via YouTube Solving Two-Player Games under Progress Assumptions
ACM SIGPLAN via YouTube Deciding Asynchronous Hyperproperties for Recursive Programs
ACM SIGPLAN via YouTube The Complex(ity) Landscape of Checking Infinite Descent
ACM SIGPLAN via YouTube Orthologic with Axioms - Proof Theory and Algorithms
ACM SIGPLAN via YouTube Positive Almost-Sure Termination: Complexity and Proof Rules
ACM SIGPLAN via YouTube Validation of Modern JSON Schema: Formalization and Complexity
ACM SIGPLAN via YouTube Subgroup Tests and the Aldous-Lyons Conjecture
Institute for Advanced Study via YouTube The Parallelism Tradeoff: Understanding Transformer Expressivity Through Circuit Complexity
Simons Institute via YouTube Subgroup Tests and the Aldous-Lyons Conjecture
Institute for Advanced Study via YouTube