Program and conference venue | Contact us

Thursday, February 27

11-11.15 Opening

11.15-12.45 Silvia De Toffoli (IUSS Pavia)
Trust in Mathematics

12.45-14.00 Lunch break

14.00-14.35 Matteo de Ceglie (IUSS Pavia), Simon Schmitt (University of Turin)
Hierarchies of theories, Gödel’s Programme, and set-theoretic pluralism: The Problem of Axiom Selection

14.40-15.15 Elena Menta (University of Barcelona)
Mathematical Rigor in Formal Proof Assistants, and vice versa

15.15-15.30 Coffee break

15.30-17.00 Øystein Linnebo (University of Oslo)
Abstraction and Critical Plural Logic

Friday, February 28

9.30-11.00 Matteo Viale (University of Turin)
The compactness theorem for L_{\infty,\infty}

11.00-11.30 Coffee break

11.30-12.05 Bartosz Wcisło (Institute of Philosophy, University of Gdańsk)
Implicit commitments and the omega-rule

12.05-13.35 Lunch break

13.35-14.10 Andrea Ariotto (Sorbonne University, University of Eastern Piedmont)
Set theory and the historicity of mathematics in Jean Cavaillès’ philosophy

14.15-14.50 Ludovica Conti (University of Wien)
Impredicativity and Schematic Generality

14.50-15.00 Coffee break

15.00-16.30 Carolin Antos (University of Konstanz)
The explanatoriness of foundations

16.30-17.00 FilMat Assembly

 ***

Conference venue

Complesso Aldo Moro, Sala lauree
via Sant’Ottavio 18, Torino (directions)

 ***

Scientific and steering committee

Francesca Biagioli, Matteo Plebani, Lorenzo Rossi