[Proof Complexity] CfR: Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025

[Giovanni Solda]

The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society<https://www.proofsociety.org/>. This annual event continues its tradition of uniting students, researchers, and practitioners to explore both the applied and foundational aspects of proof theory.
Following the format of previous editions, the event begins with a three-day Summer School (September 1–3) offering five tutorials on a variety of topics related to proof theory. This will be followed by a two-day Workshop (September 4–5) featuring invited lectures and contributed talks.
Guided by The Proof Manifesto<https://www.proofsociety.org/the-proof-manifesto/>, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.
More information can be found on the website: https://proof2025.ugent.be/

IMPORTANT DATES

  *  Notification of acceptance for submitted abstracts: 14th of July

  *   Registration deadline: 31st of July

  *   Summer School: 1st to 3rd of September

  *   Workshop: 4th and 5th of September


REGISTRATION

Registration is now open. The fees are:

  *   Summer School (regular): 150 euros

  *   Summer School (students): 100 euros

  *   Workshop (regular): 150 euros

  *   Workshop (students): 100 euros

  *   Social dinner: 40 euros

  *   Excursion: 20 euros

Further information (and discounts for Flemish students) can be found on the conference website.


BEST STUDENT PRESENTATION AWARD
As is traditional for the proof Society Workshop, there will be an award for the best student presentation.

TUTORIAL SPEAKERS FOR THE SUMMER SCHOOL
  *   Mohammad Ardeshir
  *   Ali Enayat
  *   Raheleh Jalali
  *   Henry Towsner
  *   Albert Visser

INVITED SPEAKERS FOR THE WORKSHOP
  *   Juan Pablo Aguilera
  *   Toshiyasu Arai
  *   Iris van der Giessen
  *   Anton Setzer
  *   Arnold Beckmann, who will give a talk in memoriam of Wolfram Pohlers

PROGRAM COMMITTEE
  *   Fedor Pakhomov
  *   Bahereh Afshari
  *   Lev Beklemishev
  *   Benno van den Berg
  *   Lorenzo Carlucci
  *   David Fernández-Duque
  *   Balthasar Grabmayr
  *   Stefan Hetzl
  *   Jan Heylen
  *   Rosalie Iemhoff
  *   Mateusz Łełyk
  *   Maria Emilia Maietti
  *   Nicholas Pischke
  *   Takako Nemoto
  *   Monika Seisenberger
  *   Johannes Stern


ORGANIZING COMMITTEE
  *   Andreas Weiermann
  *   Fedor Pakhomov
  *   Giovanni Soldà
  *   Mojtaba Mojtahedi
  *   Brett McLean
  *   Alakh Dhruv Chopra
  *   Philipp Provenzano
  *   Lukas Matthias Zenger
  *   Vlad Lazar
  *   Jan Heylen
  *   Daisie Job Rock
  *   Jozefien D’haeseleer
  *   Morgan Callewaert
  *   Joke Meheus