8th International Conference on Applied Category Theory

About

The 8th International Conference on Applied Category Theory (ACT) will take place together at the University of Florida on June 2-6, 2025. The conferences will be preceded by the Adjoint School on May 26-30, 2025.

For more information on the ACT series, see here.

Applied Category Theory 2025

Registration is now open!

The call for participation (CFP) has been posted

Important dates

All deadlines are AoE (Anywhere on Earth).

  • February 26: Title and brief abstract submission
  • March 3: Paper submission
  • April 7: Notification of authors
  • May 19: Registration deadline and Pre-proceedings ready versions
  • June 2-6: Conference

Venue

The conference will be held at the UF Reitz Union in the Career Connection Center

J. Wayne, Reitz Student Union, 686 Museum Rd Suite 1300, Gainesville, FL 32603

Conference Info

This year, lunch and coffee will be provided for attendees. This will understandably mean that there will now be registration fees. We are using a tiered system based on occupation category:

  • Students $140
  • Academics $300
  • Industry professionals $700

Travel and registration assistance will be available to students depending on final registration numbers and funds available. Please follow this link for assistance applications.

Due to technological constraints, only the keynote addresses, and the community meeting will be accessible via Zoom. Recordings of presentations will be made available after the conference on a best-effort basis. For exceptional circumstances in which a presenter cannot attend in person, submissions may be published in conference proceedings alone, and/or a recorded presentation may be made available after the conference. If circumstances outside your control prohibit you from presenting your work in person, please contact conference organizers.

Adjoint School

More information about the adjoint school can be found at adjointschool.com.

LGBTQ+ Statement

The 2025 conference for Applied Category Theory will be held at the University of Florida in Gainesville, Florida. As organizers, we understand that the current political climate and legal policies of the state of Florida do not instill a sense of comfort and safety in individuals from marginalized communities, especially the LGBTQ+ community. However, the organizers, University, and local community are committed to creating a welcoming environment for all. Along with the ACT community, Gainesville, FL is a kind and welcoming place for individuals of all backgrounds and experiences. Organizers and attendees of ACT 2025 will not tolerate any abuse or discrimination, direct or indirect, against members of the LGBTQ+ community. This event will be an opportunity to learn from each other, build connections and collaborations, and discuss our research and pedagogy in applied category theory. We welcome all members of the ACT community to participate in this endeavor, regardless of gender, sexuality, race, religion, etc.

Inclusive Spaces Resources

Please refer to the UF Libraries page for finding inclusive spaces on campus. Here is a map of inclusive spaces on campus.

Organizers can confirm that most buildings on campus, including the one the conference activities take place in, have multiple accessible, single-occupancy restrooms. The available campus map also shows all locations of single-occupant restrooms, ADA accessible routes between buildings, bus stops, and more via the filter options in the top left corner of the map.

Organizers

Scheduled Presentations

Category Author(s) Title
Talk Fabian Wiesner, Ziad Chaoui, Diana Kessler, Anna Pappa and Martti Karvonen Why quantum state verification cannot be both efficient and secure: a categorical approach
Software Demo Christian Wells Visual Logic Interface (software demonstration)
Talk John Morris, Gregory Mocko and John Wagner System Modeling and Simulation via Constraint Hypergraphs
Talk Aziz Kharoof and Cihan Okay Simplicial methods in the resource theory of contextuality
Talk Cihan Okay, Victor Castillo and Walker Stern Simplicial effects as generalization of effect algebroids
Talk Tiffany Duneau, Saskia Bruhn, Gabriel Matos, Tuomas Laakkonen, Katerina Saiti, Anna Pearson, Konstantinos Meichanetzidis and Bob Coecke Scalable and interpretable quantum natural language processing: an implementation on trapped ions
Talk Areeb Shah Mohammed Partializations of Markov categories
Talk Paolo Perrone Markov categories with random variables
Talk Sébastien Mattenet, Joe Moeller and Aaron Ames Lyapunov’s theorem for coalgebras
Talk Gabriel Goren-Roig Idempotent Arboreal Covers
Software Demo Paul Wilson HyperSyn: macro morphism metaprogramming (software demonstration)
Talk Juan Afanador Gradual Semantics of Abstract Argumentation, categorically through Prisms
Talk Paolo Perrone, Tobias Fritz, Tomáš Gonda, Antonio Lorenzin and Areeb Shah Mohammed Empirical Distributions and Strong Laws of Large Numbers in Categorical Probability
Talk Rob Cornish Eilenberg-Moore categories of Markov monads
Proceedings Keri D’Angelo and Sophie Libkind Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
Proceedings Eigil Rischel Convex duality made difficult
Talk Jonas Forster, Lutz Schröder and Paul Wild Conformance Games for Graded Semantics
Talk Tyler Hanks, Matthew Klawonn, Matthew Hale and James Fairbanks Compositional Semantics of Convex Optimization
Proceedings Marius Furter, Yujun Huang and Gioele Zardini Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
Talk Owen Lynch, Eigil Rischel, David Jaz Myers and Sam Staton Clock systems for stochastic and non-deterministic categorical systems theories
Proceedings Robin Cockett and Melika Norouzbeygi Categorical Semantics of Higher-Order Message Passing
Proceedings Jiaheng Lu Categorical Calculus and Algebra for Multi-Model Data
Software Demo Kevin Carlson, Owen Lynch, Kris Brown and Evan Patterson CatColab: formal, interoperable, conceptual modeling
Talk Ruben Van Belle Algebras of the Giry monad
Software Demo James Fairbanks and Evan Patterson AlgebraicJulia: Compositional Development of Compositional Mathematics Software
Talk Jacob Zelko, Matt Cuffaro and Sean Wu ACT-Informed Data Science: A Case Study in Public Health Research
Talk Victor Bloch and Tobias Fritz A universal perspective on probability monads
Talk Jorge Soto-Andrade and Juan-Carlos Letelier A stochastic mapping approach to the construction of objects according to the biology of cognition
Talk Joe Moeller, Aaron Ames and Paulo Tabuada A categorical framework for Lyapunov theory
Proceedings Anna Matsui, Innocent Obi, Guillaume Sabbagh, Leo Torres, Diana Kessler, Juan F. Meleiro and Koko Muroya A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Proceedings Joe Pratt-Johns, Toby St Clere Smithe, Chris Guiver, Kevin Hughes and Peter Andras A Category Theoretic View of Algebraic Artificial Chemistries
Talk David Norris A Categorical Formulation of Dose-Escalation Trial Protocols Extending Naturally to Admit Titration
No matching items