CFR: SoTFoM, SYMPOSIUM II `COMPETING FOUNDATIONS?'; INSTITUTE OF PHILOSOPHY, LONDON, 12-13 January 2015.
The organisers are delighted to announce a provisional programme and call for registration for the upcoming Symposium in the Foundations of Mathematics, to be held at the Institute of Philosophy in London on 12-13th January 2015. There will be an additional (free) affiliated talk by Benedict Eastaugh at the Institute on the 14th January.
Sponsors: The Institute of Philosophy, Mind Association, British Logic Colloquium, Aristotelian Society, British Society for the Philosophy of Science, and Birkbeck College.
Keynote speakers: James Ladyman, Victoria Gitman, Sy-David Friedman, Toby Meadows.
Contributed speakers: David Corfield, Sam Sanders, Dimitris Tsementzis, Shivaram Lingamneni.
Registration: Registration is £10 for students and £20 otherwise, and can be completed here:
http://events.sas.ac.uk/ip/events/view/16403/IP+Conference%3A+Second+Symposium+on+the+Foundations+on+Mathematics3A+Second+Symposium+on+the+Foundations+on+Mathematics
Further information can be found on sotfom [dot] wordpress [dot] com, or by e-mailing one of the organisers:
Carolin Antos-Kuby (carolin [dot] antos-kuby [at] univie [dot] ac [dot] at)
Neil Barton (bartonna [at] gmail [dot] com)
Claudio Ternullo (ternulc7 [at] univie [dot] ac [dot] at)
John Wigglesworth (jmwigglesworth [at] gmail [dot] com)
Provisional Programme:
12th January.
09:30-10:00 Coffee/Announcements
10:00-11:30 James Ladyman - TBA
11:30-12:00 Coffee
12:00-13:15 David Corfield - `Homotopy Type Theory: A New Foundational Language.'
13:15-14:45 Lunch (Own arrangements)
14:45-16.00 Dimitris Tsementzis - `On Structuralist Foundations of Mathematics.'
16.00-16.30 Coffee
16.30-18:00 Toby Meadows - TBA
13th January.
09:30-10:00 Coffee/Announcements
10:00-11:30 Sy-David Friedman - TBA
11:30-12:00 Coffee
12:00-13:15 Sam Sanders - `On The Contingency of Predicativism.'
13:15-14:45 Lunch (Own arrangements)
14:45-16.00 Shivaram Lingamneni - `Can We Resolve the Continuum Hypothesis?'
16.00-16.30 Coffee
16.30-18:00 Victoria Gitman - TBA
Sponsors: The Institute of Philosophy, Mind Association, British Logic Colloquium, Aristotelian Society, British Society for the Philosophy of Science, and Birkbeck College.
Keynote speakers: James Ladyman, Victoria Gitman, Sy-David Friedman, Toby Meadows.
Contributed speakers: David Corfield, Sam Sanders, Dimitris Tsementzis, Shivaram Lingamneni.
Registration: Registration is £10 for students and £20 otherwise, and can be completed here:
http://events.sas.ac.uk/ip/events/view/16403/IP+Conference%3A+Second+Symposium+on+the+Foundations+on+Mathematics3A+Second+Symposium+on+the+Foundations+on+Mathematics
Further information can be found on sotfom [dot] wordpress [dot] com, or by e-mailing one of the organisers:
Carolin Antos-Kuby (carolin [dot] antos-kuby [at] univie [dot] ac [dot] at)
Neil Barton (bartonna [at] gmail [dot] com)
Claudio Ternullo (ternulc7 [at] univie [dot] ac [dot] at)
John Wigglesworth (jmwigglesworth [at] gmail [dot] com)
Provisional Programme:
12th January.
09:30-10:00 Coffee/Announcements
10:00-11:30 James Ladyman - TBA
11:30-12:00 Coffee
12:00-13:15 David Corfield - `Homotopy Type Theory: A New Foundational Language.'
13:15-14:45 Lunch (Own arrangements)
14:45-16.00 Dimitris Tsementzis - `On Structuralist Foundations of Mathematics.'
16.00-16.30 Coffee
16.30-18:00 Toby Meadows - TBA
13th January.
09:30-10:00 Coffee/Announcements
10:00-11:30 Sy-David Friedman - TBA
11:30-12:00 Coffee
12:00-13:15 Sam Sanders - `On The Contingency of Predicativism.'
13:15-14:45 Lunch (Own arrangements)
14:45-16.00 Shivaram Lingamneni - `Can We Resolve the Continuum Hypothesis?'
16.00-16.30 Coffee
16.30-18:00 Victoria Gitman - TBA
Comments
Post a Comment