Workshop on Proof Theory and its Applications
Ghent, September 6-7, 2018
The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as panel discussions.
The mission of TPS has been stated as
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 following researchers have accepted to speak at the workshop:
Andrew Arana (Université Paris 1 – Panthéon-Sorbonne)
Rosalie Iemhoff (Utrecht University)
Dale Miller (Inria Saclay and LIX)
Paulo Oliva (Queen Mary University of London)
Pavel Pudlák (Czech Academy of Sciences)
Michael Rathjen (University of Leeds)
Albert Visser (Utrecht University)
Practical Information and Registration
- Workshop: September 6-7, 2018
- Deadline for registration: July 1, 2018
- Deadline for abstract submission: July 1, 2018
- Notification of paper acceptance: July 15, 2018
- To register and submit an abstract please download the linked registration form and follow the instructions given there.
- No fees will be involved.
- For accommodation we suggest to consult the information of the Visit Ghent website.
For any question regarding the event you can contact the organizing committee at David.FernandezDuque@UGent.be or Andreas.Weiermann@ugent.be.
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