[HoTT-reading-group] HoTT Reading Group will be meeting in E18-466A

Jason Gross jasongross9 at gmail.com
Fri Dec 6 16:12:16 EST 2013

Previous message: [HoTT-reading-group] Correction: HoTT Reading Group will be meeting Mondays 3-4
Next message: [HoTT-reading-group] Reminder: First Meeting Monday, 1/6, 3pm-4pm, in E18-466A
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

We now have a room reserved for the HoTT Reading group (thanks, David!).
 We'll be meeting in E18-466A: http://whereis.mit.edu/?q=E18-466A.

-Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20131206/9b3c4896/attachment.htm

Previous message: [HoTT-reading-group] Correction: HoTT Reading Group will be meeting Mondays 3-4
Next message: [HoTT-reading-group] Reminder: First Meeting Monday, 1/6, 3pm-4pm, in E18-466A
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the HoTT-reading-group mailing list