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
Reasoning about the continuum
Using the transfinite for computation
Classical logic and the proofs–programs correspondence
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