The Fifth International Conference on Applied Category Theory took place at the University of Strathclyde in Glasgow, Scotland on 18-22 July 2022. This conference follows the previous meetings at Leiden (2018), Oxford (2019), MIT (2020, fully online), and Cambridge (2021). The conference comprised 59 contributed talks, a poster session, an industry showcase session, and a session where junior researchers who had attended the Adjoint School presented the results of their research at the school. Information regarding the conference may be found at (https://msp.cis.strath.ac.uk/act2022). The contributions to ACT2022 ranged from pure to applied and included contributions in a wide range of disciplines in science and engineering. ACT2022 included talks in linguistics, functional programming, classical mechanics, quantum physics, probability theory, electrical engineering, epidemiology, thermodynamics, engineering, and logic. ACT2022 was sponsored by Huawei, Protocol Labs, Cambridge Quantum, Conexus, Topos, and SICSA (Scottish Informatics and Computer Science Alliance). Submission to ACT2022 had three tracks: extended abstracts, software demonstrations, and proceedings. The extended abstract and software demonstration submissions had a page limit of 2 pages, and the proceedings track had a page limit of 14 pages. Only papers submitted to the proceedings track were considered for publication in this volume. In total, there were 97 submissions, of which 59 were accepted for presentation and 24 for publication in this volume. Publication of accepted submissions in the proceedings was determined by personal choice of the authors and not based on quality. Each submission received a review from three different members of the programming committee, and papers were selected based on discussion and consensus by these reviewers.
翻译:第五届应用范畴论国际会议于2022年7月18日至22日在苏格兰格拉斯哥的斯特拉斯克莱德大学举行。该会议继莱顿(2018年)、牛津(2019年)、麻省理工学院(2020年,全程线上)和剑桥(2021年)之后举办。会议包括59场受邀报告、一次海报展示、一次行业展示会,以及参与伴生学校的初级研究人员展示其研究成果的专场。会议相关信息可查阅(https://msp.cis.strath.ac.uk/act2022)。ACT2022的投稿涵盖从纯理论到应用范畴的广泛领域,涉及科学与工程学科的多方面贡献。会议报告主题包括语言学、函数式编程、经典力学、量子物理、概率论、电气工程、流行病学、热力学、工程学及逻辑学。ACT2022由华为、Protocol Labs、Cambridge Quantum、Conexus、Topos及SICSA(苏格兰信息学与计算机科学联盟)赞助。会议投稿分为三个轨道:扩展摘要、软件演示及论文集。扩展摘要与软件演示投稿篇幅限2页,论文集轨道限于14页。仅提交至论文集轨道的论文被考虑收入本卷。共收到97份投稿,其中59份被接受作报告,24份被收录至本卷。被接受投稿是否纳入论文集由作者个人选择决定,而非基于质量评判。每份投稿由三位程序委员会成员评审,论文基于讨论及评审共识遴选。