[HoTT] Transactions in Category Theory 2025

[HoTT] Transactions in Category Theory 2025

[Jade Edenstar Master]

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

We are pleased to announce the first international workshop:
   *Transactions in Category Theory* <https://jademaster.xyz/TACT25.html>
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*
Zans Mihejevs, *Glasgow Lab for AI Verification*
Dylan Braithwaite, *Glasgow Lab for AI Verification*

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAHF77gaewxLPMcQ94PWgBMaz-mj5feTzDz%2B1ZUVQyPr7Q71upA%40mail.gmail.com.

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