<div dir="ltr">So, the subject line is a typo, right? <br><br>Mondays 3-4, not Tuesdays 4-5?<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Dec 5, 2013 at 5:51 PM, Jason Gross <span dir="ltr"><<a href="mailto:jasongross9@gmail.com" target="_blank">jasongross9@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">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.<div>
<br></div><div>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.</div>
<div><br></div><div>I look forward to meeting and learning with you all,</div><div>Jason</div></div>
<br>_______________________________________________<br>
HoTT-reading-group mailing list<br>
<a href="mailto:HoTT-reading-group@mit.edu">HoTT-reading-group@mit.edu</a><br>
<a href="http://mailman.mit.edu/mailman/listinfo/hott-reading-group" target="_blank">http://mailman.mit.edu/mailman/listinfo/hott-reading-group</a><br>
<br></blockquote></div><br></div>