* Applied Category Theory 2024 Call for Papers
@ 2024-03-14 13:34 David Jaz Myers
0 siblings, 0 replies; only message in thread
From: David Jaz Myers @ 2024-03-14 13:34 UTC (permalink / raw)
To: categories
[-- Attachment #1: Type: text/plain, Size: 6243 bytes --]
7th Annual International Conference on Applied Category Theory (ACT2024)
17 - 21 June 2024
Https://oxford24.Github.Io/<https://url.au.m.mimecastprotect.com/s/5gGPCnx1Z5U0J8klt94Zfh?domain=oxford24.github.io/>
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://url.au.m.mimecastprotect.com/s/nhkrCoV1Y2SN7OQlizP3bm?domain=style.eptcs.org>.
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 organizers for more information.
Program committee chairs:
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
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
[-- Attachment #2: Type: text/html, Size: 30040 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2024-03-14 18:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-03-14 13:34 Applied Category Theory 2024 Call for Papers David Jaz Myers
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).