Call for participation: symposium on differentiation in category theory and program semantics, Kyoto, April 6-8

Call for participation: symposium on differentiation in category theory and program semantics, Kyoto, April 6-8

[zgalal]

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

Dear all,

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.

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:

https://sites.google.com/view/differential-kyoto-2026/home<https://url.au.m.mimecastprotect.com/s/fReZCBNqgBC7X9P7yTNiKI21hY5?domain=sites.google.com>

There are no registration fees but we ask participants to register using
the form below by March 13th:

https://forms.gle/cjkJiXiWDEPJeARm9<https://url.au.m.mimecastprotect.com/s/1S_NCD1vRkC5LKj5ysZs8IjGOFS?domain=forms.gle>

We have filled most of talk spots, however if you are interested in giving
a talk, please contact one of the organizers as soon as possible.

Best wishes,

JS Lemay, Marie Kerjean and Zeinab Galal


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/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


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