First Theory Institute on Computational Differentiation