Monday
Tuesday
Wednesday
Thursday
Friday
Chair
James Fairbank
Elena Dimitriadis
Outing
Innocent Obi Jr
Tyler Hanks
9:15-9:45
Plenary Talk:
Peter Bubenik
Adjoint School 1
Compositional Generalization in Reinforcement Learning
(slides)
Adjoint School 3
Structuring Quantum Effects with Monads and Arrows
A categorical framework for Lyapunov theory
Joe Moeller
9:45-10:15
Adjoint School 2
Homotopy of Graphs
Adjoint School 4
Categorical Metric Structures for Numerical Analysis
Lyapunov's theorem for coalgebras
Sébastien Mattenet
10:15-10:45
Break
Laura Scull
Morgan Rogers
Ruben Van Belle
JS PL
10:45-11:15
Categorical Semantics of Higher-Order Message Passing
Melika Norouzbeygi
Online Community Meeting
Why quantum state verification cannot be both efficient and secure: a categorical approach
Diana Kessler
Conformance Games for Graded Semantics
Jonas Forster
11:15-11:45
Idempotent Arboreal Covers
Gabriel Goren-Roig
Group Photo @ Marston Library
Campus Tour by James
Clock systems for stochastic and non-deterministic categorical systems theories
Owen Lynch
11:45-13:00
Lunch
Mike Johnson
Matt Cuffaro
Wilmer Leal
Evan Patterson
13:00-13:30
AlgebraicJulia: Compositional Development of Compositional Mathematics Software
Evan Patterson, James Fairbanks
Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
Keri D’Angelo
Compositional Semantics of Convex Optimization
HyperSyn: macro morphism metaprogramming (software demonstration)
Paul Wilson
13:30-14:00
CatColab: formal, interoperable, conceptual modeling
System Modeling and Simulation via Constraint Hypergraphs
John Morris
Visual Logic Interface (software demonstration)
CB Wells
(slides/recording)
14:00-14:30
Dorette Pronk
Richard Wood
Eigil Rischel
14:30-15:00
Convex duality made difficult
A universal perspective on probability monads
Victor Bloch
Partializations of Markov categories
Areeb Shah Mohammed
A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Guillaume Sabbagh
15:00-15:30
Algebras of the Giry monad
Eilenberg-Moore categories of Markov monads
Rob Cornish
Empirical Distributions and Strong Laws of Large Numbers in Categorical Probability
Tobias Fritz
Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
Marius Furter
15:30-16:00
Gioele Zardini
Max Fan
16:00-16:30
ACT-Informed Data Science: A Case Study in Public Health Research
Jacob Zelko, Matt Cuffaro
A Category Theoretic View of Algebraic Artificial Chemistries
Joe Pratt-Johns
Simplicial effects as generalization of effect algebroids
Cihan Okay
Categorical Calculus and Algebra for Multi-Model Data
Jiaheng Lu
16:30-17:00
A Categorical Formulation of Dose-Escalation Trial Protocols Extending Naturally to Admit Titration
David Norris
Gradual Semantics of Abstract Argumentation, categorically through Prisms
Juan Afanador
Simplicial methods in the resource theory of contextuality
17:00-18:00
Community Meeting
(slides/minutes)
(Anonymous Feedback Form)