Final Programme for SoTFoM II

Here is the Final Programme for SoTFoM II:

12th January. Location: Room 349, Senate House.

09:30-10:00 Coffee/Announcements
10:00-11:30 James Ladyman-‘What Kind of Foundation for Mathematics Is Homotopy Type Theory?’
11:30-12:00 Coffee
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.00-16.30 Coffee
16.30-18:00 Toby Meadows-` What are foundations good for and how can we compare them?’

13th January. Location: Room 349, Senate House.
09:30-10:00 Coffee/Announcements
10:00-11:30 Sy-David Friedman-` The three sources of set-theoretic truth.’
11:30-12:00 Coffee
12:00-13:15 Sam Sanders -`On The Contingency of Predicativism.’
13:15-14:45 Lunch
14:45-16.00 Shivaram Lingamneni -`Can We Resolve the Continuum Hypothesis?’
16.00-16.30 Coffee
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.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s