[HoTT-reading-group] Correction: HoTT Reading Group will be meeting Mondays 3-4

[Jason Gross]

Indeed, the subject line has a typo.  Sorry about that.

I will have my laptop with me, and will be happy to host a group video chat
for those who can't make it in person.  Be sure to let me know ahead of
time if you'd like me to invite you.

-Jason

On Thu, Dec 5, 2013 at 6:13 PM, Matt Garcia <mattuesque at gmail.com> wrote:

> So, the subject line is a typo, right?
>
> Mondays 3-4, not Tuesdays 4-5?
>
>
> On Thu, Dec 5, 2013 at 6:03 PM, Chris Jeris <cjeris at gmail.com> wrote:

> 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/cf5b0bb0/attachment-0001.htm