第八届应用范畴论国际会议论文集
范畴论
2026-03-11 v2 计算机科学中的逻辑
摘要
第八届应用范畴论国际会议于 2025 年 6 月 2 日至 6 日在佛罗里达大学举行。会议包括 2 场邀请演讲、28 场投稿演讲、一次线上社区会议、一次一般社区会议，以及 4 位来自 Adjoint School 的 junior researchers 所作报告。会议信息可在 https://gataslab.org/act2025/act2025.html 查找。ACT2025 的投稿包括三类：扩展摘要、软件演示和论文集。接受的论文集投稿已收录于本卷。ACT2025 的投稿涵盖从纯粹到实际的广泛领域，包括计算机科学、概率论、化学、字符串图、博弈语义、量子计算等多方面内容。
引用
@article{arxiv.2603.07595,
title = {Proceedings Eighth International Conference on Applied Category Theory},
author = {Amar Hadzihasanovic and Jean-Simon Pacaud Lemay},
journal= {arXiv preprint arXiv:2603.07595},
year = {2026}
}