The 2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of AI (ACLAI23) will take place on November 2-5, 2023 in Málaga, Spain.

The widespread diffusion of AI systems today creates new challenges for logics and systems of formal reasoning. If logic is to help make AI more accountable, logic itself needs to be accountable. It should therefore be susceptible to critical examination and evaluation of its adequacy for the objectives that its designers and users have set. The ACLAI23 workshop will be devoted to challenges and adequacy conditions for logics in light of their important role in contributing to accountable AI.

The workshop will include technical work on current systems of logic for AI as well as philosophical reflections on logical methodology, besides examining external desiderata for logics that arise for instance from legal or ethical requirements for AI systems.

Contributions in the form of a 2-5 page abstract may include new research, position papers, as well as relevant work previously presented elsewhere.

Submissions are to be made via EasyChair

Deadline 12 September, 2023; notification 2 October, 2023.

Invited speakers: Esra Erdem, Gabriele Kern-Isberner, Leon van der Torre.

Workshop Call for Papers:

The workshop is supported by: the BBVA Foundation, Association for Logic Programming, AEPIA, Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE).

For information on student grants please contact David Pearce (
For details on the venue and registration, contact Claudia Fernández (