[FOM] "Proof, Truth, Computation" Summer School 20-25 July 2014 Chiemsee
Peter Schuster
pschust at maths.leeds.ac.uk
Mon Mar 3 06:29:29 EST 2014
Summer School "Proof, Truth, Computation" (PTC 2014)
20-25 July 2014, Chiemsee, Germany
Call for applications by young researchers. Deadline: 17 March 2014.
-----------------------------------------------------------------------------------------------------------
This is to invite young researchers (PhD students and post-docs) to apply
for the upcoming summer school
"Proof, Truth, Computation. Modern Foundations of Mathematics and Contemporary Philosophy".
Application by female scientists is particularly encouraged.
The event will take place from 21st to 25th July 2014 (arrival 20th July
afternoon, departure 25th July after noon) in the Benedictine nunnery
Frauenwoerth on the Fraueninsel in Chiemsee between Munich and Salzburg:
http://www.frauenwoerth.de/english/
The Volkswagen Foundation will kindly sponsor this event:
http://www.volkswagenstiftung.de/en/foundation.html
To get an idea of this summer school, especially of its interdisciplinary
character, please see the material provided at end of this message. Junior
participants will be particularly expected to contribute to the questions
and answers sessions and to the round table discussions.
Important dates:
Deadline for application: 17th March 2014
Notification of acceptance: 24st March 2014
Communication of precise air fare (if applicable): 31st March 2014
Applications are to be sent, in a single PDF document, by email, to
ptc14 at math.lmu.de
PhD students need to send a CV of at most 2 pages, a brief letter of
motivation and one letter of reference. Postdocs only need to send a CV of
at most 2 pages. All applicants need to tell whether they also apply for
funding and, if so, to which extent. Only a limited amount of funding is
available. Applicants for funding are expected to stay for the whole week,
and to tell the extent to which they can be funded by other sources.
If your application for funding is successful, then you will be offered
reimbursement of the travel and lodging expenses that you cannot cover
from other sources. This will require that you choose the cheapest travel
option, and that you book your trip by 31st March 2014 in case of flights
and by the earliest possible date in case of long-distance trains. We hope
to be able to contribute partially to your subsistence expenses (meals).
Meals (breakfast, lunch and dinner - the latter two excluding drinks) for four
and a half days will be EUR 180. PhD students and postdocs are expected to
share double rooms, for EUR 125 each person for the whole week (5 nights).
Organising committee:
Hannes Leitgeb <hannes.leitgeb at lmu.de>
Iosif Petrakis <petrakis at math.lmu.de>
Peter Schuster <pschust at maths.leeds.ac.uk>
Helmut Schwichtenberg <schwicht at math.lmu.de>
Enquiries are to be directed to:
ptc14 at math.lmu.de
--------------------------------------------------------------------------
Main Topics
Truth Theories
Predicativity
Constructivity
Proof Theory
Formal Epistemology
Set-theoretic Truth
Further topics will include:
Homotopy, Types and Univalence
Program Extraction from Proofs
Coalgebraic and Categorical Semantics
Minimal Type Theory
Speakers and disputants (preliminary list)
Tatiana Arrigoni
Steve Awodey
Marco Benini
Ulrich Berger
Andrea Cantini
Thierry Coquand (to be confirmed)
Laura Crosilla
Branden Fitelson
Sy Friedman (to be confirmed)
Volker Halbach
Hajime Ishihara
Peter Koellner
Hannes Leitgeb
Maria Emilia Maietti
David Makinson
Yiannis Moschovakis
Sara Negri
Erik Palmgren
Dirk Pattinson
Dieter Probst
Joan Rand-Moschovakis
Michael Rathjen
Giuseppe Rosolini (to be confirmed)
Giovanni Sambin
Monika Seisenberger
Philip Welch
Andreas Weiermann
Aims and Scope
Mathematical methods are about to shape some branches of contemporary
philosophy just as they have formed most of the natural and many of the social
sciences. The thread of the school we propose is to mirror this development,
known as mathematical philosophy or formal epistemology; to highlight the
challenges that arise from it; and to display its repercussions in mathematics.
As for theoretical computer science, a quite comparable spin-off of
mathematics, the principal counterpart within mathematics is mathematical
logic.
Since many of the objects of study lie beyond the typical commitment of
contemporary mathematics, it is decisive to include non-classical issues such
as predicativity and constructivity. Proof theory does indeed play a pivotal
role: as the area of mathematical logic that is closest to the understanding of
logic as the science of formal languages and reasoning, it is predestined for
interaction both with philosophical and computer science logic.
A hot topic that crosses over wide ranges of the school, and is most
prominently represented within, is whether axiomatic theories of truth and of
related notions, such as provability and knowledge, are possible at all in the
stress field between syntax and semantics. Rational belief and rational choice,
epistemic issues of principal philosophical relevance, are put under
mathematical scrutiny by applying probabilism: that is, the thesis that a
rational agent's degrees of belief should conform to the axioms of probability
theory.
----------------------------------------------------------------------------
More information about the FOM
mailing list