|
29 juin-3 juil. 2026 Vitry (France)
|
Programme
lundi 29 juin 2026
| Heures | événement | |
| 13:30 - 15:00 | Calculs et raisonnements transfinis - Bruno Durand | |
| 15:00 - 15:15 | Pause café | |
| 15:15 - 16:45 | Constructive type theory and synthetic computability - Dominik Kirst |
mardi 30 juin 2026
| Heures | événement | |
| 09:00 - 10:30 | Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité - Laura Fontanella | |
| 10:30 - 10:45 | Pause café | |
| 10:45 - 12:15 | Constructive type theory and synthetic computability - Dominik Kirst | |
| 12:15 - 13:45 | Déjeuner | |
| 13:45 - 15:15 | Calculs et raisonnements transfinis - Bruno Durand | |
| 15:15 - 15:30 | Pause café | |
| 15:30 - 17:00 | Table ronde : faire de la recherche à l'ère de l'IA générative |
mercredi 1 juillet 2026
| Heures | événement | |
| 09:00 - 10:30 | Constructive type theory and synthetic computability - Dominik Kirst | |
| 10:30 - 10:45 | Pause café | |
| 10:45 - 12:15 | Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? - Olivier Bournez | |
| 12:15 - 13:45 | Déjeuner | |
| 13:45 - 15:15 | Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité - Laura Fontanella | |
| 15:15 - 15:30 | Pause café | |
| 15:30 - 17:00 | Social event |
jeudi 2 juillet 2026
| Heures | événement | |
| 09:00 - 10:30 | Calculs et raisonnements transfinis - Bruno Durand | |
| 10:30 - 10:45 | Pause café | |
| 10:45 - 12:15 | Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? - Olivier Bournez | |
| 12:15 - 13:45 | Déjeuner | |
| 13:45 - 15:15 | Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité - Laura Fontanella | |
| 15:15 - 15:30 | Pause café | |
| 15:30 - 17:00 | Table ronde : étudier et enseigner à l'ère de l'IA générative |
vendredi 3 juillet 2026
| Heures | événement | |
| 09:00 - 10:30 | Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? - Olivier Bournez | |
| 10:30 - 10:45 | Pause café | |
| 10:45 - 12:15 | Table ronde : la place des maths dans l'enseignement informatique post-bac |
