[Theory] 12/3 Informal Talk: Michael Shulman, USD

[Nathan Mull]

=======================================

Date: December 3, 2021
Time: 3:00 PM CT

Zoom Meeting Link:
https://uchicago.zoom.us/j/95330477390?pwd=NUk3amg5N1l4TjZ6REZaYUpjWmNlZz09
Zoom Meeting ID: 953 3047 7390
Zoom Meeting Passcode: 033708

Speaker: Michael Shulman - University of San Diego

Title: How to think about homotopy type theory: a conversation

Join the CS dept. type theory reading group for an informal discussion with
Michael Shulman on homotopy type theory.

=======================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/theory/attachments/20211129/39d4a8bc/attachment.html>