(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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]