Algebraic and proof-theoretic methods
LoCaD 2025 brings together algebraic and proof-theoretic methods in logic to discuss new insights into categorization and decision-making.
LoCad 2025 is organized on the occasion of the PhD defenses of Ruoding Wang, Krishna Balajirao Manoorkar, Xiaolong Wang, Mattia Panettiere and Andrea De Domenico.
This workshop is made possible by the Kivi grant 2019.001 funded by the Dutch Research Council (NWO) and KPMG and by the grant Rise-MSCA-2020, Project 101007627 funded by the European Union.