Reading group on differentiable programming


This reading group takes place on Tuesdays from 2.15pm to 3.30pm, room 34_210 (to be confirmed) on a lax weekly basis. Its aim is to understand differentiable programming from a type-theoretic, Gallinette point-of-view.


Planning:



References:



Organizers Guilhem Jaber and Marie Kerjean.