Planning

Week Mon. 29 Tue. 30 Wed. 01 Thu. 02 Fri. 03 List

	Mon. 29	Tue. 30	Wed. 01	Thu. 02	Fri. 03
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00	Calculs et raisonnements transfinis 13:30 - 15:00 (1h30) Calculs et raisonnements transfinis Bruno Durand Coffee break 15:00 - 15:15 (15min) Coffee break Constructive type theory and synthetic computability 15:15 - 16:45 (1h30) Constructive type theory and synthetic computability Dominik Kirst	Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité 9:00 - 10:30 (1h30) Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité Laura Fontanella Coffee break 10:30 - 10:45 (15min) Coffee break Constructive type theory and synthetic computability 10:45 - 12:15 (1h30) Constructive type theory and synthetic computability Dominik Kirst Lunch 12:15 - 13:45 (1h30) Lunch Calculs et raisonnements transfinis 13:45 - 15:15 (1h30) Calculs et raisonnements transfinis Bruno Durand Coffee break 15:15 - 15:30 (15min) Coffee break Round table: Doing research in the era of generative AI 15:30 - 17:00 (1h30) Round table: Doing research in the era of generative AI	Constructive type theory and synthetic computability 9:00 - 10:30 (1h30) Constructive type theory and synthetic computability Dominik Kirst Coffee break 10:30 - 10:45 (15min) Coffee break Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? 10:45 - 12:15 (1h30) Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? Olivier Bournez Lunch 12:15 - 13:45 (1h30) Lunch Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité 13:45 - 15:15 (1h30) Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité Laura Fontanella Coffee break 15:15 - 15:30 (15min) Coffee break Social event 15:30 - 17:00 (1h30) Social event	Calculs et raisonnements transfinis 9:00 - 10:30 (1h30) Calculs et raisonnements transfinis Bruno Durand Coffee break 10:30 - 10:45 (15min) Coffee break Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? 10:45 - 12:15 (1h30) Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? Olivier Bournez Lunch 12:15 - 13:45 (1h30) Lunch Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité 13:45 - 15:15 (1h30) Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité Laura Fontanella Coffee break 15:15 - 15:30 (15min) Coffee break Round table: Studying and teaching in the era of generative AI 15:30 - 17:00 (1h30) Round table: Studying and teaching in the era of generative AI	Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? 9:00 - 10:30 (1h30) Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? Olivier Bournez Coffee break 10:30 - 10:45 (15min) Coffee break Round table: The role of mathematics in post-secondary computer science education 10:45 - 12:15 (1h30) Round table: The role of mathematics in post-secondary computer science education

Privacy | Accessibility