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

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

jeudi 12 avril 2018 - 09:30

lundi 9 avril 2018
mardi 10 avril 2018
mercredi 11 avril 2018
jeudi 12 avril 2018

09:30 Welcome Coffee
Welcome Coffee
09:30 - 10:00
Room: Marilyn and James Simons Conference Centre
10:00 Introduction - Emmanuel Ullmo (IHES) Mérouane Debbah (Huawei Technologies)
Introduction
- Emmanuel Ullmo (IHES)
- Mérouane Debbah (Huawei Technologies)
10:00 - 10:15
Room: Marilyn and James Simons Conference Centre
10:15 Grothendieck toposes and their role in Mathematics - Olivia Caramello (Università degli Studi dell'Insubria in Como)
Grothendieck toposes and their role in Mathematics
- Olivia Caramello (Università degli Studi dell'Insubria in Como)
10:15 - 11:15
Room: Marilyn and James Simons Conference Centre
11:15 Topos and Information - Daniel Bennequin (Univ. Paris-Diderot)
Topos and Information
- Daniel Bennequin (Univ. Paris-Diderot)
11:15 - 12:15
Room: Marilyn and James Simons Conference Centre
12:15 Lunch
Lunch
12:15 - 13:45
Room: Marilyn and James Simons Conference Centre
13:45 Computational Interpretation of Topos Theory - Thierry Coquand (University of Göteborg)
Computational Interpretation of Topos Theory
- Thierry Coquand (University of Göteborg)
13:45 - 14:45
Room: Marilyn and James Simons Conference Centre
14:45 Toposes for Wireless Networks: An idea whose time has come - Jean-Claude Belfiore (Huawei France)
Toposes for Wireless Networks: An idea whose time has come
- Jean-Claude Belfiore (Huawei France)
14:45 - 15:45
Room: Marilyn and James Simons Conference Centre
15:45 Coffee break
Coffee break
15:45 - 16:00
Room: Marilyn and James Simons Conference Centre

16:00 Discussion - Panel: What is the role of Topos in Information and Communication Technologies?
Discussion - Panel: What is the role of Topos in Information and Communication Technologies?
16:00 - 17:00
Room: Marilyn and James Simons Conference Centre

Choisissez le fuseau horaire