From: nicolas tabareau <nicolas.tabareau@inria.fr>
To: <categories@mta.ca>
Subject: Spring School on Homotopy Type Theory (April 12-16 2021, Online)
Date: Mon, 18 Jan 2021 10:56:28 +0100 [thread overview]
Message-ID: <E1l1ZqZ-0006jY-JP@rr.mta.ca> (raw)
====================================================================
Spring School on Theoretical Computer Science – Homotopy Type Theory (formerly EPIT2020)
The school will take place fully online, we will do our best to make it as profitable as a physical meeting.
April 12-16 2021
https://epit2020cnrs.inria.fr <https://epit2020cnrs.inria.fr/>
====================================================================
The postponed 2020 edition of the EPIT will be centered around Homotopy Type Theory, a research topic at the junction
of Computer Science and Mathematics. Our hope is hence to provide an introduction that is accessible
to researchers in both areas.
Pre-registration is now open, please visit https://epit2020cnrs.inria.fr/registration/ <https://epit2020cnrs.inria.fr/registration/> <https://epit2020cnrs.inria.fr/registration/ <https://epit2020cnrs.inria.fr/registration/>> to know more.
For any question, please contact epit2020@sciencesconf.org <mailto:epit2020@sciencesconf.org> <mailto:epit2020@sciencesconf.org <mailto:epit2020@sciencesconf.org>>
As the school will be online, there is no more limitation on the number of participants, and the participation will be free.
However, we ask you to register anyway to help us anticipate the number of people connected and choose the right infrastructure.
More details will come later. But for PhD student, we can already say that we will organize practical sessions that will
serve as a way to validate their participation to the school, if they need to justify it to their doctoral school.
--------------------------------------------------------------------
Lecturers
Andrej Bauer (Ljubljana University):
Introduction to Homotopy Type Theory
Valery Isaev (JetBrain, Saint Petersburg):
The Arend proof assistant
Anders Mörtberg (Stockholm University):
Cubical Type Theory
Paige North (Ohio State University):
Directed Homotopy Type Theory
Egbert Rijke (Ljubljana University):
Synthetic Homotopy Theory
Christian Sattler (Chalmers University):
Models of (Univalent) Type Theory
Bas Spitters (Aarhus University):
The Coq-HoTT library
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2021-01-18 9:56 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=E1l1ZqZ-0006jY-JP@rr.mta.ca \
--to=nicolas.tabareau@inria.fr \
--cc=categories@mta.ca \
/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).