HoTT at LICS 2020

26 views
Skip to first unread message

Steve Awodey

unread,
Jul 1, 2020, 10:19:29 PM7/1/20
to Homotopy Type Theory
LICS 2020 will include two "HoTT heavy" sessions (B5 on Wednesday July 8 and E5 on Friday July 10).
The talks are already online, and participation in the Q/A session will be live via Zoom.
Registration is free: https://lics2020.saarland-informatics-campus.de/schedule/
Reply all
Reply to author
Forward
0 new messages