From: Jade Edenstar Master <jadeedenstarmaster@gmail.com>
To: types-announce@lists.seas.upenn.edu,
homotopytypetheory@googlegroups.com, coalgebra@framalistes.org
Subject: [HoTT] Transactions in Category Theory 2025
Date: Mon, 10 Mar 2025 17:32:34 +0000 [thread overview]
Message-ID: <CAHF77gaewxLPMcQ94PWgBMaz-mj5feTzDz+1ZUVQyPr7Q71upA@mail.gmail.com> (raw)
[-- 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 --]
reply other threads:[~2025-03-10 17:33 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAHF77gaewxLPMcQ94PWgBMaz-mj5feTzDz+1ZUVQyPr7Q71upA@mail.gmail.com \
--to=jadeedenstarmaster@gmail.com \
--cc=coalgebra@framalistes.org \
--cc=homotopytypetheory@googlegroups.com \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).