French version selectionnée English version Spanish version

Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory

19-23 oct. 2020
CAES CNRS La vieille Perrotine - Ile d'Oléron (France)

http://epit2020.sciencesconf.org

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.
Discipline scientifique : Informatique - Logique en informatique - Langage de programmation - Logique

Lieu de la conférence
Personnes connectées : 98 |  Contact |  À propos |  RSS
Sitemap