<div dir="ltr"><div class="gmail_default" style="font-family:arial,sans-serif">=======================================</div><div class="gmail_default" style="font-family:arial,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,sans-serif">Date: December 3, 2021<br>Time: 3:00 PM CT<br><br>Zoom Meeting Link: <a href="https://uchicago.zoom.us/j/95330477390?pwd=NUk3amg5N1l4TjZ6REZaYUpjWmNlZz09">https://uchicago.zoom.us/j/95330477390?pwd=NUk3amg5N1l4TjZ6REZaYUpjWmNlZz09</a><br>Zoom Meeting ID: 953 3047 7390<br>Zoom Meeting Passcode: 033708<br><br>Speaker: Michael Shulman - University of San Diego<br><br>Title: How to think about homotopy type theory: a conversation<br><br>Join the CS dept. type theory reading group for an informal discussion with Michael Shulman on homotopy type theory.<br></div><div class="gmail_default" style="font-family:arial,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,sans-serif">=======================================<br></div></div>