Abstract: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 (<a class="link-external link-https" href="https://msp.cis.strath.ac.uk/act2022" rel="external noopener nofollow">this https URL</a>). 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.

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications

Proceedings Fifth International Conference on Applied Category Theory

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems

Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis

Proceedings 12th International Workshop on Theorem proving components for Educational software

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

Proceedings Fifth International Workshop on Classical Logic and Computation

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Industrial-Strength Documentation for ACL2

Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications

Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

Proceedings Seventh International Workshop on Classical Logic and Computation

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming

Proceedings of the Twentieth International Conference on Quantum Physics and Logic

Proceedings 38th International Conference on Logic Programming