<div dir="ltr">Hi, everyone.<div>This is a reminder that the first Meeting Monday, 1/6, 3pm-4pm, in E18-466A.  Please bring a physical or electronic copy of <a href="http://homotopytypetheory.org/book/">the book</a>, and please have read the introduction by the time you arrive.  We will discuss logistics, general questions about homotopy type theory, and may start reading the first chapter together if we run out of things to do.</div>

<div><br></div><div>I will be running a google video chat for remote participants Chris Jeris and Darij Grinberg.  If anyone else would like to be included, please reply to me personally in this thread with your gmail address, and be on gmail at 3pm EST, and I will invite you as well.<br>

</div><div><br></div><div>Looking forward, there will be no meeting on January 20, as I will be in flight headed to the POPL conference.</div><div><br></div><div>Looking forward to meeting you all,</div><div>Jason</div></div>