CfR: LoCaD 2025 – Logic, Categories and Decision-making: Algebraic and Proof-theoretic Methods, 8–13 December 2025, Amsterdam (The Netherlands)

Logic List Mailing Archive

CfR: LoCaD 2025 – Logic, Categories and Decision-making: Algebraic and Proof-theoretic Methods, 8–13 December 2025, Amsterdam (The Netherlands)

**LoCaD 2025: Logic, Categories and Decision-making: algebraic and proof-theoretic methods**

813 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 traditionsmodal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemologyand 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