📣 Last call for participation (onsite and online) for our workshop on Differentiation in category theory and program semantics, April 6-8 2026, Kyoto University.
❗️ Registration free but mandatory, even for online participation.
🔗 https://sites.google.com/view/differential-kyoto-2026/home