📣 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
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
Marie Kerjean
@mkerjean@lipn.info
#CNRS Researcher in the LoVe team, at the LIPN. #Logic and Analysis, through #semantics and #TypeTheory. Pronouns : She/her
lipn.info
@mkerjean@lipn.info
·
Mar 11, 2026
2
1
4
Conversation (1)
Showing 0 of 1 cached locally.
Syncing comments from the remote thread. 1 more reply is still loading.
Loading comments...