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  
CNRS CCSD Sciencesconf