Proof Society 2025
Program
Information
Talks
Speakers
Archive
Location
Previous Editions
Utrecht, The Netherlands, 2022
Barcelona, Spain, 2023 (Workshop)
Barcelona, Spain, 2023 (School)
Birmingham, UK, 2024
(All Editions)
UGent
Logic
Proof Society 2025
Speaker
Toshiyasu Arai
University of Tokyo
Website
Talks at this conference:
Thu, 15:50
Proof theory of stable ordinals
Invited
Overview
Program
×