Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies

Name: Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies
Start: 2018-04-12T09:30:00+02:00
End: 2018-04-12T17:00:00+02:00
Location: IHES

12 avril 2018

IHES

Fuseau horaire Europe/Paris

Accueil
Ordre du jour
Speakers biographies
Poster

Elisabeth Jasserand

jasserand@ihes.fr
01 60 92 66 04

Computational Interpretation of Topos Theory

12 avr. 2018, 13:45

Marilyn and James Simons Conference Centre (IHES)

Marilyn and James Simons Conference Centre

IHES

35 route de Chartres 91440 Bures-sur-Yvette

Thierry Coquand (University of Göteborg)

VIDEO

https://youtu.be/bF8gcIOKcqw

Huawei-IHES Workshop on Mathematical Theories for Information and Communication Technologies

Elisabeth Jasserand

Computational Interpretation of Topos Theory

Marilyn and James Simons Conference Centre

IHES

Orateur

Documents de présentation