**LoCaD 2025: Logic, Categories and Decision-making: algebraic and proof-theoretic methods**
8–13 December 2025 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 the following PhD defenses (taking place at the VU Amsterdam Auditorium, De Boelelaan 1085, 1081 HV Amsterdam): - Ruoding Wang, Logical Challenges in Artificial General Intelligence, 8 December 2025, 9.45am - Krishna Balajirao Manoorkar, Logics for categorization and decision-making, 9 December 2025, 9.45am - Xiaolong Wang, Algebras and Input/Output Logic, 10 December 2025, 3.45pm - Mattia Panettiere, Unified correspondence, computationally, 11 December 2025, 09.45am - Andrea De Domenico, Unified correspondence, proof-theoretically, 12 December 2025, 1.45pm Invited Speakers: - Giancarlo Guizzardi (University of Twente) - Joseph Y. Halpern (Cornell University) - Wesley Holliday (University of California, Berkeley) - Ramon Jansana (University of Barcelona) - Peter Jipsen (Chapman University) - Dexter C. Kozen (Cornell University) - Alexander Kurz (Chapman University) - Beishui Liao (Zhejiang University) - Christian List (London School of Economics / LMU Munich) - Sara Negri (University of Genoa) - Mario Piazza (Scuola Normale Superiore, Pisa) - Revantha Ramanayake (University of Groningen) - Sebastian Rudolph (TU Dresden) - Leon van der Torre (University of Luxembourg) For more information, including registration details, schedule, and abstracts, see https://sites.google.com/view/locad2025/home If you would like to participate, please sign up and fill in the following Google form: https://sites.google.com/view/locad2025/home -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
