Here is the Final Programme for SoTFoM II:
12th January. Location: Room 349, Senate House.
10:00-11:30 James Ladyman-‘What Kind of Foundation for Mathematics Is Homotopy Type Theory?’
12:00-13:15 David Corfield -`Homotopy Type Theory: A New Foundational Language.’
14:45-16.00 Dimitris Tsementzis -`On Structuralist Foundations of Mathematics.’
16.30-18:00 Toby Meadows-` What are foundations good for and how can we compare them?’
13th January. Location: Room 349, Senate House.
10:00-11:30 Sy-David Friedman-` The three sources of set-theoretic truth.’
12:00-13:15 Sam Sanders -`On The Contingency of Predicativism.’
14:45-16.00 Shivaram Lingamneni -`Can We Resolve the Continuum Hypothesis?’
16.30-18:00 Victoria Gitman-` Kelley-Morse Set Theory and Choice Principles for Classes.’
14 January, Location: Room G22, Senate House.
11:30-13:30 Benedict Eastaugh-`Set Existence Principles in Reverse
The organisers are very grateful to the following organisations for their support of the conference: The Mind Association, The British Society for the Philosophy of Science, The British Logic Colloquium, The Aristotelian Society, The Institute of Philosophy, and Birkbeck College.