Thursday, June 12th
All talks will take place in the Amphitheater (1st floor) at the University of Chicago Paris Center.
9:15: Keynote: Thierry Coquand (University of Göteburg, Collège de France): Some Remarks on Voevodsky’s Univalence Principle
Abstract: We explore connections between recent work on Voevodsky’s univalence principle in dependent type theory and questions studied by Bertrand Russell, including definite descriptions, the theory of structures, and the discussions in the introduction to the second edition of Principia Mathematica — particularly concerning the axiom of reducibility and the extensionality principle.
10:45: Faustine Oliva (Université Aix Marseille, Centre Gilles Gaston Granger): Formal Proof Script: An Interface between Formalisms and Intuitions? (Abstract)
11:45: Matteo Zicchetti (University of Warsaw): Mathematical Internalism, Intolerance, and the Argument for the Determinacy of Arithmetic (Abstract)
12:45 – 14:15: Lunch
14:15: Filipo Constantini and David Rabouin (SPHERE, CNRS): Equality: From Martin-Löf and HoTT to Leibniz (Abstract)
15:15: Gabriel Day (University of Notre Dame): What is a Model-Theoretic Patterning? (Abstract)
16:15: Fabian Pregel (Oxford University): The New Age of Enumerative Induction (Abstract)
Apéritif
Conference Dinner at l’Auberge Etchegorry (Location)
All talks will take place in the Amphitheater (1st floor) at the University of Chicago Paris Center.
9:00: Sorin Bangu (University of Bergen): Wittgenstein on Cantor’s Diagonal Proof (Abstract)
10:00: John Marvin (University of Chicago): The Scope of Reverse Mathematics: Strictness, Base Theories, and Philosophical Implications (Abstract)
11:00: Kevin Davey (University of Chicago): What the Curry-Howard Correspondence Teaches us about the Connectives (Abstract)
12:00 – 13:45: Lunch
13:45: David Waszek (Ecole Normale Supérieure Paris): Applications of Mathematics as Reformulations (Abstract)
15:00: Brian McLoone and Elay Shech (Auburn University): Theory Choice in Science and Logic (Abstract)
16:00: Ludovica Conti (University of Vienna): The Logic of Impredicativity (Abstract)
17:00: Benjamin Salman (University of Chicago): Is There a Logic of Logic? (Abstract)
Apéritif