University of Calgary
UofC Navigation

$7.5m Grant for HoTT!

LogBlog Has Moved!

You are looking at the old blog archive. LogBlog has moved to
If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Tue, 04/29/2014 - 12:28pm

All-around awesome logician colleagues and friends Steve Awodey and Jeremy Avigad have netted a $7.5m, 5-year grant to develop Homotopy Type Theory!