From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: **** X-Spam-Status: No, score=4.2 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, FORGED_GMAIL_RCVD,FREEMAIL_FROM,FREEMAIL_REPLYTO_END_DIGIT, LOCALPART_IN_SUBJECT,RDNS_NONE,SPOOFED_FREEMAIL, SPOOFED_FREEMAIL_NO_RDNS,SPOOF_GMAIL_MID,TO_NAME_SUBJ_NO_RDNS, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 9882 invoked from network); 3 Apr 2023 21:02:58 -0000 Received: from unknown (HELO smtp2.mta.ca) (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 3 Apr 2023 21:02:58 -0000 Received: from rr.mta.ca ([198.164.44.159]:44978) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pjRIC-0004eL-OZ; Mon, 03 Apr 2023 18:00:44 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pjRHq-00025A-Fa for categories-list@rr.mta.ca; Mon, 03 Apr 2023 18:00:22 -0300 MIME-Version: 1.0 From: ACT 2023 Date: Fri, 31 Mar 2023 15:30:04 +0300 Subject: categories: ACT 2023: second announcement To: categories@mta.ca Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Precedence: bulk Reply-To: ACT 2023 Message-Id: 6th Annual International Conference on Applied Category Theory (ACT2023) July 31 - August 4, 2023 https://act2023.github.io/ 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. Submission formats: 1. *Conference Papers* should present original, high-quality work in the style of a computer science conference paper (up to 12 pages, not counti= ng the bibliography; more detailed parts of 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 although pre-submission arXiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceeding= s. 2. *Talk proposals* not to be published in the proceedings, e.g. about work accepted/submitted/published elsewhere, should be submitted as abstracts, one or two pages long. Authors are encouraged to include link= s to any full versions of their papers, preprints or manuscripts. The purp= ose of the abstract is to provide a basis for determining the topics and quality of the anticipated presentation. 3. *Software demonstration proposals* should also be submitted as abstracts, one or two pages. The purpose of the abstract is to provide t= he program committee with enough information to assess the content of the demonstration. The original conference papers will ultimately be published with EPTCS, and authors are advised to use the style files available at style.eptcs.org. DATES AND DEADLINES Please submit your papers and talk proposals at: OpenReview . You will need to create an account or log in. Please tell OpenReview as much as you can about yourself, and your past papers, because it uses this to automatically calculate conflict of interest. (Reviewing is single-blind, and we are not making public the reviews, reviewer names, the discussions nor the list of under-review submissions. This is the same as previous instances of ACT.) The exact deadline time on these dates is given by *anywhere on earth* (AoE). *Papers and Abstracts Due* 3 May 2023 *Author Notification* 7 June 2023 *Conference* 31 July =E2=80=93 4 August 2023 Limited financial support will be available for travel. Priority will be given to people with financial need and those giving presentations. We are also aware that not everyone is able to travel to the US, e.g. for visa reasons, and we will accommodate that in the programme via remote participation etc. Please contact the organisers for more information. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]