December 2013 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Dec 3 17:10:18 EST 2013
Ending: Mon Dec 30 21:43:52 EST 2013
Messages: 14

• [HoTT-reading-group] Correction: HoTT Reading Group will be meeting Mondays 3-4   Jason Gross
• [HoTT-reading-group] Correction: HoTT Reading Group will be meeting Mondays 3-4   Darij Grinberg
• [HoTT-reading-group] HoTT Reading Group will be meeting Tuesdays 4-5   Chris Jeris
• [HoTT-reading-group] HoTT Reading Group will be meeting Tuesdays 4-5   Matt Garcia
• [HoTT-reading-group] HoTT Reading Group will be meeting in E18-466A   Jason Gross
• [HoTT-reading-group] HoTT Reading Group will be meeting Tuesdays 4-5   Jason Gross
• [HoTT-reading-group] HoTT Reading Group will be meeting Tuesdays 4-5   J. Ian Johnson
• [HoTT-reading-group] Reminder: Doodle Poll closes this Thursday   Jason Gross
• [HoTT-reading-group] Reminder: Doodle Poll closes this Thursday   Darij Grinberg
• [HoTT-reading-group] Reminder: Doodle Poll closes this Thursday   Darij Grinberg
• [HoTT-reading-group] Reminder: Doodle Poll closes this Thursday   Jason Gross
• [HoTT-reading-group] Reminder: Doodle Poll closes this Thursday   Akhil Mathew
• [HoTT-reading-group] Reminder: Doodle Poll closes this Thursday   Jason Gross
• [HoTT-reading-group] Reminder: First Meeting Monday, 1/6, 3pm-4pm, in E18-466A   Jason Gross

Last message date: Mon Dec 30 21:43:52 EST 2013
Archived on: Mon Dec 30 21:44:28 EST 2013

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...