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
Speakers
A
Juan Pablo Aguilera
Toshiyasu Arai
B
Giacomo Barlucchi
Justus Becker
Arnold Beckmann
C
Carlos Cantero
Leonardo Ceragioli
Maria Osório Costa
D
Antonio Piccolomini d'Aragona
Julien Daoud
E
Ali Enayat
Marcel Ertel
F
Anton Fernández
David Fernández-Duque
G
Vitor Greati
Lide Grotenhuis
Piotr Gruza
I
Koshiro Ichikawa
J
Raheleh Jalali
Joost Joosten
K
Johannes Kloibhofer
M
Robin Martinot
Mojtaba Mojtahedi
Francesco Montesi
N
Victor Barroso Nascimiento
P
Paaras Padhiar
Luiz Carlos Pereira
Elaine Pimentel
Philipp Provenzano
S
Sofía Santiago-Fernández
Anton Setzer
Ian Shillito
T
Amirhossein Akbar Tabatabai
Henry Towsner
V
Robbe Van den Eede
Iris van der Giessen
Albert Visser
Andrea Volpi
×