Proof Society 2025
Program
Location
Registration
Previous Editions
Utrecht, The Netherlands, 2022
Barcelona, Spain, 2023 (Workshop)
Barcelona, Spain, 2023 (School)
Birmingham, UK, 2024
(All Editions)
UGent
Logic
Proof Society 2025
Speakers
E
Ali Enayat
J
Raheleh Jalali
T
Henry Towsner
V
Albert Visser
×