<div dir="ltr">We now have a room reserved for the HoTT Reading group (thanks, David!).  We&#39;ll be meeting in E18-466A: <a href="http://whereis.mit.edu/?q=E18-466A">http://whereis.mit.edu/?q=E18-466A</a>.<br><div><br></div>

<div>-Jason</div></div>