* HoTT Electronic Seminar Talks in Winter 2020
@ 2020-01-17 15:46 Chris Kapulkin
0 siblings, 0 replies; 2+ messages in thread
From: Chris Kapulkin @ 2020-01-17 15:46 UTC (permalink / raw)
To: algtop-l-wE+tr93vHrabo6XCN/16Dg, categories-59hdLBrVOVU,
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
_______________________________________________
ALGTOP-L mailing list
ALGTOP-L@lists.lehigh.edu
https://lists.lehigh.edu/mailman/listinfo/algtop-l
^ permalink raw reply [flat|nested] 2+ messages in thread
* HoTT Electronic Seminar Talks in Winter 2020
@ 2020-01-17 15:46 Chris Kapulkin
0 siblings, 0 replies; 2+ messages in thread
From: Chris Kapulkin @ 2020-01-17 15:46 UTC (permalink / raw)
To: categories
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
[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-01-17 15:46 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-17 15:46 HoTT Electronic Seminar Talks in Winter 2020 Chris Kapulkin
-- strict thread matches above, loose matches on Subject: below --
2020-01-17 15:46 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).