The 4th International Conference on Applied Category Theory will take place at the Computer Laboratory of the University of Cambridge on 12-16 July 2021, preceded by the Adjoint School 2021 on 5-9 July. This conference follows previous events at MIT, Oxford and Leiden.

The conference will be a hybrid event, with physical attendees present in Cambridge, and other participants taking part online. Due to the need for physical distancing, the number of in-person registrations will be limited, so please don't book your travel or accommodation until your registration is confirmed.

Applied category theory is a topic of interest for a growing community of researchers, interested in studying many different kinds of systems using category-theoretic tools. These systems are found across computer science, mathematics, and physics, as well as in social science, linguistics, cognition, and neuroscience. The background and experience of our members is as varied as the systems being studied. The goal of Applied Category Theory is to bring researchers in the field together, disseminate the latest results, and facilitate further development of the field.

We accept contributions across the pure-applied spectrum, from pure mathematical research, to case studies describing successful application of category-theoretic tools in industry. However, submissions at the most mathematical end should take care to explain how this work could be applied to a subject outside of pure category theory itself, while submissions at the most applied end should contain a clear explanation of the category theory involved.

To accommodate the publishing conventions of different fields, we accept submissions of both original research papers, and also work accepted/submitted/published elsewhere. Accepted original research papers will be invited for publication in a proceedings volume. The keynote addresses will be drawn from the best accepted papers. The conference will include an industry showcase event.

Submission Guidelines

Submission is now closed.

There are two submission tracks, both of which will be reviewed against the same standards of quality. Submission of work-in-progress is encouraged, but it must be more substantial than a research proposal.

• Proceedings Track. Original contributions of high-quality work consisting of an extended summary, up to 12 pages excluding bibliography, that provides evidence of results of genuine interest, and with enough detail to allow the program committee to assess the merits of the work. Full proofs of mathematical statements are not necessarily required. Accepted submissions in this track will be invited for publication in a proceedings volume. Submissions to this track must be prepared with LaTeX, using the EPTCS style files available at http://style.eptcs.org. Additional appendices beyond the page limit are permitted but may not be read by reviewers, and will not be included in the proceedings.
• Non-Proceedings Track. Submissions presenting high-quality work submitted or published elsewhere, or for which publication in the proceedings is not desired by the authors, may be submitted to this track, provided the work is recent and relevant to the conference. The work may be of any length, but the program committee members may only look at the first 3 pages of the submission, so you should ensure that these pages contain sufficient evidence of the quality and rigour of your work.

Since ACT is an interdisciplinary conference, we use two tracks to accommodate the publishing conventions of different disciplines. For example, those from a Computer Science background may prefer the Proceedings Track, while those from a Mathematics, Physics or other background may prefer the Non-Proceedings Track. However, authors from any background are free to choose the track that they prefer, and submissions may be moved from the Proceedings Track to the Non-Proceedings Track at any time at the request of the authors.

Committees

Program Committee

• Spencer Breiner, NIST
• Daniel Cicala, University of New Haven
• Robin Cockett, University of Calgary
• Bob Coecke, Cambridge Quantum Computing
• Valeria de Paiva, Samsung Research America and University of Birmingham
• Brendan Fong, Massachusetts Institute of Technology
• Tobias Fritz, Perimeter Institute for Theoretical Physics
• Helle Hvid Hansen, Delft University of Technology
• Jules Hedges, University of Strathclyde
• Chris Heunen, University of Edinburgh
• Alex Hoffnung, Bridgewater
• Kohei Kishida, University of Illinois, Urbana-Champaign (chair)
• Bert Lindenhovius, Johannes Kepler University Linz
• Dan Marsden, University of Oxford
• Jade Master, University of California, Riverside
• Koko Muroya, Kyoto University
• Simona Paoli, University of Leicester
• Daniela Petrisan, University of Paris, IRIF
• Mehrnoosh Sadrzadeh, Queen Mary University of London
• Peter Selinger, Dalhousie University
• Michael Shulman, University of San Diego
• David Spivak, Topos Institute
• Josh Tan, University of Oxford
• Dmitry Vagner
• Jamie Vicary, University of Cambridge
• John van de Wetering, Radboud University Nijmegen
• Vladimir Zamdzhiev, LORIA

Local Organizers

• Lukas Heidemann, University of Oxford
• Nick Hu, University of Oxford
• Ioannis Markakis, University of Cambridge
• Alex Rice, University of Cambridge
• Calin Tataru, University of Cambridge
• Jamie Vicary, University of Cambridge