Category Archives: Publicity

HoTT MRC

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 | Leave a comment