| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 03 Dec 2025 19:37:15 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"6930916b-3b15"
expires: Mon, 29 Dec 2025 23:25:22 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 353F:3A7A40:95B9E3:A82040:69530B80
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 23:15:22 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210051-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767050122.170886,VS0,VE296
vary: Accept-Encoding
x-fastly-request-id: 58808507b5a83b22b3161e7085b98765ee054380
content-length: 5088
ACT 2026
9th International Conference on
Applied Category Theory (ACT) 2026
Tallinn, Estonia • 6 July – 10 July
Applied Category Theory (ACT) 2026
Tallinn, Estonia • 6 July – 10 July
Call for Papers
Applied category theory (ACT) is a field of growing importance to communities of researchers in computer science, logic, engineering, physics, biology, chemistry, social science, systems, linguistics and other subjects. The background and experience of the ACT community 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 in the following three categories:- Research
- 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, 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.
- Software demonstrations
- 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.
- Teaching and communication
- Conference Papers* should present original, high-quality work (up to 12 pages, not counting the bibliography). The submissions, along with the Introduction and Conclusion sections may include sections on Related work, Methodology, Results and, Discussion and Implications. 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, should also be submitted as abstracts, one to three pages. The purpose of the abstract is to provide the program committee with enough information to assess the content and quality of the anticipated presentation. *Submissions must specify at least one of the following "keywords" in EasyChair:
- Teaching in Applied Category Theory
- Communication in Applied Category Theory
The original conference papers will ultimately be published with EPTCS, and authors are advised to use the style files available at style.eptcs.org. The conference will include an industry session and a community meeting. The conference is expected to be hybrid.
Submission, dates and deadlines
Please submit your papers and talk proposals at https://easychair.org/my/conference?conf=act2026. (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).
| Abstracts Due: 23 March 2026 |
| Papers Due: 30 March 2026 |
| Author Notification: 11 May 2026 |
| Conference: 6 - 10 July 2026 |
Program Committee Chairs
- Geoffrey Cruttwell, Mount Allison University, Sackville
- Priyaa Varshinee Srinivasan, Tallinn University of Technology, Estonia
Program Committee
- Alessandro Di Giorgio, Tallinn University of Technology
- Alexis Toumi, Planting Space
- Bryce Clarke, Tallinn University of Technology
- Barbara König, University of Duisburg-Essen
- Bojana Femic, Serbian Academy of Sciences and Arts
- Callum Reader, Tallinn University of Technology
- Chris Heunen, The University of Edinburgh
- Daniel Cicala, Southern Connecticut State University
- Dusko Pavlovic, University of Hawaii
- Elena Di Lavore, University of Oxford
- Evan Patterson, Topos Institute
- Filippo Bonchi, University of Pisa
- Fosco Loregian, Tallinn University of Technology
- Gabriele Lobbia, Università di Bologna
- Georgios Bakirtzis, Institut Polytechnique de Paris
- Jade Master, University of Strathclyde
- James Fairbanks, University of Florida
- Jonathan Gallagher, Hummingbird Biosciences
- Joe Moeller, Caltech
- Jules Hedges, University of Strathclyde
- Julie Bergner, University of Virginia
- Kohei Kishida, University of Illinois, Urbana-Champaign
- Maria Manuel Clementino, CMUC, Universidade de Coimbra
- Mario Román, University of Oxford
- Marti Karvonen, University College London
- Martina Rovelli, UMass Amherst
- Masahito Hasegawa, Kyoto University
- Matteo Capucci, University of Strathclyde
- Michael Shulman, University of San Diego
- Nick Gurski, Case Western Reserve University
- Niels Voorneveld, Cybernetica
- Nina Otter, Université Paris-Saclay
- Paolo Perrone, University of Oxford
- Peter Selinger, Dalhousie University
- Paul Wilson, University of Southampton
- Richard Blute, University of Ottawa
- Robin Cockett, University of Calgary
- Robin Piedeleu, University College London
- Rory Lucyshyn-Wright, Brandon University
- Rose Kudzman-Blais, University of Ottawa
- Ryan Wisnesky, Conexus AI
- Sam Staton, University of Oxford
- Shin-Ya Katsumata, Kyoto Sangyo University
- Simon Willerton, University of Sheffield
- Spencer Breiner, National Institute of Standards and Technology
- Tai Danae Bradley, SandboxAQ
- Titouan Carette, École polytechnique
- Tom Leinster, The University of Edinburgh
- Walter Tholen, York University
- Teaching & Communication
- Selma Dündar-Coecke, University College London, Institute of Education
- Tai Danae Bradley, SandboxAQ
- Ted Theodosopoulos, Nueva School
Organizing Committee
- Pawel Sobocinski, Tallinn University of Technology
- Priyaa Varshinee Srinivasan, Tallinn University of Technology
- Sofiya Taskova, Tallinn University of Technology
- Kristi Ainen, Tallinn University of Technology
Steering Committee
- John Baez, University of California, Riverside
- Bob Coecke, University of Oxford
- Dorette Pronk, Dalhousie University
- David Spivak, Topos Institute
- Michael Johnson, Macquarie University
- Simona Paoli, University of Aberdeen
Website based on a bootstrap design by Hartmut Eilers and Eric Koskinen.