Applied Category Theory 2022: Second Call for Papers

Applied Category Theory 2022: Second Call for Papers

[Jade Edenstar Master]

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 organisers are committed to
non-discrimination, equity, and inclusion.

Submission formats:


    1.

    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.
    2.

    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.
    3.

    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

Assuming additional Covid restrictions will not be introduced in the UK,

the conference will run as a hybrid event, with talks recorded or

streamed for remote participation. Please be mindful of changing

conditions when booking travel or hotel accommodations.

FINANCIAL SUPPORT

Limited financial support will be available for travel and accommodation.
Priority will be given to people with financial need and those giving
presentations. Please contact the organisers for more information.

PROGRAM COMMITTEE

Tai-Danae Bradley, City University of New York

Benjamin Merlin Bumpus, University of Glasgow

Matteo Capucci, University of Strathclyde

Andrea Censi, ETH Zurich

Corina Cirstea, University of Southampton

Elena Di Lavore, Tallinn University of Technology

James Fairbanks, University of Florida

Zardini Gioele, ETH Zurich

Jules Hedges, University of Strathclyde

Kohei Kishida, University of Illinois, Urbana-Champaign

Barbara König, University of Duisburg-Essen

Clemens Kupke, University of Strathclyde

Alexander Kurz, Chapman University

Martha Lewis, University of Bristol (PC co-chair)

Sophie Libkind, Stanford University

Jade Master, University of Strathclyde (PC co-chair)

Conor Mcbride, University of Strathclyde

Joe Moeller, National Institute of Standards and Technology

Elizabeth Munch, Michigan State University

Fredrik Nordvall Forsberg, University of Strathclyde

Paige North, University of Pennsylvania

Emily Roff, University of Edinburgh

Mehrnoosh Sadrzadeh, University College London

Jonathan Sterling, Aarhus University

Todd Trimble, Western Connecticut State University

Christina Vasilakopoulou, University of Patras Greece

Maaike Zwart, IT University of Copenhagen

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


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]