Transactions in Category Theory 2025

Transactions in Category Theory 2025

[Jade Edenstar Master]

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

We are pleased to announce the first international workshop:
  Transactions in Category Theory<https://url.au.m.mimecastprotect.com/s/cPeBCGv0Z6f12DXMYTKf2UBb-9t?domain=jademaster.xyz>
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 applications of categories 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<mailto:jadeedenstarmaster@gmail.com> and conor.mcbride@strath.ac.uk<mailto: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


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: 4024 bytes --]