[TYPES/announce] Applied Category Theory 2026: First Call for Papers

Priyaa Varshinee Srinivasan priyaavarshinee at gmail.com
Thu Oct 30 08:28:39 EDT 2025


------------------------------------------------------------------------
Call for Papers

9th Annual International Conference on Applied Category Theory (ACT2026)
July 6 - July 10, 2026

Tallinn, Estonia

https://urldefense.com/v3/__https://actconf2026.github.io__;!!IBzWLUs!XAm97ug6oDmDDsyMOrs7nx1VeCDPDgOO0Y3ZsT9cb3Si2GLq8x8vdYeuHCYwCwnrp63D8QnwUl82QvGRyS7zvLl5DrRPmxh72eiq9axa$  <https://urldefense.com/v3/__https://actconf2026.github.io/cfp.html__;!!IBzWLUs!XAm97ug6oDmDDsyMOrs7nx1VeCDPDgOO0Y3ZsT9cb3Si2GLq8x8vdYeuHCYwCwnrp63D8QnwUl82QvGRyS7zvLl5DrRPmxh72aj2LGab$ >
------------------------------------------------------------------------

The 9th International Conference on Applied Category Theory will take place
at the Estonian Maritime Academy of Tallinn University of Technology,
Tallinn, Estonia from 6 - 10 July. The conference will be preceded by the
Adjoint School Research Week from June 29 - July 3, 2026. This conference
follows previous events at Florida (2025), Oxford (2024), Maryland (2023),
Strathclyde (2022), Cambridge (2021), MIT (2020), Oxford (2019) and Leiden
(2018).


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 the 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 tracks:
1. Research
2. Software demonstrations
3. Teaching and communication

Detailed Call for Papers is available at
https://urldefense.com/v3/__https://actconf2026.github.io/cfp.html__;!!IBzWLUs!XAm97ug6oDmDDsyMOrs7nx1VeCDPDgOO0Y3ZsT9cb3Si2GLq8x8vdYeuHCYwCwnrp63D8QnwUl82QvGRyS7zvLl5DrRPmxh72aj2LGab$ 

Extended abstracts and conference papers should be prepared with LaTeX. For
conference papers please use the EPTCS style files available at <
https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!XAm97ug6oDmDDsyMOrs7nx1VeCDPDgOO0Y3ZsT9cb3Si2GLq8x8vdYeuHCYwCwnrp63D8QnwUl82QvGRyS7zvLl5DrRPmxh72XS2A5NL$ >. The submission link is
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=act2026__;!!IBzWLUs!XAm97ug6oDmDDsyMOrs7nx1VeCDPDgOO0Y3ZsT9cb3Si2GLq8x8vdYeuHCYwCwnrp63D8QnwUl82QvGRyS7zvLl5DrRPmxh72TnnrXgP$ .

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.


*IMPORTANT DATES*
The following dates are all in 2026, and Anywhere On Earth.

   - Abstracts Due : Wednesday 23 March
   - Full papers Due : Friday 30 March
   - Authors notification  : 11 May
   - Adjoint school research week: 29 June - 3 July
   - Camera-ready version due : TBA
   - Conference begins : 6 July


*ORGANIZING COMMITTEE*

Geoff Cruttwell, Mt. Allison University, Canada (PC co-Chair)
Paweł Sobociński, Tallinn University of Technology (General Chair)
Priyaa Varshinee Srinivasan, Tallinn University of Technology (Organizing
co-Chair,  PC co-Chair)
Kristi Ainen, Tallinn University of Technology (Organizing co-Chair)
Sofiya Taskova, Tallinn University of Technology (Sponsorship Chair)


*STEERING COMMITTEE*

John Baez, University of California, Riverside & University of Edinburgh,
U.K.
Bob Coecke, University of Oxford, U.K.
Michael Johnson, Macquarie University
Simona Paoli, University of Aberdeen, U.K.
Dorette Pronk, Dalhousie University, Canada.
David Spivak, Topos Institute, U.S.A.


*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
Chris Heunen, The University of Edinburgh
Daniel Cicala, Southern Connecticut State University
Dusko Pavlovic, University of Hawaii
Evan Patterson, Topos Institute
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
Paolo Perrone, University of Oxford
Peter Selinger, Dalhousie University
Paul Wilson, University of Southampton
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
Ted Theodosopoulos, Nueva School


We look forward to your participation in the conference!

Thank you,
PC Chairs
(Geoff & Priyaa)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251030/755af4c9/attachment-0001.htm>


More information about the Types-announce mailing list