The summer school for young researchers of the gdr IFM brings them together each year around high-level themes, with accessible courses. The school’s courses are counted among the courses required for doctoral students by the doctoral schools.

Reasoning and its structure beyond the finite realm

Courses accessible to young researchers

• 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 »

All courses but one are given in French, the slides are written in English.

Discussions

• Round table: Doing research in the era of generative AI
• Round table: Studying and teaching in the era of generative AI
• Round table: The role of mathematics in post-secondary computer science education

• Aurore Alcolei
• Julien Cervelle
• Laura Fontanella