\n **\n **

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 A utumn school is co-located with a workshop on proo f theory in Utrecht (11-12 November). We invite pr oposals for contributed talks at the workshop. The se can be on published or unpublished work, as wel l as work in progress. Submissions via the EasyChair conference page. Ab stracts are limited to 2 pages including reference s (12pt, 2cm margins). Authors of accepted abstrac ts will be asked to provide a tex file for the pur pose of a book of abstract which will be made avai lable to the attendees of the workshop. The best t alk presented by a student will receive an award f rom The Proof Society.