[HoTT-reading-group] Getting in to the reading group

[Jason Gross]

Since MIT is closed today, the reading group is harder to get into.  If you
need to get let in, gchat or text me at 631 790-8962, or, failing that,
call me.  There's a door by MIT Medical that's always open, and the other
doors let you in with an MIT ID, but I think you'll need to be let in to
the math department proper.

-Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140217/120c1543/attachment.htm