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