Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* Midwest HoTT Seminar, May 26-27, 2018, University of Western Ontario
@ 2018-04-22 13:57 Chris Kapulkin
  0 siblings, 0 replies; only message in thread
From: Chris Kapulkin @ 2018-04-22 13:57 UTC (permalink / raw)
  To: Homotopy Type Theory

Dear all,

I am pleased to announce the inaugural Midwest Homotopy Type Theory
Seminar*, which will take place on May 26-27, 2018 at the University
of Western Ontario (London ON).

Speakers:

  Carlo Angiuli (CMU)
  Cartesian cubical type theory

  Simon Cho (Michigan)
  Weak equivalences between models of type theory

  Dan Christensen (Western)
  Localization in homotopy type theory

  Paige North (OSU)
  A directed homotopy type theory

  Robert Rose (Indiana)
  On the natural numbers in elementary (∞,1)-toposes

  Luis Scoccola (Western)
  Congruence closure in intensional type theory

The details, including the schedule and lodging information, can be found at

  http://uwo.ca/math/faculty/kapulkin/seminars/midwest_hott_seminar.html

We have negotiated reduced rates at DoubleTree by Hilton and the
Ontario Residence Hall. If you are thinking of booking the former,
please do so soon, as the rate will expire on April 30.

There is no formal registration process (and hence no registration
fee), but those planning to attend should contact Chris Kapulkin so
that we can make sure there is enough food and coffee for everyone.

Best,
Chris

*Yes, the name is a shameless ripoff of the Midwest Topology Seminar. Sorry!

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2018-04-22 13:57 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-04-22 13:57 Midwest HoTT Seminar, May 26-27, 2018, University of Western Ontario 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).