第八届应用范畴论国际会议会议纪要
Proceedings Eighth International Conference on Applied Category Theory
AI总结：
第八届应用范畴论国际会议汇集了来自不同学科的学者，涵盖纯理论与应用，展示了包括计算机科学、概率论、化学、量子计算等领域的最新研究成果。
摘要：
第八届应用范畴论国际会议于2025年6月2日至6日在佛罗里达大学举行。会议包括2场特邀讲座、28场提交讲座、一场在线社区会议、一场一般社区会议以及4场由参加Adjoint学校的研究人员进行的讲座，以展示他们在学校的研究成果。有关会议的信息可在https://gataslab.org/act2025/act2025.html找到。提交至ACT2025有三个轨道：扩展摘要、软件演示和会议论文。接受会议论文轨道的提交包含在本卷中。ACT2025的贡献从纯理论到应用均有涵盖，并涉及广泛的不同学科。ACT2025包括与计算机科学、概率论、化学、弦图、游戏语义、量子计算等相关的讲座。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
