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

Thursday, April 12, 2018 - 9:30 AM

Monday, April 9, 2018
Tuesday, April 10, 2018
Wednesday, April 11, 2018
Thursday, April 12, 2018

9:30 AM Welcome Coffee
Welcome Coffee
9:30 AM - 10:00 AM
Room: Marilyn and James Simons Conference Centre
10:00 AM Introduction - Emmanuel Ullmo (IHES) Mérouane Debbah (Huawei Technologies)
Introduction
- Emmanuel Ullmo (IHES)
- Mérouane Debbah (Huawei Technologies)
10:00 AM - 10:15 AM
Room: Marilyn and James Simons Conference Centre
10:15 AM 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 AM - 11:15 AM
Room: Marilyn and James Simons Conference Centre
11:15 AM Topos and Information - Daniel Bennequin (Univ. Paris-Diderot)
Topos and Information
- Daniel Bennequin (Univ. Paris-Diderot)
11:15 AM - 12:15 PM
Room: Marilyn and James Simons Conference Centre
12:15 PM Lunch
Lunch
12:15 PM - 1:45 PM
Room: Marilyn and James Simons Conference Centre
1:45 PM Computational Interpretation of Topos Theory - Thierry Coquand (University of Göteborg)
Computational Interpretation of Topos Theory
- Thierry Coquand (University of Göteborg)
1:45 PM - 2:45 PM
Room: Marilyn and James Simons Conference Centre
2:45 PM 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)
2:45 PM - 3:45 PM
Room: Marilyn and James Simons Conference Centre
3:45 PM Coffee break
Coffee break
3:45 PM - 4:00 PM
Room: Marilyn and James Simons Conference Centre

4:00 PM 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?
4:00 PM - 5:00 PM
Room: Marilyn and James Simons Conference Centre

Choose timezone