Monthly Archives: October 2016

HoTT MRC

Posted on 4 October 2016 by Mike Shulman

From June 4 — 10, 2017, there will be a workshop on homotopy type theory as one of the AMS’s Mathematical Research Communities (MRCs).

Posted in News, Publicity, Uncategorized | 1 Comment