|
29 juin-3 juil. 2026 Vitry (France)
|
Programme
 |
jeudi 2 juillet 2026 |
|
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
|
›9:00 (1h30)
9:00 - 10:30 (1h30)
Calculs et raisonnements transfinis
Bruno Durand
›10:30 (15min)
10:30 - 10:45 (15min)
Pause café
›10:45 (1h30)
10:45 - 12:15 (1h30)
Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ?
Olivier Bournez
›12:15 (1h30)
12:15 - 13:45 (1h30)
Déjeuner
›13:45 (1h30)
13:45 - 15:15 (1h30)
Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité
Laura Fontanella
›15:15 (15min)
15:15 - 15:30 (15min)
Pause café
15:30 - 17:00 (1h30)
Table ronde : étudier et enseigner à l'ère de l'IA générative
|
| Session | Discours/Intervention | Logistique | Pause | Sortie |
