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