BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2025/newsitem/15632/1-
 --5-September-2025-7th-International-School-and-Wo
 rkshop-on-Proof-Theory-Proof-Society-2025-Ghent-Be
 lgium
DTSTAMP:20250520T155342
SUMMARY:7th International School and Workshop on P
 roof Theory (Proof Society 2025), Ghent, Belgium
DTSTART;VALUE=DATE:20250901
DTEND;VALUE=DATE:20250905
LOCATION:Ghent, Belgium
DESCRIPTION:The 7th International School and Works
 hop on Proof Theory will be organized by Ghent Uni
 versity under the auspices of The Proof Society. T
 his annual event continues its tradition of unitin
 g students, researchers, and practitioners to expl
 ore both the applied and foundational aspects of p
 roof theory. Following the format of previous edit
 ions, the event begins with a three-day Summer Sch
 ool (September 1–3) offering five tutorials on a v
 ariety of topics related to proof theory. This wil
 l be followed by a two-day Workshop (September 4–5
 ) featuring invited lectures and contributed talks
 . Guided by The Proof Manifesto, this event embrac
 es the notion of proofs in its broadest sense, wel
 coming participation and contributions from logic,
  computer science, mathematics, and beyond.  The d
 eadline for submission of contributed talks is Jun
 e 2, 2025. As is traditional for the proof Society
  Workshop, there will be an award for the best stu
 dent presentation.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The 7th I
 nternational School and Workshop on Proof Theory w
 ill be organized by Ghent University under the aus
 pices of The Proof Society. This annual event cont
 inues its tradition of uniting students, researche
 rs, and practitioners to explore both the applied 
 and foundational aspects of proof theory. Followin
 g the format of previous editions, the event begin
 s with a three-day Summer School (September 1–3) o
 ffering five tutorials on a variety of topics rela
 ted to proof theory. This will be followed by a tw
 o-day Workshop (September 4–5) featuring invited l
 ectures and contributed talks. Guided by <a href="
 https://www.proofsociety.org/the-proof-manifesto/"
  target="_blank" rel="noopener">The Proof Manifest
 o</a>, this event embraces the notion of proofs in
  its broadest sense, welcoming participation and c
 ontributions from logic, computer science, mathema
 tics, and beyond.</p>\n</div><div>\n  <p>The deadl
 ine for submission of contributed talks is June 2,
  2025. As is traditional for the proof Society Wor
 kshop, there will be an award for the best student
  presentation.</p>\n</div>
URL:https://proof2025.ugent.be/
END:VEVENT
END:VCALENDAR