* HoTT Electronic Seminar Talks Fall 2018
@ 2018-09-06 16:23 Chris Kapulkin
0 siblings, 0 replies; 2+ messages in thread
From: Chris Kapulkin @ 2018-09-06 16:23 UTC (permalink / raw)
To: Homotopy Type Theory, categories-59hdLBrVOVU,
algtop-l-wE+tr93vHrabo6XCN/16Dg
Dear all,
The Homotopy Type Theory Electronic Seminar Talks are back after the
summer break! As before, we will meet on alternating Thursdays at
11:30 AM for a 1-hour talk followed by 30-minute discussion. (But note
that the first two talks are on consecutive Thursdays.) The
coordinates are as follows:
Website:
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
Mailing list (with the latest updates):
https://groups.google.com/forum/#!forum/hott-electronic-seminar-talks
Google Calendar:
https://calendar.google.com/calendar/embed?src=0a4ik9o5vhkgjlnk6no3ttnuko%40group.calendar.google.com&ctz=America%2FToronto
The inaugural talks of the Fall 2018 edition will be given by:
September 20
Andrew Pitts (University of Cambridge)
“Axiomatizing Cubical Sets Models of Univalent Foundations”
September 27
Dimitris Tsementzis (Rutgers University)
“First-Order Logic with Isomorphism”
October 11
Kuen-Bang Hou (Favonia) (University of Minnesota)
“Cartesian Cubical Type Theory and redtt”
We are looking forward to seeing you there!
Best wishes,
Dan Christensen
Chris Kapulkin
_______________________________________________
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 Fall 2018
@ 2018-09-06 16:23 Chris Kapulkin
0 siblings, 0 replies; 2+ messages in thread
From: Chris Kapulkin @ 2018-09-06 16:23 UTC (permalink / raw)
To: Homotopy Type Theory, categories, algtop-l
Dear all,
The Homotopy Type Theory Electronic Seminar Talks are back after the
summer break! As before, we will meet on alternating Thursdays at
11:30 AM for a 1-hour talk followed by 30-minute discussion. (But note
that the first two talks are on consecutive Thursdays.) The
coordinates are as follows:
Website:
https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest.html
Mailing list (with the latest updates):
https://groups.google.com/forum/#!forum/hott-electronic-seminar-talks
Google Calendar:
https://calendar.google.com/calendar/embed?src=0a4ik9o5vhkgjlnk6no3ttnuko%40group.calendar.google.com&ctz=America%2FToronto
The inaugural talks of the Fall 2018 edition will be given by:
September 20
Andrew Pitts (University of Cambridge)
“Axiomatizing Cubical Sets Models of Univalent Foundations”
September 27
Dimitris Tsementzis (Rutgers University)
“First-Order Logic with Isomorphism”
October 11
Kuen-Bang Hou (Favonia) (University of Minnesota)
“Cartesian Cubical Type Theory and redtt”
We are looking forward to seeing you there!
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:[~2018-09-06 16:23 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-09-06 16:23 HoTT Electronic Seminar Talks Fall 2018 Chris Kapulkin
-- strict thread matches above, loose matches on Subject: below --
2018-09-06 16:23 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).