From: nicolas tabareau <tabareau.nicolas@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] EPIT 2020: Spring School on Homotopy Type Theory (last announcement)
Date: Mon, 2 Mar 2020 11:14:47 -0800 (PST) [thread overview]
Message-ID: <0e10d866-00f3-4311-90a9-f704ef26e10b@googlegroups.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 2301 bytes --]
[This is a reminder that the deadline for pre-registration is ** March 15,
2020 **, note
that we are pleased to have to new lectures by Valery Isaev and Paige
North]
====================================================================
Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory
Ile d’Oléron, CAES CNRS La vieille Perrotine, France.
25th-29th May 2020
https://epit2020cnrs.inria.fr
====================================================================
The EPIT is a French thematic school proposing, on an yearly basis, an
intensive 5-day long training,
specializing on a particular topic in theoretical computer science. It is
primarily addressed to PhD students,
Post-doctoral researchers and junior academics.
The 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/ to know more.
For any question, please contact epit2020@sciencesconf.org
NB: As the number of places is limited, we have fixed a deadline for
pre-registration to ** March 15, 2020 **.
--------------------------------------------------------------------
Lecturers
Andrej Bauer (Ljubljana University):
Introduction to Homotopy Type Theory
Guillaume Brunerie (Stockholm University):
Synthetic Homotopy 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
Andy Pitts (Cambridge University):
Models of (Univalent) Type Theory
Bas Spitters (Aarhus University):
The Coq-HoTT library
--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/0e10d866-00f3-4311-90a9-f704ef26e10b%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 8893 bytes --]
next reply other threads:[~2020-03-02 19:14 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-03-02 19:14 nicolas tabareau [this message]
2020-06-05 9:19 ` [HoTT] " nicolas tabareau
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=0e10d866-00f3-4311-90a9-f704ef26e10b@googlegroups.com \
--to=tabareau.nicolas@gmail.com \
--cc=HomotopyTypeTheory@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).