logo de la conférence
Versión en francés Versión en inglés Versión en espagnol seleccionada

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

12-16 abr. 2021
Online - Nantes (Francia)


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.
Disciplina científica : Computer Science - Logic in Computer Science - Programming Languages - Logic

Lugar de la conferencia
Personas conectadas: 68 |  Contacto |  Acerca de |  RSS |  Privacidad |  Accesibilidad