[TYPES/announce] Applied Category Theory 2024 Call for Papers

[David Jaz Myers]

 7th Annual International Conference on Applied Category Theory (ACT2024)
17 - 21 June 2024

https://urldefense.com/v3/__Https://oxford24.Github.Io/__;!!IBzWLUs!Te3QQfQmZJWDEFjoqE01xEX-WQGx5n37XMnm-lYl6xzCzWl62ExEYqlPdB8ElLo-1NdpKED6rdhTtt3BjEexHu51kv5RhipuknDQNg$ 

The Seventh International Conference on Applied Category Theory will take
place at the University of Oxford from 17 - 21 June 2024, preceded by the
Adjoint School 2024 from 10-14 July. This year, the ACT conference will be
co-located with the 40th conference on Mathematical Foundations of
Programming Semantics (MFPS). This conference follows previous events at
University of Maryland College Park (MD), Strathclyde (UK), Cambridge (UK),
Cambridge (MA), Oxford (UK) and Leiden (NL).

Call for Papers
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.

    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.

    Talk proposals not to be published in the proceedings or 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.

    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 selected conference papers are expected to be published with EPTCS, and
authors are advised to use the style files available at style.eptcs.org
<https://urldefense.com/v3/__http://style.Eptcs.Org__;!!IBzWLUs!Te3QQfQmZJWDEFjoqE01xEX-WQGx5n37XMnm-lYl6xzCzWl62ExEYqlPdB8ElLo-1NdpKED6rdhTtt3BjEexHu51kv5RhipSczF0dA$ >.

Submission, dates and deadlines:

The exact deadline time on these dates is given by anywhere on earth (AoE).
Abstract registration by 26 March 2024
Papers due 29 March 2024
Author notification in 3 May 2024
Conference 17 - 21 June 2024

(Reviewing will be 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.)

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 UK, e.g. For visa
reasons, and we will accommodate that in the programme via remote
participation etc..

Please contact the organisers for more information.
David Jaz Myers (Abu Dhabi) and Michael Johnson (Sydney)

Programme Committee:

Benedikt Ahrens, Delft University of Technology and University of Birmingham

Dylan Braithwaite, University of Strathclyde

Spencer Breiner, NIST

Matteo Capucci, University of Strathclyde

Titouan Carette, University of Latvia

Bryce Clarke, Inria Saclay Centre

Greta Coraglia, University of Milan

Geoffrey Cruttwell, Mount Allison University

Bojana Femic, Serbian Academy of Sciences And Arts

Fabio Gadducci, University of Pisa

Richard Garner, Macquarie University

Neil Ghani, University of Strathclyde

Amar Hadzihasanovic, Tallinn University of Technology

Martha Lewis, University of Bristol

Sophie Libkind, Topos Institute

Rory Lucyshyn-wright, Brandon University

Owen Lynch, Topos Institute

Sean Moss, University of Oxford

Evan Patterson, Topos Institute

Paolo Perrone, University of Oxford

Paige Randall North, University of Utrecht

Sophie Raynor, James Cook University

Emily Roff, University of Edinburgh

Morgan Rogers, Université Sorbonne Paris Nord

Mario Román, Tallinn University of Technology

Maru Sarazola, University of Minnesota

Bas Spitters, Aarhus University

Priyaa Varshinee Srinivasan, Topos Institute

Sam Staton, University of Oxford

Dario Stein, Radboud University Nijmegen

Eswaran Subrahmanian, Nist, CMU

Ana Luiza da Conceição Tenorio, University of São Paulo

Kobe Wullaert, Delft University of Technology

Ryan Wisnesky, Conexus

Vladimir Zamdzhiev, Inria

Fabio Zanasi, University College London

Mathew Di Meglio, University of Edinburgh
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240314/3bb8ffa9/attachment-0001.htm>