* HoTT Electronic Seminar Talks in Fall 2019
@ 2019-09-04 13:02 Chris Kapulkin
0 siblings, 0 replies; only message in thread
From: Chris Kapulkin @ 2019-09-04 13:02 UTC (permalink / raw)
To: categories
Dear all,
We are pleased to announce that the Homotopy Type Theory Electronic
Seminar Talks (HoTTEST) will be returning in Fall 2019. The speakers
are:
Oct 9: Andrej Bauer
Oct 23: Anders Mörtberg
Nov 6: Andrew Swan
Nov 20: Benno van den Berg
Dec 4: Christian Sattler (TBC)
Dec 11: Richard Garner
This semester, the seminar will be meeting on alternating Wednesdays
(not 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] only message in thread
only message in thread, other threads:[~2019-09-04 13:02 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-09-04 13:02 HoTT Electronic Seminar Talks in Fall 2019 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).