[firedrake] Workshop on Debugging Numerical Software 4th and 5th Jun 2018, Bath