29 Jun-3 Jul 2026 Vitry (France)

Planning

Monday, June 29, 2026

Time Event
13:30 - 15:00 Calculs et raisonnements transfinis - Bruno Durand  
15:00 - 15:15 Coffee break  
15:15 - 16:45 Constructive type theory and synthetic computability - Dominik Kirst  

Tuesday, June 30, 2026

Time Event
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 Coffee break  
10:45 - 12:15 Constructive type theory and synthetic computability - Dominik Kirst  
12:15 - 13:45 Lunch  
13:45 - 15:15 Calculs et raisonnements transfinis - Bruno Durand  
15:15 - 15:30 Coffee break  
15:30 - 17:00 Round table: Doing research in the era of generative AI  

Wednesday, July 1, 2026

Time Event
09:00 - 10:30 Constructive type theory and synthetic computability - Dominik Kirst  
10:30 - 10:45 Coffee break  
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 Lunch  
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 Coffee break  
15:30 - 17:00 Social event  

Thursday, July 2, 2026

Time Event
09:00 - 10:30 Calculs et raisonnements transfinis - Bruno Durand  
10:30 - 10:45 Coffee break  
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 Lunch  
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 Coffee break  
15:30 - 17:00 Round table: Studying and teaching in the era of generative AI  

Friday, July 3, 2026

Time Event
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 Coffee break  
10:45 - 12:15 Round table: The role of mathematics in post-secondary computer science education  
Loading... Loading...