EPIT 2020: Spring School on Homotopy Type Theory (first announcement)

[nicolas tabareau <nicolas.tabareau@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 1444 bytes --]

(This is the first announcement, details about the registration and application procedure 
 will given in a second announcement after summer)

====================================================================

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 2019 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.


--------------------------------------------------------------------
Lecturers

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





[-- Attachment #2: Type: text/html, Size: 4728 bytes --]