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