The Luxembourg Logic & AI Summit (LuxLogAI 2025) is taking place 1-5 December 2025 at the Neumünster Abbey in Luxembourg City.

LuxLogAI brings together several colocated events:

• The LNGAI workshop (Logic for New Generation AI)
• The CALM workshop (Causality, Agents, and Large Models)
• The ICR20 celebration, marking 20 years of the Individual and Collective Reasoning group and its offspring projects.

The paper “Addressing the Right to Explanation and the Right to Challenge through Hybrid-AI: Symbolic Constraints over Large Language Models via Prompt Engineering” by Liuwen Yu, Davide Liga and Réka Markovich has received the Carole Hafner Best Paper Award at ICAIL 2025.

The paper “A. Ciabattoni, D. Rozplokhas and M. Tesi, GL-based calculi for PCL and its deontic cousin. JELIA 2025” has received the best student paper award at JELIA 2025.

We are glad to announce the first LoDEx workshop, which will take place in Bochum on the 13th and 14th of February. More information can be found here

The related project AXAIS: Acquiring and explaining norms for AI systems (A. Ciabattoni, J. Horty and C. Mateis) has been funded by the Vienna Science ond Technology Funds. The project has started December 2024.