The 4th I nternational Autumn School on Proof Theory in Utre cht is arranged under the auspices of The Proof So ciety and organised by the universities of Amsterd am and Utrecht. The Proof Society has recently bee n formed to support the notion of proof in its bro adest sense, through a series of suitable activiti es; to be therefore inclusive in reaching out to a ll scientific areas which consider proof as an obj ect in their studies; to enable the community to s hape its future by identifying, formulating and co mmunicating its most important goals; to actively promote proof to increase its visibility and repre sentation.
\nThe Autumn school will provid
e five courses:
\n - Computational Con
tent of Proofs by Ulrich Berger (Swansea
University)
\n - Proof-theoretic Seman
tics by Bogdan Dicher (University of Lisb
on)
\n - Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam
)
\n - Proof Complexity by Ra
heleh Jalali (Utrecht University)
\n - Proof Theory of Set Theory by Michael Ra
thjen (University of Leeds)
Workshop Spe
akers include:
\n - Benno van den Berg (Univer
sity of Amsterdam)
\n - Marta Bílková (Czech A
cademy of Sciences)
\n - Sebastian Enqvist (St
ockholm University)
\n - Stefan Hetzl (TU Wien
)
\n - Hajime Ishihara (Japan Advanced Institu
te of Science and Technology)
\n - Gerhard Jäg
er (University of Bern)
The Autumn school is co-located with a workshop on pr oof theory in Utrecht (11-12 November). We invite proposals for contributed talks at the workshop. T hese can be on published or unpublished work, as w ell as work in progress. Submissions via the EasyChair conference page. Abstracts are limited to 2 pages including referen ces (12pt, 2cm margins). Authors of accepted abstr acts will be asked to provide a tex file for the p urpose of a book of abstract which will be made av ailable to the attendees of the workshop. The best talk presented by a student will receive an award from The Proof Society.
\n