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

[Zeinab Galal]

Dear all,

The symposium "Differentiation in category theory and program semantics" will be held in hybrid form: online and 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

If you would like to attend in person, please fill the following form by March 13th:

https://forms.gle/AToHUP7ntxxshedC7

If you would like to attend remotely, please fill the following form by March 30th:

https://forms.gle/YJTU7sHX1DFxMT3K7

We will send the zoom link to registered participants later on.

Best wishes,

JS Lemay, Marie Kerjean and Zeinab Galal