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.
Theme
Reasoning and its structure beyond the finite realm
Content
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
Loading... 
