[TYPES/announce] CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE

[Nick Hu]

CALL FOR PAPERS

Fourth Annual International Conference on
Applied Category Theory (ACT 2021)

12 - 16 July, 2021, Cambridge, United Kingdom (and online)

https://www.cl.cam.ac.uk/events/act2021

            * * *

The Fourth 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.

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
the Applied Category Theory conference series is to bring researchers
together, disseminate the latest results, and facilitate further
development of the field.

We accept submissions of both original research papers, and 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.

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.


** IMPORTANT DATES (all in 2021) **

   - Submission of contributed papers:  Monday 10 May

   - Acceptance/rejection notification:  Monday 7 June

   - Adjoint school:  Monday 5 July to Friday 9 July

   - Main conference:  Monday 12 July to Friday 16 July


** SUBMISSIONS **

The following two types of submissions are accepted:

   - Proceedings Track. Original contributions of high-quality work
consisting of an extended abstract, up to 12 pages, that provides evidence of
results of genuine interest, and with enough detail to allow the program
committee to assess the merits of the work. Submission of
work-in-progress is encouraged, but it must be more substantial than a
research proposal.

   - Non-Proceedings Track. Descriptions of high-quality work submitted or
published elsewhere will also be considered, 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.

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 submission link will soon be available on the ACT2021 web page:
<https://www.cl.cam.ac.uk/events/act2021>


** PROGRAMME COMMITTEE **

Chair: Kohei Kishida, University of Illinois, Urbana-Champaign

The full programme committee will be announced soon.


** 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


** STEERING COMMITTEE **

John Baez, University of California Riverside and Centre for Quantum
Technologies
Bob Coecke, Cambridge Quantum Computing
David Spivak, Topos Institute