[HoTT-reading-group] Reminder: First Meeting Monday, 1/6, 3pm-4pm, in E18-466A

[Jason Gross]

Hi, everyone.
This is a reminder that the first Meeting Monday, 1/6, 3pm-4pm, in
E18-466A.  Please bring a physical or electronic copy of the
book<http://homotopytypetheory.org/book/>,
and please have read the introduction by the time you arrive.  We will
discuss logistics, general questions about homotopy type theory, and may
start reading the first chapter together if we run out of things to do.

I will be running a google video chat for remote participants Chris Jeris
and Darij Grinberg.  If anyone else would like to be included, please reply
to me personally in this thread with your gmail address, and be on gmail at
3pm EST, and I will invite you as well.

Looking forward, there will be no meeting on January 20, as I will be in
flight headed to the POPL conference.

Looking forward to meeting you all,
Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20131230/06b6e0a5/attachment.htm