Applied c ategory theory is important to a growing community of researchers who study computer science, logic, type theory, engineering, physics, biology, chemi stry, social science, linguistics and other subjec ts using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Cat egory Theory conference series is to bring researc hers together, strengthen the applied category the ory community, disseminate the latest results, and facilitate further development of the field.
\ nThe conference will be fully hybrid, that is , it will be possible for both the audience and pr esenters to participate remotely over Zoom, if pre ferred.
\nWe accept submissio ns in English of original research papers, talks a bout work accepted/submitted/published elsewhere, and demonstrations of relevant software. Accepted original research papers will be published in a pr oceedings volume. The keynote addresses will be ch osen from the accepted papers. The conference will include an industry showcase event and community meeting. We particularly encourage people from und errepresented groups to submit their work and the organizers are committed to non-discrimination, eq uity, and inclusion.
\nSubmission formats:
\n 1. Extended Abstracts should be submitted
describing the contribution and providing a basis
for determining the topics and quality of the anti
cipated presentation (1-2 pages).
\n 2. Confer
ence Papers should present original, high-quality
work in the style of a computer science conference
paper (up to 14 pages, not counting the bibliogra
phy; detailed proofs may be included in an appendi
x for the convenience of the reviewers).
\n 3.
Software Demonstrations should be submitted in th
e format of an Extended Abstract (1-2 pages) givin
g the program committee enough information to asse
ss the content of the demonstration.