Luca Zanetti (IUSS, Pavie)

"Open Texture and Logic"

Readings: Blackburn (2005), The Oxford Dictionary of Philosophy, entry 'open texture' ; Waissman (1945) "Verifiability", section I; Shapiro (2006) "Computability, Proof, and Open-texture", part IV.

Groupe de travail sur algorithmes et Géométrie de l'Interaction, avec Walter Dean (Univ. Warwick) et Thomas Seiller (LIPN, Paris 13).

Séance autour de la compléxité calculatoire.

Orateurs: Walter Dean (Univ. Warwick), Thomas Seiller (LIPN, Paris 13).

Pluralisme représentationnel : le cas des ensembles multi-modèles dans les sciences climatiques

"Repenser la modélisation à l'aune de l'historicité des phénomènes vivants"