[HoTT-reading-group] HoTT Reading Group will be meeting Tuesdays 4-5

[J. Ian Johnson]

I can take my webcam when I can make it, and figure out a hangouts solution. Though I'll be a new father (due date was today), and I don't know how consistent my attendance will be.
-Ian
----- Original Message -----
From: "Chris Jeris" <cjeris at gmail.com>
To: "Jason Gross" <jasongross9 at gmail.com>
Cc: "hott-reading-group" <hott-reading-group at mit.edu>
Sent: Thursday, December 5, 2013 6:03:44 PM GMT -05:00 US/Canada Eastern
Subject: Re: [HoTT-reading-group] HoTT Reading Group will be meeting Tuesdays 4-5



Are there any prospects for skype/google hangouts/some similar means of remote participation? 


peace, Chris Jeris 




On Thu, Dec 5, 2013 at 5:51 PM, Jason Gross < jasongross9 at gmail.com > wrote: 



I have chosen Mondays 3-4 as the meeting time for the HoTT reading group. Welcome, to those of you can make it, and apologies to those of you who can't. Our first meeting is tentatively scheduled on Monday, January 6, 3-4, in a room yet to be determined. Please bring a copy of the HoTT book (either physical or digital) with you to the first meeting, and please read the introduction between now and then. 


I plan to aim at reading one chapter a week until we finish the book, slowing down if necessary. My current plan is to have us all read each chapter on our own time, and use the meeting time to discuss, ask and answer questions, and work on the exercises. I'm open to suggestions for alternative structures, if we find that this one is not to our liking. 


I look forward to meeting and learning with you all, 
Jason 
_______________________________________________ 
HoTT-reading-group mailing list 
HoTT-reading-group at mit.edu 
http://mailman.mit.edu/mailman/listinfo/hott-reading-group 



_______________________________________________
HoTT-reading-group mailing list
HoTT-reading-group at mit.edu
http://mailman.mit.edu/mailman/listinfo/hott-reading-group