First Proof Society Summer School on Proof Theory 2018

Ghent, September 2-5, 2018

The International Summer School for Proof Theory in Ghent is arranged under the auspices of the Proof Society and the Kurt Gödel Society.
The aim of this summer school is to cover basic and advanced topics in proof theory.
The focus will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving.
Other central areas like reverse mathematics, proof mining, and proof complexity will be covered in a follow up summer school.
The summer school is co-located with a workshop on proof theory in Ghent (6-7 September).
The intended audience is advanced master students, PhD students postdocs and experienced researchers in mathematics, computer science and philosophy.
Students are invited to apply with an informal abstract (1 page) to the poster session.

The objective of the summer school is to enable young scientists in their future careers by
The school will consist of 6 four hour courses. In addition there will be a poster session.
The lectures start on Sunday September 2, 9:15 and en Wednesday September 5, 16:00.

Scientific Program

The summer school will provide six courses by leading scientists:

Tentative Schedule

Part 1:

Part 2:

Certificates for participation will be provided.


Het Pand, Onderbergen 1, 9000 Ghent, Belgium

Picture of Het Pand by Hilde Christiaens.

Practical Information

Dates 02-07.09.2018 Website: Twitter: Deadlines: Notification of accepted posters:

No fees (?) will be involved.

For accomodation we suggest to consult the information of the Visit Gent website. A youth hostel is located in the city center.

Local organizing committee

Arnold Beckmann, Andreas Weiermann, David Fernandez Duque, Lenny Neyt. Rafal Urbanek.

Program committee

Bahareh Afshari, Rosalie Iemhoff, Antonina Kolokolova, Arnold Beckmann, Joost Joosten, Lev Beklemishev, Matthias Baaz.

Traveling to Ghent

Ghent has different names in different languages: "Gent" in Dutch, "Ghent" in English, and "Gand" in French.
This is important to know if you are traveling from France (especially if you are buying your ticket in France), where they usually only use the French name "Gand."
The main train station in Ghent is called:
Once you reach the station, you can take Tram Line 1 towards the city center (centrum).
If you are traveling internationally by train (most likely from Paris), you will get a better price (and an assured place) by buying your ticket in advance.
The trip from Paris takes 2-2.5 hours depending on the route. A common route from Paris is to change trains in Lille.
If you go this way, be sure that you buy tickets that arrive in and depart from the same station in Lille. There are two stations in Lille, and you may be offered tickets that arrive in one station and depart from the other.
If you are flying to Brussels Airport, there is a train station in the airport and you can buy a ticket to Ghent on the spot.
Things to watch out for:

Andreas Weiermann 2018-06-01