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