* Expressing variational problems in FEniCS * Annotation and visualizing the computational graph * Adjoining and using the adjoint for optimization * Mesh independence and optimization libraries * Possible examples: - standard linear-quadratic elliptic problem - Dirichlet control of Stokes - topology optimization of pipes in Stokes flow - MPECs via regularization