Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  Belgium

Select a location
1
Proof Society 2025 — 7th International School and Workshop on Proof Theory
01 Sep 2025 - 05 Sep 2025 • Ghent, Belgium
Organizer:
The 7th International School and Workshop on Proof Theory will be organized by Ghent University under the auspices of The Proof Society.
Abstract:
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, this event embraces the notion of proofs in its broadest sense, welcoming participation and contributions from logic, computer science, mathematics, and beyond.
Event listing ID:
1666166
Related subject(s):


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 26 June 2025