Proof Society Summer School 2018
Ghent, September 2-5, 2018
The 1st International Summer School on 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 it 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, and automated theorem proving. 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 new to the field in mathematics, computer science and philosophy. Students are invited to apply with an informal abstract (1 page) to the poster session.
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.
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 best poster will be awarded with an original painting by Andreas Weiermann.
The lectures start on Sunday September 2, 9:15 and end Wednesday September 5, 16:00.
The summer school will provide six courses by leading scientists:
- Cut Elimination by Matthias Baaz (Vienna University of Technology) [slides]
- Ordinals and their Applications by Andreas Weiermann (Ghent University) [slides]
- Proof Theory in Philosophy by Carlo Nicolai (King’s College London) [slides]
- Provability Logic by David Fernández-Duque (Ghent University) [slides day 1, slides day 2]
- Modal Quantifiers, Potential Infinity, and Yablo sequences by Michał Tomasz Godziszewski (University of Warsaw) and Rafał Urbaniak (Ghent University, University of Gdańsk) [slides]
- Program Extraction by Monika Seisenberger (Swansea University) [slides]
- Baaz: Sunday Monday 9:30-11:00
- Fernández-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
- Weiermann: Tuesday Wednesday 09:30-11:00
- Godziszewski: Tuesday Wednesday 11:30-13:00
- Seisenberger: Tuesday Wednesday 14:30-16:00
- Questions and Answers: Tuesday 16:00-17:00
- Poster session: Wednesday 16:00-17:00
- Debate about future career paths: Wednesday 17:00-18:00
Certificates for participation will be provided.
Best Poster Award
From left to right: Evgeny Kolmakov, Andreas Weiermann, Aleksandra Samonek
Het Pand, Onderbergen 1, 9000 Ghent, Belgium
Directions to the venue can be found here.
Picture of Het Pand by Hilde Christiaens.
Practical Information and Registration
- Summer School: September 2 – 5, 2018
- Deadline for registration: July 15, 2018
- Deadline for poster submission: July 15, 2018
- Notification of poster acceptance: July 30, 2018
- To register and submit a poster please download the linked application form and follow the instructions given there.
- No fees will be involved.
- For accomodation we suggest to consult the information of the Visit Ghent website.
A youth hostel is located in the city center.
For any question regarding the event you can contact the organizing committee at David.Belanger@ugent.be or Andreas.Weiermann@ugent.be.
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.
Local organizing committee
- Arnold Beckmann, Swansea University
- David Belanger, Ghent University
- David Fernández-Duque, Ghent University
- Lenny Neyt, Ghent University
- Rafal Urbaniak, Ghent University
- Andreas Weiermann, Ghent University (Chair)
- 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
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, you will get a better price (and an assured place) by buying your ticket in advance.
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!
Impressions from Ghent