01:25:45

Arezoo Islami: "Unravelling the 'Unreasonable Effectiveness' of Mathematics"

55:00

Carl Miller: "Graphical Methods in Quantum Cryptography"

59:41

Jason Gross: "Compact Proofs: Measuring Quality of Understanding with a Compression-Based Metric"

01:04:05

Amélia Liao: "Cubical types for the working formalizer"

01:00:41

Seth Frey: "Online communities as model systems for commons governance"

01:00:10

Chris Fields: "What is the Identity operator?"

01:03:50

Christine Tasson: "Semantics for Reactive Probabilistic Programming"

01:15:50

Spencer Breiner: "Polynomial Interfaces"

01:05:47

Cyrus Omar: "Totally Live Programming and Proving in Hazel"

01:10:50

Will Crichton: "How to Make Mathematicians Into Programmers (And Vice Versa)"

59:29

Arthur J Parzygnat: "A generalization of inversion using Bayes' rule with applications to quantum"

01:00:50

Fabio Gadducci: "From gs-monoidal to cartesian categories: a structural analysis"

01:00:16

Mason Porter: "Topological Data Analysis of Spatial Systems"

53:30

Bartosz Milewski: "Parametric Profunctor Preoptics"

59:41

Alex Simpson: "Three toposes for probability and randomness"

01:11:35

Steve Vickers: "The Fundamental Theorem of Calculus: point-free"

01:03:05

Nicola Gambino: "Monoidal bicategories, differential linear logic, and analytic functors"

59:05

Elena Di Lavore: "Effectful trace semantics via effectful streams"

01:04:41

Eugenio Moggi: "Categories of Classes for Collection Monads"

01:06:21

Filippo Bonchi: "Diagrammatic Algebra of First Order Logic"

01:00:49

Gioele Zardini: "Co-Design of Complex Systems: From Autonomy to Future Mobility"

01:00:01

Edward Lee: "Certainty or Intelligence: Pick One!"

01:15:21

Po-Shen Loh: "Uniting Game Theory, Math Stars, and Actors To Build Human Intelligence in the AI Age"

01:08:11

Steven Clontz: "Sociotechnical infrastructure for mathematics research"

01:08:01

Joachim Kock: "Polynomial functors — from elementary arithmetic to infinity-operads"

01:35:52

André Joyal: "Free bicompletion of categories revisited (part 1)"

56:15

Susan Niefield: "Cauchy Completeness and Adjoints in Double Categories"

01:20:31

Juan Pablo Vigneaux: "Cohomological aspects of information"

01:24:40

John Cartmell: "Aspects of a Mathematical Theory of Data"

01:01:56

Robert Paré: "The functorial difference operator"

01:14:11

André Joyal: "Higher topos theory and Goodwillie Calculus"

01:00:56

Julie Bergner: "Models for (∞,n)-categories with discreteness conditions"

01:28:21

Maurice Chiodo: "Normalising ethical reasoning for mathematicians"

59:51

Brandon Shapiro: "(Higher) category theory in Cat^#"

01:09:26

Tom Leinster: "Entropy and diversity: the axiomatic approach"

59:15

Simona Paoli: "Simplicial delta versus fat delta in higher category theory"

01:35:10

Dominic Orchard: "Programming for the Planet"

59:36

Jonathan Sterling: "Synthetic Domains in the 21st Century"

01:27:10

Michael Levin: "Emergent Selves and Unconventional Intelligences"

01:18:06

Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"

01:05:15

Nat Shankar: "Abstraction Engineering with the Prototype Verification System (PVS)"

01:01:06

Nathaniel Osgood: "Towards Compositional System Dynamics for Public Health"

01:01:05

Jared Culbertson: "Applying Categorical Thinking to Practical Domains"

01:05:36

Taco Cohen: "Categorical Causality & Systems Theory"

01:02:45

Tom Hirschowitz: "Abstraction in programming language theory: Howe's method"

01:05:06

Alex Martsinkovsky: "How to interpret cotorsion"

58:45

Clark Barrett: "Proof Certificates in Satisfiability Modulo Theories"

01:02:15

Chad Giusti: "Toward a useful category for persistent homology"

01:03:40

Michael Barany: "How Categories Come to Matter"

01:00:26

Georges Gonthier: "Foothills and cathedrals: organising the libraries behind big proofs"

58:30

Davide Trotta: "Generalized existential completions and applications"

34:25

Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"

59:21

Simon Willerton: "Metric spaces, entropic spaces and convexity"

50:56

Christina Vasilakopoulou: "Dual algebraic structures and enrichment"

01:40:10

Riehl, Bradley, Cheng, Dancstep, and Lugg: "Category theory outreach panel"

01:01:30

David Corfield: "Philosophical perspectives on category theory"

01:00:26

Justin Curry: "Algebraic and Geometric Models for Space Networking"

01:00:21

Sergey Goncharov: "Towards a Higher-Order Mathematical Operational Semantics"

01:06:31

Prakash Panangaden: "Nuclear ideals in monoidal *-categories"

01:16:15

Paige North: "Fuzzy type theory"