Proceedings Eighth International Conference on Applied Category Theory

TL;DR

The conference showcased diverse applied category theory research across disciplines, including computer science, quantum computation, and chemistry, highlighting both theoretical and practical advances in the field.

Contribution

This proceedings volume presents a wide array of recent applied category theory research, including new theoretical frameworks and practical applications across multiple scientific disciplines.

Findings

Diverse applications of category theory in computer science and quantum physics

Integration of pure and applied research in category theory

Presentation of new software tools and methods in the field

Abstract

The Eighth International Conference on Applied Category Theory took place at the University of Florida on June 2-6 2025. The conference consisted of 2 plenary invited talks, 28 contributed talks, an online community meeting, a general community meeting, and 4 talks by junior researchers who attended the Adjoint School to present the results of their research at the school. Information regarding the conference may be found at https://gataslab.org/act2025/act2025.html. Submission to ACT2025 had three tracks: extended abstracts, software demonstrations, and proceedings. Accepted proceedings track submissions are included in this volume. The contributions to ACT2025 ranged from pure to applied and included contributions in a wide range of disciplines. ACT2025 included talks related to computer science, probability theory, chemistry, string diagrams, game semantics, quantum computation, and more.