* HoTT Electronic Seminar Talks in Fall 2020
@ 2020-09-02 13:58 Chris Kapulkin
0 siblings, 0 replies; 2+ messages in thread
From: Chris Kapulkin @ 2020-09-02 13:58 UTC (permalink / raw)
To: HoTT Electronic Seminar Talks, Homotopy Type Theory,
categories-59hdLBrVOVU, algtop-l-wE+tr93vHrabo6XCN/16Dg
Dear all,
The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) are
returning in Fall 2020. The speakers are:
September 10: Guillaume Brunerie and Peter LeFanu Lumsdaine
September 24: Jakob von Raumer
October 8: Yuki Maehara
October 22: Ambrus Kaposi
November 5: Nima Rasekh
November 19: Pierre Cagne
December 3: Jamie Vicary
The seminar will meet on alternating Thursdays at 11:30 Eastern. The
seminar is open to all, but some prior familiarity with HoTT will be
assumed. For updates and instructions how to attend, please see
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
We know you have a choice when it comes to electronic seminars and we
thank you for choosing HoTTEST.
Best wishes,
Dan Christensen
Chris Kapulkin
^ permalink raw reply [flat|nested] 2+ messages in thread
* HoTT Electronic Seminar Talks in Fall 2020
@ 2020-09-02 13:58 Chris Kapulkin
0 siblings, 0 replies; 2+ messages in thread
From: Chris Kapulkin @ 2020-09-02 13:58 UTC (permalink / raw)
To: categories
Dear all,
The Homotopy Type Theory Electronic Seminar Talks (HoTTEST) are
returning in Fall 2020. The speakers are:
September 10: Guillaume Brunerie and Peter LeFanu Lumsdaine
September 24: Jakob von Raumer
October 8: Yuki Maehara
October 22: Ambrus Kaposi
November 5: Nima Rasekh
November 19: Pierre Cagne
December 3: Jamie Vicary
The seminar will meet on alternating Thursdays at 11:30 Eastern. The
seminar is open to all, but some prior familiarity with HoTT will be
assumed. For updates and instructions how to attend, please see
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
We know you have a choice when it comes to electronic seminars and we
thank you for choosing HoTTEST.
Best wishes,
Dan Christensen
Chris Kapulkin
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-09-02 13:58 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-02 13:58 HoTT Electronic Seminar Talks in Fall 2020 Chris Kapulkin
-- strict thread matches above, loose matches on Subject: below --
2020-09-02 13:58 Chris Kapulkin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).