[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
6th Annual International Conference on Applied Category Theory (ACT 2023)
July 31 – August 4, 2023
https://urldefense.com/v3/__https://act2023.github.io/__;!!IBzWLUs!XwrtRBB03nIviYPa7EGr9EE3WJxN7_b4emEpglT5aaTEeA3CokTiE_3r6FHSSKTnQiy15h5U-gCdMh8KkcB5sSZwCzs8PSv8KxW0pA$
The Sixth International Conference on Applied Category Theory will take place
at the University of Maryland from 31 July to 4 August 2023, preceded by the
Adjoint School 2023 from 24 to 28 July. This conference follows previous events
at Strathclyde (UK), Cambridge (UK), Cambridge (MA), Oxford (UK) and Leiden
(NL).
Applied category theory is important to a growing community of researchers who
study computer science, logic, engineering, physics, biology, chemistry, social
science, systems, linguistics and other subjects using category-theoretic
tools. 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, strengthen the applied category theory
community, disseminate the latest results, and facilitate further development
of the field.
SUBMISSIONS
We accept submissions in English of original research papers, talks about work
accepted/submitted/published elsewhere, and demonstrations of relevant
software. Accepted original research papers will be published in a proceedings
volume. The conference will include an industry showcase event and community
meeting. We particularly encourage people from underrepresented groups to
submit their work and the organizers are committed to non-discrimination,
equity, and inclusion.
Original research papers intended for conference proceedings should present
original, high-quality work in the style of a computer science conference paper
(up to 12 pages, not counting the bibliography; more detailed parts of proofs
may be included in an appendix for the convenience of the reviewers). Please
use the EPTCS style files available at
<https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!XwrtRBB03nIviYPa7EGr9EE3WJxN7_b4emEpglT5aaTEeA3CokTiE_3r6FHSSKTnQiy15h5U-gCdMh8KkcB5sSZwCzs8PSt46i7UhQ$
>. Such submissions should not be an abridged version of an existing journal
article although pre-submission arXiv preprints are permitted. These
submissions will be adjudicated for both a talk and publication in the
conference proceedings.
IMPORTANT DATES
The following dates are all in 2023, and Anywhere On Earth.
- Submission Deadline: Wednesday 3 May
- Author Notification: Wednesday 7 June
- Camera-ready version due: Tuesday 27 June
- Conference begins: 31 July
PROGRAM COMMITTEE
Sam Staton (co-chair)
Christina Vasilakopoulou (co-chair)
Benedikt Ahrens Mike Mislove
Mario Álvarez Picallo Sean Moss
Matteo Capucci David Jaz Myers
Titouan Carette Susan Niefield
Bryce Clarke Jason Parker
Carmen Constantin Evan Patterson
Geoffrey Cruttwell Paige Randall North
Giovanni de Felice Sophie Raynor
Bojana Femic Emily Roff
Marcelo Fiore Morgan Rogers
Fabio Gadducci Mario Román
Zeinab Galal Maru Sarazola
Richard Garner Bas Spitters
Neil Ghani Sam Staton
Tamara von Glehn Dario Stein
Amar Hadzihasanovic Eswaran Subrahmanian
Masahito Hasegawa Walter Tholen
Martha Lewis Christina Vasilakopoulou
Sophie Libkind Christine Vespa
Rory Lucyshyn-Wright Simon Willerton
Sandra Mantovanni Glynn Winskel
Jade Master Vladimir Zamdzhiev
Konstantinos Meichanetzidis Fabio Zanasi
Stefan Milius
ORGANIZING COMMITTEE
James Fairbanks, University of Florida
Joseph P. Moeller, National Institute for Standards and Technology, USA
Sam Staton, Oxford University
Priyaa Varshinee Srinivasan, National Institute for Standards and Technology,
USA
Christina Vasilakopoulou, National Technical University of Athens
STEERING COMMITTEE
John Baez, University of California, Riverside
Bob Coecke, Cambridge Quantum
Dorette Pronk, Dalhousie University
David Spivak, Topos Institute
