8 - 13 December 2025, Logic, Categories and Decision-making: Algebraic and Proof-theoretic Methods (LoCaD 2025)
Date: 8 - 13 December 2025
Location: Vrije Universiteit Amsterdam, De Boelelaan 1105, 1081 HV Amsterdam
LoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.
LoCaD 2025 is organized on the occasion of PhD defenses.
For more information, see
https://sites.google.com/view/locad2025/
or contact locad2025.amsterdam at gmail.com.