<div dir="ltr"><div>Hi all,</div><div><br></div><div>Just a heads up that André Joyal is speaking in the MIT <a href="http://www-math.mit.edu/topology/" target="_blank">topology seminar</a> next monday in E17-128 at 4:30pm. The topic is HoTT.</div>

<div><br></div><div>David</div></div>