Programme

Semaine Lun. 29 Mar. 30 Mer. 01 Jeu. 02 Ven. 03 Liste

	Lun. 29	Mar. 30	Mer. 01	Jeu. 02	Ven. 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 Pause café 15:00 - 15:15 (15min) Pause café 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 Pause café 10:30 - 10:45 (15min) Pause café Constructive type theory and synthetic computability 10:45 - 12:15 (1h30) Constructive type theory and synthetic computability Dominik Kirst Déjeuner 12:15 - 13:45 (1h30) Déjeuner Calculs et raisonnements transfinis 13:45 - 15:15 (1h30) Calculs et raisonnements transfinis Bruno Durand Pause café 15:15 - 15:30 (15min) Pause café Table ronde : faire de la recherche à l'ère de l'IA générative 15:30 - 17:00 (1h30) Table ronde : faire de la recherche à l'ère de l'IA générative	Constructive type theory and synthetic computability 9:00 - 10:30 (1h30) Constructive type theory and synthetic computability Dominik Kirst Pause café 10:30 - 10:45 (15min) Pause café 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 Déjeuner 12:15 - 13:45 (1h30) Déjeuner 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 Pause café 15:15 - 15:30 (15min) Pause café Social event 15:30 - 17:00 (1h30) Social event	Calculs et raisonnements transfinis 9:00 - 10:30 (1h30) Calculs et raisonnements transfinis Bruno Durand Pause café 10:30 - 10:45 (15min) Pause café 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 Déjeuner 12:15 - 13:45 (1h30) Déjeuner 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 Pause café 15:15 - 15:30 (15min) Pause café Table ronde : étudier et enseigner à l'ère de l'IA générative 15:30 - 17:00 (1h30) Table ronde : étudier et enseigner à l'ère de l'IA générative	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 Pause café 10:30 - 10:45 (15min) Pause café Table ronde : la place des maths dans l'enseignement informatique post-bac 10:45 - 12:15 (1h30) Table ronde : la place des maths dans l'enseignement informatique post-bac

Vie privée | Accessibilité