* [HoTT] EPIT 2020: Spring School on Homotopy Type Theory (second announcement)
@ 2020-01-30 13:05 nicolas tabareau
0 siblings, 0 replies; only message in thread
From: nicolas tabareau @ 2020-01-30 13:05 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 1979 bytes --]
Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory
Ile d’Oléron, CAES CNRS La vieille Perrotine, France.
25th-29th May 2020
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 firstname.lastname@example.org
NB: As the number of places is limited, we have fixed a deadline for
pre-registration to ** March 15, 2020 **.
Andrej Bauer (Ljubljana University):
Introduction to Homotopy Type Theory
Bas Spitters (Aarhus University):
The Coq-HoTT library
Andy Pitts (Cambridge University):
Models of (Univalent) Type Theory
Anders Mörtberg (Stockholm University):
Cubical Type Theory
Guillaume Brunerie (Stockholm University):
Synthetic Homotopy Theory
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 HomotopyTypeTheoryemail@example.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/221d36fb-a065-404f-9664-e474734713a6%40googlegroups.com.
[-- Attachment #1.2: Type: text/html, Size: 7274 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-30 13:05 [HoTT] EPIT 2020: Spring School on Homotopy Type Theory (second announcement) nicolas tabareau
Discussion of Homotopy Type Theory and Univalent Foundations
Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott
Example config snippet for mirrors
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git