categories: ACT 2023: second announcement

categories: ACT 2023: second announcement

[ACT 2023]

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 counting
    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 proceedings.
    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 links
    to any full versions of their papers, preprints or manuscripts. The purpose
    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 the
    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
<https://openreview.net/group?id=AppliedCategoryTheory.org/ACT/2023/Conference>.
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* <http://www.ieee802.org/16/aoe.html> (AoE).

*Papers and Abstracts Due* 3 May 2023
*Author Notification* 7 June 2023
*Conference* 31 July – 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/ ]