The 6th International Conference on Artificial Intelligence Logic and Applications (AILA2027)

The AILA 2027 conference will take place from 8th to 10th of April 2027 in Belfast, UK. The event is locally organized by Queen’s University Belfast ( www.qub.ac.uk ) and Ulster University ( www.ulster.ac.uk ), UK .

AILA is a well-established series of conferences. For more information, visit the official conference series website: ailasym.com/index.html .

AILA aims to advance the foundations, methods and applications of logic in artificial intelligence. It promotes the integration of logic with contemporary AI as a pathway towards more reliable, interpretable, accountable and trustworthy intelligent systems, particularly at a time when AI is increasingly expected to reason, explain, verify and act responsibly in complex real-world environments.

AILA provides an international forum for researchers and practitioners to exchange frontier ideas, present rigorous research, share practical insights, and build collaborations on the theory and practice of logic for artificial intelligence. The conference welcomes contributions on fundamental logical theories, formalisms and methods; the use of logic in AI, including logical approaches to machine learning, large language models, knowledge graphs, neuro-symbolic AI, automated reasoning, knowledge representation, verification, explanation, decision-making, safety, accountability and trust; and logic-based applications in areas such as decision support, fraud detection, cybernetics, precision medicine, trustworthy AI, and other intelligent systems.

Contributions should emphasise the role of logic, formal methods, or logical reasoning in AI. Papers whose primary focus is on AI techniques or applications without a substantial logic component are outside the scope of the conference.

AILA welcomes original contributions on the theory, methods and applications of logic in artificial intelligence. Topics of interest include, but are not limited to: