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

[Chris Jeris]

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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20131205/7acb5769/attachment.htm