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 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.
Abstract registration: October 31, 2026 (AoE)
Paper submission deadline: November 7, 2026 (AoE)
Author notification: January 10, 2027 (AoE)
Camera-ready submission deadline: January 25, 2027 (AoE)
Conference: April 8 - 10, 2027 (UK)
To Be Determined
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:
To Be Determined
Please visit the conference website for updates on registration and local arrangements.
Submitted papers must be written clearly in English and should not exceed 15 pages (excluding references and appendices) in the one-column LNCS format. Authors should prepare their manuscripts in accordance with the Springer guidelines for conference proceedings, available here:
https://link.springer.com/series/558/information-for-authors-and-editors.
The EasyChair submission page is available at:
https://easychair.org/conferences/?conf=aila2027.
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.
Use of AI-assisted tools. Any use of AI should comply with applicable publication and ethical standards, including the ACM policy on authorship and the conference's publication policies (https://www.acm.org/publications/policies/new-acm-policy-on-authorship). In particular:
"When using Artificial Intelligence to conduct research, including the design and methodology of the research project, creation and selection of data sources, designing experiments, generation and collection of data, coding, implementing models, running simulations, data analysis, testing, validating results, deploying software, archiving data and code for reproducibility, or any other aspects of the research lifecycle that are directly relevant to the conclusions of the research underlying the Work, the specific use(s) of AI tools must be described in detail in the methods section of the Work. This includes the creation of artifacts that are directly relevant to the conclusions of the research, such as code, datasets, and charts or figures that rely on the AI tools."
Desk rejection policy. To ensure an efficient review process, submissions may be desk rejected without external review if they are clearly outside the scope of the conference, including papers that are not substantially related to logic, or if they fail to comply with the submission requirements, such as the prescribed formatting template or other mandatory submission guidelines. 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%.
Please visit the conference website: http://ailasym.com/AILA2027/AILA2027.html for updates on the call for papers, important dates, registration and local arrangements.
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
