You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Jade Master (Feb 25 2022 at 09:44):5th Annual International Conference on Applied Category Theory (ACT2022)
July 18–22, 2022
https://msp.cis.strath.ac.uk/act2022/
The Fifth International Conference on Applied Category Theory will take place at the University of Strathclyde from 18 to 22 July 2022, preceded by the Adjoint School 2022 from 11 to 15 July. This conference follows previous events at Cambridge (UK), Cambridge (MA), Oxford and Leiden.
Applied category theory is important to a growing community of researchers who study computer science, logic, engineering, physics, biology, chemistry, social science, 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 keynote addresses will be chosen from the accepted papers. 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.
Submission formats:
Extended Abstracts should be submitted describing the contribution and providing a basis for determining the topics and quality of the anticipated presentation (1-2 pages). These submissions will be adjudicated for inclusion as a talk at the conference. Such work should include references to any longer papers, preprints, or manuscripts providing additional details.
Conference Papers should present original, high-quality work in the style of a computer science conference paper (up to 14 pages, not counting the bibliography; detailed proofs may be included in an appendix for the convenience of the reviewers). Such submissions should not be an abridged version of an existing journal article (see item 1) although pre-submission Arxiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings.
Software Demonstrations should be submitted in the format of an Extended Abstract (1-2 pages) giving the program committee enough information to assess the content of the demonstration. We are particularly interested in software that makes category theory research easier, or uses category theoretic ideas to improve software in other domains.
Extended abstracts and conference papers should be prepared with LaTeX. For conference papers please use the EPTCS style files available at <http://style.eptcs.org>. The submission link is https://easychair.org/conferences/?conf=act2022.
IMPORTANT DATES
The following dates are all in 2022, and Anywhere On Earth.
- Submission Deadline: Monday 9 May
- Author Notification: Tuesday 7 June
- Camera-ready version due: Tuesday 28 June
- Adjoint School: Monday 11 to Friday 15 July
- Main Conference: Monday 18 to Friday 22 July
CONFERENCE FORMAT
We hope to run the conference as a hybrid event with talks recorded or streamed for remote participation. However, due to the state of the pandemic, the possibility of
in-person attendance is not yet confirmed. Please be mindful of changing conditions when booking travel or hotel accommodations.
FINANCIAL SUPPORT
Limited financial support will be available. Please contact the organisers for more information.
PROGRAM COMMITTEE
Jade Master, University of Strathclyde (Co-chair)
Martha Lewis, University of Bristol (Co-chair)
The full program committee will be announced soon.
ORGANISING COMMITTEE
Jules Hedges, University of Strathclyde
Jade Master, University of Strathclyde
Fredrik Nordvall Forsberg, University of Strathclyde
James Fairbanks, University of Florida
STEERING COMMITTEE
John Baez, University of California, Riverside
Bob Coecke, Cambridge Quantum
Dorette Pronk, Dalhousie University
David Spivak, Topos Institute
Jules Hedges (Feb 25 2022 at 10:33):I'll draw attention to the one major change from previous years, which is the new submission track for tool demos. It's the same submission format as an extended abstract, but officially separated in order to be a giant signal to reviewers that they shouldn't try to review it like a paper. So it should be easier than in previous years to get in practical work that's hard or annoying to fit into the format of a research paper