HoTT Electronic Seminar Talks in Winter 2020
2 views
Skip to first unread message
Chris Kapulkin
Jan 17, 2020, 10:47:01 AM1/17/20
to algt...@lists.lehigh.edu, categ...@mta.ca, Homotopy Type Theory, HoTT Electronic Seminar Talks
Dear all,
The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) are
returning in Winter 2020. The speakers are:
January 23: Simon Henry
February 6: Niels van der Weide
February 20: Karol Szumiło
March 19: Jon Sterling
April 2: Denis-Charles Cisinski
April 16: Matthew Weaver
The seminar is back to its usual time of alternating Thursdays at
11:30 Eastern. For updates and instructions how to attend, please see
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
The seminar is open to everyone, but some prior familiarity with HoTT
will be assumed.
Best wishes,
Chris Kapulkin
for the organizers
The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) are
returning in Winter 2020. The speakers are:
January 23: Simon Henry
February 6: Niels van der Weide
February 20: Karol Szumiło
March 19: Jon Sterling
April 2: Denis-Charles Cisinski
April 16: Matthew Weaver
The seminar is back to its usual time of alternating Thursdays at
11:30 Eastern. For updates and instructions how to attend, please see
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
The seminar is open to everyone, but some prior familiarity with HoTT
will be assumed.
Best wishes,
Chris Kapulkin
for the organizers
Reply all
Reply to author
Forward
0 new messages