<div dir="ltr">FINAL CALL FOR PAPERS<br><br>Fourth Annual International Conference on<br>Applied Category Theory (ACT 2021)<br><br>12 - 16 July, 2021, Cambridge, United Kingdom (and online)<br><br><a href="https://www.cl.cam.ac.uk/events/act2021">https://www.cl.cam.ac.uk/events/act2021</a><br><br>             * * *<br><<< DEADLINE EXTENSION: Due to popular demand, the submission deadline<br>has been extended to Wednesday 12 May. >>><br><br><<< UPDATE: Our plans to run ACT 2021 as one of the first physical<br>conferences post-lockdown are progressing well. Consider joining us in<br>person in Cambridge! We also have financial support available for<br>students and junior researchers. >>><br><br>The Fourth International Conference on Applied Category Theory will<br>take place at the Computer Laboratory of the University of Cambridge<br>on 12-16 July, 2021, preceded by the Adjoint School 2021 on 5-9 July.<br>This conference follows previous events at MIT, Oxford and Leiden.<br><br>Applied category theory is a topic of interest for a growing community<br>of researchers, interested in studying many different kinds of systems<br>using category-theoretic tools. These systems are found across computer<br>science, mathematics, and physics, as well as in social science,<br>linguistics, cognition, and neuroscience. The background and experience<br>of our members is as varied as the systems being studied. The goal of<br>the Applied Category Theory conference series is to bring researchers<br>together, disseminate the latest results, and facilitate further<br>development of the field.<br><br>We accept submissions of both original research papers, and work<br>accepted/submitted/ published elsewhere. Accepted original research<br>papers will be invited for publication in a proceedings volume. The<br>keynote addresses will be drawn from the best accepted papers. The<br>conference will include an industry showcase event.<br><br>We hope to run the conference as a hybrid event, with physical<br>attendees present in Cambridge, and other participants taking part<br>online. However, due to the state of the pandemic, the possibility of<br>in-person attendance is not yet confirmed. Please do not book your<br>travel or hotel accommodation yet.<br><br><br>** FINANCIAL SUPPORT **<br><br>We are able to offer financial support to PhD students and junior<br>researchers. Full guidance is on the webpage.<br><br><br>** IMPORTANT DATES (all in 2021) **<br><br>  - Submission Deadline: Wednesday 12 May (previously Monday 10 May)<br>  - Author Notification: Monday 7 June<br>  - Financial Support Application Deadline: Monday 7 June<br>  - Financial Support Notification: Tuesday 8 June<br>  - Priority Physical Registration Opens: Wednesday 9 June<br>  - Ordinary Physical Registration Opens: Monday 13 June<br>  - Reserved Accommodation Booking Deadline: Monday 13 June<br>  - Adjoint School: Monday 5 to Friday 9 July<br>  - Main Conference: Monday 12 to Friday 16 July<br><br><br>** SUBMISSIONS **<br><br>The following two types of submissions are accepted:<br><br>    - Proceedings Track. Original contributions of high-quality work<br>consisting of an extended summary, up to 12 pages excluding<br>bibliography, that provides evidence of results of genuine interest,<br>and with enough detail to allow the program committee to assess the<br>merits of the work. Full proofs of mathematical statements are not<br>necessarily required. Accepted submissions in this track will be<br>invited for publication in a proceedings volume. Additional appendices<br>beyond the page limit are permitted but may not be read by reviewers,<br>and will not be included in the proceedings.<br><br>    - Non-Proceedings Track. Submissions presenting high-quality work<br>submitted or published elsewhere, or for which publication in the<br>proceedings is not desired by the authors, may be submitted to this<br>track, provided the work is recent and relevant to the conference. The<br>work may be of any length, but the program committee members may only<br>look at the first 3 pages of the submission, so you should ensure that<br>these pages contain sufficient evidence of the quality and rigour of<br>your work.<br><br>Papers in the two tracks will be reviewed against the same standards<br>of quality. Since ACT is an interdisciplinary conference, we use two<br>tracks to accommodate the publishing conventions of different<br>disciplines. For example, those from a Computer Science background may<br>prefer the Proceedings Track, while those from a Mathematics, Physics<br>or other background may prefer the Non-Proceedings Track. However,<br>authors from any background are free to choose the track that they<br>prefer, and submissions may be moved from the Proceedings Track to the<br>Non-Proceedings Track at any time at the request of the authors.<br><br>Contributions must be submitted in PDF format. Submissions to the<br>Proceedings Track must be prepared with LaTeX, using the EPTCS style<br>files available at <<a href="http://style.eptcs.org">http://style.eptcs.org</a>>.<br><br>The submission link will soon be available on the ACT2021 web page:<br><<a href="https://www.cl.cam.ac.uk/events/act2021">https://www.cl.cam.ac.uk/events/act2021</a>><br><br><br>** PROGRAMME COMMITTEE **<br><br>Chair:<br>- Kohei Kishida, University of Illinois, Urbana-Champaign<br><br>Members:<br>- Richard Blute, University of Ottawa<br>- Spencer Breiner, NIST<br> - Daniel Cicala, University of New Haven<br> - Robin Cockett, University of Calgary<br> - Bob Coecke, Cambridge Quantum Computing<br> - Geoffrey Cruttwell, Mount Allison University<br> - Valeria de Paiva, Samsung Research America and University of Birmingham<br> - Brendan Fong, Massachusetts Institute of Technology<br> - Jonas Frey, Carnegie Mellon University<br> - Tobias Fritz, Perimeter Institute for Theoretical Physics<br> - Fabrizio Romano Genovese, Statebox<br> - Helle Hvid Hansen, University of Groningen<br> - Jules Hedges, University of Strathclyde<br> - Chris Heunen, University of Edinburgh<br> - Alex Hoffnung, Bridgewater<br> - Martti Karvonen, University of Ottawa<br> - Kohei Kishida, University of Illinois, Urbana-Champaign (chair)<br> - Martha Lewis, University of Bristol<br> - Bert Lindenhovius, Johannes Kepler University Linz<br> - Ben MacAdam, University of Calgary<br> - Dan Marsden, University of Oxford<br> - Jade Master, University of California, Riverside<br> - Joe Moeller, NIST<br> - Koko Muroya, Kyoto University<br> - Simona Paoli, University of Leicester<br> - Daniela Petrisan, Université de Paris, IRIF<br> - Mehrnoosh Sadrzadeh, University College London<br> - Peter Selinger, Dalhousie University<br> - Michael Shulman, University of San Diego<br> - David Spivak, MIT and Topos Institute<br> - Joshua Tan, University of Oxford<br> - Dmitry Vagner<br> - Jamie Vicary, University of Cambridge<br> - John van de Wetering, Radboud University Nijmegen<br> - Vladimir Zamdzhiev, Inria, LORIA, Université de Lorraine<br> - Maaike Zwart<br></div>