Transactions in Category Theory 2025
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 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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
participants (1)
-
Jade Edenstar Master