Invited Speakers
Nick Bezhanishvili (University of Amsterdam)
Degrees of the finite model property for superintuitionistic and modal logics
Serafina Lapenta (University of Salerno)
Metamathematics of random variables via non-classical logic
Elaine Pimentel (University College of London)
Ecumenical and substructural views of proof-theoretic semantics
Adam Přenosil (University of Barcelona)
Semisimplicity, Glivenko theorems, and the excluded middle
Carles Sierra (Artificial Intelligence Research Institute of Barcelona)
On the engineering of social values