Registration for the Workshop on Homotopy Type Theory (February 10 - 14, 2016)