[TYPES/announce] Summer School on Proof Theory, Ghent (Belgium), 2-5 Sep 2018

[Bahareh Afshari]

1st International Summer School on Proof Theory
Ghent, September 2-5, 2018
http://www.proofsociety.org/summer-school-2018/
Deadline for registration: 15 July 2018
Limited places, assigned according to first-come-first-served

Colocated with the summer school is the
1st Workshop on Proof Theory and its Applications
Ghent, September 6-7, 2018
http://www.proofsociety.org/workshop-2018/
Deadline for registration:  1 July 2018

Important dates
===============
- deadline for ASL student travel grants
           for summer school               2 June 2018
- workshop registration deadline           1 July 2018
- summer school application deadline      15 July 2018
- student poster submission               15 July 2018
- summer school                     2-5 September 2018
- workshop                          6-7 September 2018


The 1st International Summer School for Proof Theory in Ghent is arranged
under the auspices of The Proof Society, and is sponsored by the Kurt Gödel
Society.  The Proof Society has recently been formed to support the notion
of proof in its broadest sense, through a series of suitable activities; to
be therefore inclusive in reaching out to all scientific areas which
consider proof as an object in their studies; to enable the community to
shape its future by identifying, formulating and communicating its most
important goals; to actively promote proof to increase its visibility and
representation.

The aim of the summer school is to cover basic and advanced topics in proof
theory.  The focus of the first edition will be on structural proof theory,
ordinal analysis, provability logic, automated theorem proving, and
philosophical aspects of proof.  Other areas like reverse mathematics,
proof mining, and proof complexity will be covered at the workshop, and in
follow up summer schools.  The intended audience is advanced master
students, PhD students, postdocs and experienced researchers in
mathematics, computer science and philosophy.

The summer school is co-located with a workshop on proof theory in Ghent
(6-7 September).  The workshop will be the inaugural meeting of The Proof
Society. Students are invited to apply with an informal abstract (1 page)
to the poster session which will be held as part of the workshop.


Scientific Programme
====================

The summer school will provide six courses:
Cut Elimination by Matthias Baaz (TU Wien)
Ordinals and their Applications by Andreas Weiermann (Ghent University)
Proof Theory in Philosophy by Carlo Nicolai (King's College London)
Provability Logic by David Fernandez Duque (Ghent University)
Proof Theory in Computer Science by Andrei Voronkov (University of
Manchester)
Programme Extraction by Monika Seisenberger (Swansea University)

In addition there will be one special evening lecture:
Selected topics from the Theory of Truth by Rafal Urbaniak (Ghent
University).

There will also be a poster session.  The best poster will be awarded with
an original painting by Andreas Weiermann.



Registration and Poster Submission
==================================

To register and submit a poster follow the instructions on the website.
Deadline for applying for the summer school is 15 July 2018.


ASL Travel Grants
=================

Students who are members of the ASL, may apply for ASL travel funds.
Applications have to be addressed directly to the ASL, see their web-site
for more information.  Applications should be received by the ASL at least
three months prior to the start of the meeting, in this case by 2 June 2018.

Programme Committee
===================

Bahareh Afshari, University of Gothenburg
Matthias Baaz, TU Wien
Arnold Beckmann, Swansea University (Chair)
Lev Beklemishev, Steklov Mathematical Institute
Balthasar Grabmayr, Humboldt University Berlin
Rosalie Iemhoff, Utrecht University
Joost Joosten, University of Barcelona
Antonina Kolokolova, Memorial University of Newfoundland
Norbert Preining, Accelia Inc.
Andreas Weiermann, Ghent University


Local organizing committee
==========================

Arnold Beckmann, Swansea University
David Belanger, Ghent University
David Fernandez-Duque, Ghent University
Lenny Neyt, Ghent University
Rafal Urbaniak, Ghent University
Andreas Weiermann, Ghent University (Chair)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180530/09e39ded/attachment-0001.html>