Hello everyone, Thank you all who attend, both in person and online, our symposium on differentiation in category theory and program semantics which was held at the University of Kyoto, April 6-8. The slides are now online on the website: https://sites.google.com/view/differential-kyoto-2026/home While the talks were recorded, we will not be sharing them online publicly (for various reasons). So if you are interested in watching some of the talk recordings, please contact me and I can try to share a private link. Available until May 8. Have a great day! JS PL