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.
We hope to run the conference as a hybrid event, with physical attendees present in Cambridge, and other participants taking part online. However, due to the state of the pandemic, the possibility of in-person attendance is not yet confirmed. Please do not book your travel or hotel accommodation yet.
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 will be via EasyChair, and is not yet open.
Two types of submissions are accepted, both of which will be reviewed using the same standards:
Papers in the two tracks will be reviewed against the same standards of quality. 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.
Contributions must be submitted in PDF format. Submissions to the Proceedings Track must be prepared with LaTeX, using the EPTCS style files available at http://style.eptcs.org.
The Adjoint School is an annual collaborative research event, in which junior researchers work on cutting-edge topics in applied category theory, guided by expert mentors. Traditionally, after a four month reading course, the participants meet at the venue of the ACT conference for a week of in-person research collaborator. Due to the pandemic, this year the research week will be held online. The students will share the results of their research in a special session during the ACT conference.
For more information see the official school website.