PROGRAM
PROGRAM
PROGRAM
REGISTRATION: Palazzo Battiferri (Via Aurelio Saffi n. 42, Urbino), desk at the main entrance.
VENUE: Palazzo Battiferri (Via Aurelio Saffi n. 42, Urbino), Aula Rossa (Red Room).
February 2, 2026
15:00 Opening
15:30–19:00 Giuseppe Primiero (University of Milan)
Formal Correctness and Miscomputation: an overview
17:00–17:20 Coffee break
February 3, 2026
10:00–13:00 Francesco Paoli (University of Cagliari)
Kleene Logics: Philosophical Motivations
11:30–11:45 Coffee break
15:30–19:00 Giuseppe Primiero
Verification of non-deterministic systems
17:00–17:20 Coffee break
February 4, 2026
10:00–13:00 Giuseppe Primiero
Verifying Non-functional Properties
11:30–11:45 Coffee break
15:30–19:00 Francesco Paoli
The Metatheory of Strong Kleene Logics
17:00–17:20 Coffee break
February 5, 2026
10:00–13:00 Francesco Paoli
The Metatheory of Weak Kleene Logics
11:30–11:45 Coffee break
15:30–19:00 Lectio Magistralis, Francesca Poggiolesi (CNRS, Paris)
Explaining with reasons: from logic to machine learning classifiers
17:00–17:20 Coffee break
February 6, 2026
10:00–13:00 Lectio Magistralis, Lorenzo Rossi (University of Turin) and Paul Egré (CNRS, ENS, Paris)
Trivalence: why and what for?
11:30–11:45 Coffee break
13:00 Closing