From the same institution that gave us Homotopy Type Theory, a special year on Optimisation, Statistics and Theoretical Machine Learning. I'm expecting significant theoretical advances in the field of machine learning.