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

• inviting renowned speakers from academia
• providing a firm foundation in central basic and advanced areas of proof theory
• allowing them to present their (first results) to fellow (PhD) students, postdocs and professors
• offering them a forum to grow their own (international) network in an informal setting.

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:

• Gentzen Cut elimination by Matthias Baaz
• Ordinals and their applications by Andreas Weiermann
• Philosophy of Proof Theory by Carlo Nicolai
• Provability Logic by David Fernandez Duque
• Proof Theory in computer Science by Andrei Voronkov
• Proof theory for non classical logic by Agata Ciabatoni
• Selected topics from the heory of Truth by Rafal Urbaniak

Tentative Schedule

Part 1:

• Baaz: Sunday Monday 9:30-11:00
• Fernandez Duque Sunday Monday 11:30-13:00
• Nicolai: Sunday Monday 14:30-16:00
• Questions and Answers: Sunday 16:00-17:00
• Informal meeting and networking event: Monday 16:00-17:00

Part 2:

• Weiermann: Tuesday Wednesday 09:30-11:00
• Voronkov: Tuesday Wednesday 11:30-13:00
• Ciabatoni: Tuesday Wednesday 14:30-16:00
• Questions and Answers: Tuesday 16:00-17:00
• Evening lecture (to be confirmed): Urbaniak Tuesday 17:00-18:30.
• Poster session: Wednesday 16:00-17:00
• Debate about future career paths: Wednesday 17:00-18:00

Certificates for participation will be provided.

Venue

Het Pand, Onderbergen 1, 9000 Ghent, Belgium

Picture of Het Pand by Hilde Christiaens.

Practical Information

Dates 02-07.09.2018 Website: Twitter: Deadlines:

• Registration active participation
• Registration passive participation
• Submission of posters

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:

• "Gent-Sint-Pieters" in Dutch;
• "Ghent-Saint-Peter's" in English;
• "Gand-Saint-Pierre" in French.

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:

• Some trams in Ghent announce the stops, and some do not.
• "Genk" with a "k" is a different city entirely; do not go to Genk by mistake!