You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
JS PL (he/him) (Feb 12 2026 at 04:08):We would like to announce the symposium "Differentiation in category theory and program semantics", which will take place at the Research Institute for Mathematical Sciences in Kyoto University (RIMS) on April 6-8 2026. Organized by @Marie Kerjean , @Zeinab Galal , and @JS PL (he/him)
The purpose of this symposium is to bring together researchers working from different areas related to differentiation in category theory and computer science to encourage the exchange of ideas between various communities.
The symposium's website is here:
https://sites.google.com/view/differential-kyoto-2026/home
There are no registration fees but we ask participants who plan to attend in person to register using the form below by March 13th:
https://forms.gle/nB5tzoJV7gvXQvju8
We have filled most of talk spots, however if you are interested in giving a talk (in person), please contact one of the organizers (by email) as soon as possible.
JS PL (he/him) (Feb 12 2026 at 04:11):We are planning to stream the talks online. Details for how to participation online we will be sent closer to the dates.