Announcement: Computational Category Theory at ICMS 2026

Announcement: Computational Category Theory at ICMS 2026

[Kevin Carlson]

[-- Attachment #1: Type: text/plain, Size: 3406 bytes --]

Dear colleagues,

We invite your submission to the session Computational Category Theory<https://url.au.m.mimecastprotect.com/s/-fQYC2xMRkUp5XmvOCnfoI5ZqEa?domain=homalg-project.github.io/> [1] at the International Congress on Mathematical Software<https://url.au.m.mimecastprotect.com/s/WgeXC3QNl1SpDl4w0CqhzIQpTvy?domain=icms-conference.org> [2] this 20-23 July, 2026, at the University of Waterloo in Waterloo, Ontario, Canada. The session abstract is appended below.

At this time we are requesting short abstracts for a 20-minute presentation. After acceptance, there will be an opportunity to submit an extended abstract for publication in the conference proceedings. There is no requirement to submit an extended abstract in order to speak.

The deadline for short abstracts is March 1,2026.

Submissions will be accepted at cct_icms2026@topos.institute<mailto:cct_icms2026@topos.institute>. You can send any further inquiries to the same address.

If you have students, colleagues, or other contacts who you feel would be a good fit for the session, please feel free to forward this call to them. (We thus apologize if you receive this message repeatedly.) We look forward to seeing many of you in Waterloo!

Sincerely,

Mohamed Barakat (University of Siegen)
Kris Brown and Kevin Carlson (Topos Institute)

Session abstract:

This workshop brings together researchers in computational category theory who contribute theoretically to the design of algorithms and practically to the development of advanced software systems. Unlike traditional category theory meetings (theoretical and applied), this workshop will primarily focus on algorithms and existing software ecosystems like (CatLab.jl, CAP project, CatColab, CQL, Lambeq, 1Lab, …). The scope will range from computational methods in classical mathematical disciplines, such as algebraic geometry and representation theory, to applications in functional programming and type theory, all the way to established topics in applied category theory, including categorical and higher categorical rewriting, databases, quantum computing, string-diagrammatic programming, topological data analysis, numerical optimization, and agent-based modeling. The program will mix brief research talks, software demonstrations, and a plenary overview. The goal is to share recent work, clarify connections between theory and tools, and encourage practical collaborations and follow-up projects.


[1] https://homalg-project.github.io/cct-icms-2026/<https://url.au.m.mimecastprotect.com/s/-fQYC2xMRkUp5XmvOCnfoI5ZqEa?domain=homalg-project.github.io/>

[2] https://icms-conference.org/2026/index.html<https://url.au.m.mimecastprotect.com/s/WgeXC3QNl1SpDl4w0CqhzIQpTvy?domain=icms-conference.org>


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/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5788 bytes --]