[logic-ml] PTC 2014: Proof, Truth, Computation, Chiemsee (Germany), 20-25 Jul 2014

[Hajime Ishihara]

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.

----------------------------------------------------------------------------

-- 
Professor Hajime Ishihara
School of Information Science
Japan Advanced Institute of Science and Technology
1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan
Tel: +81-761-51-1206
Fax: +81-761-51-1149
ishihara at jaist.ac.jp
http://www.jaist.ac.jp/~ishihara