From: Chris Kapulkin <k.kap...@gmail.com>
To: Homotopy Type Theory <homotopyt...@googlegroups.com>, categ...@mta.ca
Subject: Homotopy Type Theory Electronic Seminar Talks
Date: Wed, 7 Feb 2018 09:33:57 -0500 [thread overview]
Message-ID: <CAEXhy3OdCd57brfpDm7KrBn66a4kTyiZ=P5EPN-VdTzE3=G1fw@mail.gmail.com> (raw)
Dear all,
We are pleased to announce the start of the Homotopy Type Theory
Electronic Seminar Talks, a series of online talks by the leading
experts in Homotopy Type Theory. The Seminar is open to all, although
knowledge of the main concepts of HoTT will be assumed.
The Seminar will meet on alternating Thursdays at 11:30 AM Eastern,
starting on February 15. We will be using Zoom for the talks. Zoom is
similar to Skype, and provides software for all common platforms and
devices.
For more details, including schedule of talks and the information on
how to attend the meetings, please see:
http://uwo.ca/math/faculty/kapulkin/seminars/hottest.html
The inaugural talks will be given by:
February 15
Peter LeFanu Lumsdaine (Stockholm University)
Inverse diagram models of type theory
March 1
Emily Riehl (Johns Hopkins University)
The synthetic theory of infinity-categories vs the synthetic theory of
infinity-categories
March 15
Carlo Angiuli (Carnegie Mellon University)
Computational semantics of Cartesian cubical type theory
We are looking forward to seeing you all there!
Best wishes,
Dan Christensen and Chris Kapulkin
reply other threads:[~2018-02-07 14:34 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAEXhy3OdCd57brfpDm7KrBn66a4kTyiZ=P5EPN-VdTzE3=G1fw@mail.gmail.com' \
--to="k.kap..."@gmail.com \
--cc="categ..."@mta.ca \
--cc="homotopyt..."@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).