Transactions in Category Theory 2025
36 views
Skip to first unread message
Jade Edenstar Master
Mar 10, 2025, 1:33:42 PMMar 10
to types-a...@lists.seas.upenn.edu, homotopyt...@googlegroups.com, coal...@framalistes.org
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 [jadeedens...@gmail.com](mailto:jadeedens...@gmail.com) and [conor....@strath.ac.uk](mailto:conor....@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*
Zans Mihejevs, *Glasgow Lab for AI Verification*
Dylan Braithwaite, *Glasgow Lab for AI Verification*
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 [jadeedens...@gmail.com](mailto:jadeedens...@gmail.com) and [conor....@strath.ac.uk](mailto:conor....@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*
Zans Mihejevs, *Glasgow Lab for AI Verification*
Dylan Braithwaite, *Glasgow Lab for AI Verification*
Reply all
Reply to author
Forward
0 new messages