Transactions in Category Theory 2025

The organizers are pleased to announce the first international transactions in category theory.

Logistical Information

When: June 2nd 2025
Where: Hybrid. In person at:
RC 512
Royal College, University of Strathclyde
204 George St, Glasgow, Scotland, G1 1RX

Fees: None

Call For Abstracts

We are pleased to announce the first international workshop:

Transactions in Category Theory

hosted at the University of Strathclyde, Royal College 512, Glasgow, Scotland, on June 2nd 2025.
The aim of this workshop is to bring together researchers in different applications of categories. This event will be hybrid. The talks will be broadcast online and there will be an online networking space for the remote participants. We are soliciting talks on all applications of category theory to other fields including but not limited to:

Computer Science
Engineering
Science
Pure Mathematics
Type Theory
Philosophy
Linguistics

To submit a talk please send a title and abstract to jadeedenstarmaster@gmail.com and conor.mcbride@strath.ac.uk. We look forward to your participation.

Workshop Timeline:

Submission Deadline: 25th of April
Author Notification: 9th of May

Organizers:

Jade Master, Glasgow Lab for AI Verification
Conor McBride, University of Strathclyde, Quantinuum
Olivia Weston, University of Glasgow