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

[Darij Grinberg]

Hi Jason,

skype ID sqrtof-11 (with two 1's), although I'm not currently on
skype. Thanks for the video chat option!

  Best regards,
  Darij

On Thu, Dec 5, 2013 at 6:50 PM, Jason Gross <jasongross9 at gmail.com> wrote:
> 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
>>>
>>
>
>
> _______________________________________________
> HoTT-reading-group mailing list
> HoTT-reading-group at mit.edu
> http://mailman.mit.edu/mailman/listinfo/hott-reading-group
>