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

• 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

The school takes place within the Vitry site of the IUT de Créteil-Vitry at Domaine Chérioux, 4 Rte de Fontainebleau, 94400 Vitry-sur-Seine.

Tram T7 stop domaine Chérioux

Or 1km walking from metro station of line 7: Villejuif, Louis Aragon

• Aurore Alcolei
• Julien Cervelle
• Laura Fontanella