10:00 - 11:30 Lecture 1: “Transfer Principles and Mathematical Structuralism” (Georg Schiemer, MCMP/LMU-München)
11:30 - 11:45 Coffee Break
11:45 - 13:15 Lecture 2: “Constructivism without Verificationism” (Casper Storm Hansen, IHPST/Paris I)
13:15 - 14:45 Lunch break
14:45 - 16:15 Lecture 3: “Numbers as Pictures of Extensions” (Kai Büttner, LHSP/Nancy)
16:15 – 17:45 Lecture 4: “Non-rigid structures” (John Wigglesworth, MCMP/LMU-München)
17:45 - 18:00 Coffee Break
18:00 - 19:30 Lecture 5: “Mathematical scoreboards: from conversations to proofs”(Valeria Giardino, LHSP/Nancy)
Coordination between the Laboratoire d’Histoire des Sciences et de Philosophie – Archives Henri-Poncaire, Université de Lorraine/CNRS, Nancy (G. Heinzmann), l’Institut d'Histoire et de Philosophie des Sciences et des Techniques (M. Panza, CNRS/Université Paris1-ENS), and the Munich Center of Mathematical Philosophy MCMP, LMU (H. Leitgeb).