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 15th International Conference on Automata and Formal Languages

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification

Australasian Conference on Information Systems (ACIS) 2015 Proceedings

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

Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology & Computing Intelligence

Pre-proceedings of the DECLARE 2019 Conference

Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Software Engineering & Digital Media Technology

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems

Proceedings Fifth International Conference on Applied Category Theory

Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software

Proceedings Twelfth 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 of the Fifteenth Conference on Uncertainty in Artificial Intelligence (1999)

Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)

Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems

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

Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (2009)

07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures.

Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (1989)

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice