2 - 5 November 2023, Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI23)

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 which its designers and users have set it. 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 relevant work previously presented elsewhere.
Submissions to be made via EasyChair https://easychair.org/conferences/?conf=aclai23
Deadline 12 September, 2023; notification 2 October, 2023.

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

Workshop Call for Papers: https://easychair.org/cfp/ACLAI23

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 (david.pearce at upm.es).
For details of venue and registration, contact Claudia  Fernández (cffernandez at uma.es).