- 10h30 - 12h Mate Szabo (AHP-PreST), Kreisel's Genetic Theories and Church's Thesis
- 12h - 14h déjeuner
- 14h - 15h30 Marianna Antonutti Marfori (MCMP-LMU), Formalisation and Reduction: Lessons from the relativised Hilbert program
- 15h45 - 17h15 Pierre Wagner (Paris 1 Panthéon Sorbonne-IHPST), Carnap on incompleteness and the unity of formal science