Keynote Speeches
Keynote Speakers (confirmed)
April 8-10, 2027
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 across a broad spectrum, including fundamental theories, formalisms and methods in logic; the role of logic in contemporary AI, including machine learning, large language models, knowledge graphs, neuro-symbolic AI, automated reasoning, 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.
Abstract registration: November 15, 2026 (AoE)
Paper Submission Deadline: November 30, 2026 (AoE)
Author notification: February 1, 2027 (AoE)
Camera-ready deadline: March 1, 2027 (AoE)
Conference: April 8-10, 2027 (UK)
To Be Determined
AILA welcomes original contributions on the theory, methods and applications of logic in artificial intelligence, as well as work exploring the integration of logic with machine learning, large language models and data-driven AI. Topics of interest include, but are not limited to:
To Be Determined
Please visit the conference website for updates on registration and local arrangements.
Further information will be made available through the AILA conference website:
http://ailasym.com/index.html.
Important dates, including the submission deadline and notification date,
will be announced in due course.
The EasyChair submission page is available at:
https://easychair.org/conferences/?conf=aila2027.
Submitted papers must be written clearly in English and should not exceed 15 pages in one-column format.
Authors should prepare their manuscripts in accordance with the Springer conference proceedings guidelines.
To avoid desk rejection, submissions should also comply with Springer requirements on originality and similarity checking;
in particular, the Crossref Similarity Check score using iThenticate should be below 30%.
As with previous editions of AILA,
it is anticipated that accepted papers will be published by Springer in the
Communications in Computer and Information Science series and indexed by EI Compendex.
Selected papers presented at the conference may be invited for submission, in extended form,
to special issues of international journals such as
Information Sciences and Applied Sciences.
Luis Soares BARBOSA
Marcello BONSANGUE
Meng SUN
Minghui XIONG
Ruqian LU
Sanjiang LI
Songmao ZHANG
Weiru LIU
Weixin XIE
Minho University, Portugal
Leiden University, The Netherlands
Peking University, China
Zhejiang University, China
Chinese Academy of Sciences, China
University of Technology Sydney, Australia
Chinese Academy of Sciences, China
University of Bristol, UK
Shenzhen University, China
Glen HAWE
Joe HIGGINS
Joseph BUTLER
Muhammad SHAFI
Yifei WANG
Ulster University, UK
Queen’s University Belfast, UK
Queen’s University Belfast, UK
Ulster University, UK
East China Normal University, China
To Be Determined
Any inquiry about the conferrence can be sent to Ben Redden(bredden01@qub.ac.uk).
Web maintainer: Yifei WANG, East China Normal University.
To Be Determined
