Differentiation in category theory and program semantics
April 6-8 2026, Kyoto University
April 6-8 2026, Kyoto University
This symposium is on the theory of differential categories and related topics in mathematics and computer science. It will be held at RIMS, Kyoto University on April 6-8 2026. There is no registration fee but we ask participants to register using the form below. There will be a self-funded workshop supper the evening of Tuesday April 7 2026. If you have any questions, please contact one of the three organizers listed below.
Plenary Talks:
Thomas Ehrhard, IRIF
Robin Cockett, University of Calgary
Tutorials:
Jean-Simon Pacaud Lemay, Macquarie University
Marie Kerjean, LIPN
Registration Form: CLICK HERE
Richard Blute, University of Ottawa
Robin Cockett, University of Calgary
Thomas Ehrhard, IRIF
Zeinab Galal, RIMS, Kyoto University
Masahito Hasegawa, RIMS, Kyoto University
Ichiro Hasuo, National Institute of Informatics & Imiron Co., Ltd.
Isaiah B. Hilsenrath, University of Pennsylvania
Naohiko Hoshino, Sojo University
Shin-ya Katsumata, Kyoto Sangyo University
Marie Kerjean, LIPN
Jad Koleilat, Université Sorbonne Paris Nord
Mayuko Kori, RIMS, Kyoto University
Rose Kudzman-Blais, RIMS, Kyoto University
Satoshi Kura, Waseda University
Marcello Lanfranchi, Macquarie University
Jean-Simon Pacaud Lemay, Macquarie University
Ken Sakayori, The University of Tokyo
Florian Schwarz, University of Calgary
Thomas Seiller, CNRS
Jean-Baptiste Vienney, University of Ottawa
TBD
TBD
TBD
The symposium is supported by the Research Institute for Mathematical Sciences in Kyoto University (RIMS) and by the Japan Society for the Promotion of Science (JSPS).
Organizers:
Jean-Simon Pacaud Lemay, Macquarie University
Marie Kerjean, LIPN
Zeinab Galal, RIMS, Kyoto University