L'école réunit les jeunes chercheurs et chercheuses du gdr IFM chaque année autour de thématiques de haut niveau avec des cours accessibles à des doctorants et jeunes chercheurs. L'école est prise en compte par les école doctorales en tant que formation doctorale.

 Le raisonnement et sa structure au-délà du fini

Des cours compréhensibles pour les jeunes chercheurs et chercheuses

• Olivier Bournez : « Et si programmer, calculer et raisonner n’étaient qu’une affaire d’équations différentielles ? »
• Bruno Durand : « Calculs et raisonnements transfinis »
• Laura Fontanella : « Preuves et programmes, le tiers n'est pas exclu - histoire classique de la réalisabilité »
• Dominik Kirst : « Constructive type theory and synthetic computability »

Des débats

• Table ronde : faire de la recherche à l'ère de l'IA générative
• Table ronde : étudier et enseigner à l'ère de l'IA générative
• Table ronde : la place des maths dans l'enseignement informatique post-bac

• Aurore Alcolei
• Julien Cervelle
• Laura Fontanella