8th International Conference on Applied Category Theory - University of Florida, June 2-6, 2025

There are two papers to be presented here that caught my attention:

• Dependent Directed Wiring Diagrams for Composing Instantaneous Systems by Keri D’Angelo and Sophie Libkind. See Using Pipewire to Make A Music Synthesizer.
• Actegories and Copowers with Applications to Message Passing Semantics by Robin Cockett and Melika Norouzbeygi. (See Categorical Semantics of Higher-Order Message Passing for the background and Compiler Coffee Club - Interning Cyclic Types in a Compiler).

See the conference web site https://gataslab.org/act2025/act2025.