Colloque Bénabou
Friday, November 18, 2022 -
10:00 AM
Monday, November 14, 2022
Tuesday, November 15, 2022
Wednesday, November 16, 2022
Thursday, November 17, 2022
Friday, November 18, 2022
10:15 AM
Mot de bienvenue - ouverture du colloque
-
Anatole Khélif
Mot de bienvenue - ouverture du colloque
Anatole Khélif
10:15 AM - 10:30 AM
vidéo : <a href="https://youtu.be/51Ww5-eunJk">https://youtu.be/51Ww5-eunJk</a>
10:30 AM
Profunctors and group cohomology
-
Dominique Bourn
Profunctors and group cohomology
Dominique Bourn
10:30 AM - 11:15 AM
vidéo : <a href="https://youtu.be/TfxxKv13Qao">https://youtu.be/TfxxKv13Qao</a>
11:15 AM
How to be concrete when you don't have a choice
-
David Roberts
How to be concrete when you don't have a choice
David Roberts
11:15 AM - 12:00 PM
vidéo : <a href="https://youtu.be/nyaNBr9WfCk">https://youtu.be/nyaNBr9WfCk</a>
12:00 PM
Current uses of monoidal categories at the cutting-edge tech end (AI & quantum computing)
-
Bob Coecke
Current uses of monoidal categories at the cutting-edge tech end (AI & quantum computing)
Bob Coecke
12:00 PM - 12:45 PM
vidéo : <a href="https://youtu.be/5n3jK9Cl2no">https://youtu.be/5n3jK9Cl2no</a>
12:45 PM
Pause déjeuner
Pause déjeuner
12:45 PM - 2:00 PM
2:00 PM
Treillis de structures et généricité
-
Stéphane Dugowson
Treillis de structures et généricité
Stéphane Dugowson
2:00 PM - 2:45 PM
vidéo : <a href="https://youtu.be/HDNfusfPuEk">https://youtu.be/HDNfusfPuEk</a>
2:45 PM
A story of action representability
-
George Janelidze
A story of action representability
George Janelidze
2:45 PM - 3:30 PM
vidéo : <a href="https://youtu.be/Q7SBa8OPBqE">https://youtu.be/Q7SBa8OPBqE</a>
3:30 PM
Représentations des autographes et des autocatégories
-
René Guitart
Représentations des autographes et des autocatégories
René Guitart
3:30 PM - 4:15 PM
vidéo : <a href="https://youtu.be/kt3hdW7rDiw">https://youtu.be/kt3hdW7rDiw</a>