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.
Thème
Le raisonnement et sa structure au-délà du fini
Contenu
Des cours compréhensibles pour les jeunes chercheurs et chercheuses
Raisonner sur le continu
Utiliser le transfini pour calculer
Logique classique et correspondance preuves-programmes
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