1st cfp AILA 2027
17 views
Skip to first unread message
Elaine Pimentel
Aug 4, 2026, 9:32:26 AM (9 days ago) Aug 4
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Dear colleagues,
The sixth International Conference on Artificial Intelligence Logic and Applications (AILA 2027) will be held in Belfast, UK, from 8th to 10th of April 2027. The local organizers are Queen’s University Belfast (https://www.qub.ac.uk) and Ulster University (https://www.ulster.ac.uk), UK.
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 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:
* Belief, deontic, epistemic, default, description, modal and dynamic logics
* Non-monotonic, non-classical, probabilistic and fuzzy logics
* Separation logic, spatial logic and temporal logic
* Automated reasoning, logical reasoning in large language models, monotonic reasoning and circular reasoning
* Approximate reasoning, fuzzy reasoning, granular computing and soft computing
* Logic programming and logic-based approaches to decision-making, image processing and data intelligence
* Knowledge graphs, knowledge representation, reasoning and related themes
* Neuro-symbolic AI, explainable AI, trustworthy AI and logic-informed AI systems
* Logic-based modelling, verification, safety, accountability and governance of AI systems
* Applications of logic-based AI in areas such as decision support, fraud detection, cybernetics, precision medicine, intelligent systems and many more
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:
* Belief, deontic, epistemic, default, description, modal and dynamic logics
* Non-monotonic, non-classical, probabilistic and fuzzy logics
* Separation logic, spatial logic and temporal logic
* Automated reasoning, logical reasoning in large language models, monotonic reasoning and circular reasoning
* Approximate reasoning, fuzzy reasoning, granular computing and soft computing
* Logic programming and logic-based approaches to decision-making, image processing and data intelligence
* Knowledge graphs, knowledge representation, reasoning and related themes
* Neuro-symbolic AI, explainable AI, trustworthy AI and logic-informed AI systems
* Logic-based modelling, verification, safety, accountability and governance of AI systems
* Applications of logic-based AI in areas such as decision support, fraud detection, cybernetics, precision medicine, intelligent systems and many more
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://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.
Submission Policy
==============
* 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.
Important dates
Abstract registration: October 31st, 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)
Keynote speakers
Anthony COHN, Leeds University, UK
Fenrong LIU, Tsinghua University, China
Guo-Qiang ZHANG, University of Texas Houston, USA
Manfred DROSTE, University of Leipzig, Germany
Zhi-Hua ZHOU, Nanjing University, China
Renata WASSERMANN, USP, Brazil
AILA2027 COMMITTEES
Steering Committee Chairs
Guo-Qiang ZHANG, University of Texas Houston, USA
Yixiang CHEN, East China Normal University, China
Honorary Chairs
Ruqian LU, Chinese Academy of Sciences, China
Weixin XIE, Shenzhen University, China
Conference Chairs
Hui WANG, Queen’s University Belfast, UK
Marcello BONSANGUE, Leiden University, The Netherlands
Songmao ZHANG, Chinese Academy of Sciences, China
PC Co-Chairs
Elaine PIMENTEL, University College London, UK
Jun LIU, Ulster University, UK
Min ZHANG, East China Normal University, China
Organization Co-Chairs
Ben REDDEN, Queen’s University Belfast, UK
David GLASS, Ulster University, UK
Li ZOU, Shandong Jianzhu University, China
Publicity Co-Chairs
Xinming SHI, Queen’s University Belfast, UK
Yonggang ZHANG, Jilin University, China
Contact Us
Any inquiry about the conference can be sent to
Ben REDDEN, bred...@qub.ac.uk
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.
Submission Policy
==============
* 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.
Important dates
Abstract registration: October 31st, 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)
Keynote speakers
Anthony COHN, Leeds University, UK
Fenrong LIU, Tsinghua University, China
Guo-Qiang ZHANG, University of Texas Houston, USA
Manfred DROSTE, University of Leipzig, Germany
Zhi-Hua ZHOU, Nanjing University, China
Renata WASSERMANN, USP, Brazil
AILA2027 COMMITTEES
Steering Committee Chairs
Guo-Qiang ZHANG, University of Texas Houston, USA
Yixiang CHEN, East China Normal University, China
Honorary Chairs
Ruqian LU, Chinese Academy of Sciences, China
Weixin XIE, Shenzhen University, China
Conference Chairs
Hui WANG, Queen’s University Belfast, UK
Marcello BONSANGUE, Leiden University, The Netherlands
Songmao ZHANG, Chinese Academy of Sciences, China
PC Co-Chairs
Elaine PIMENTEL, University College London, UK
Jun LIU, Ulster University, UK
Min ZHANG, East China Normal University, China
Organization Co-Chairs
Ben REDDEN, Queen’s University Belfast, UK
David GLASS, Ulster University, UK
Li ZOU, Shandong Jianzhu University, China
Publicity Co-Chairs
Xinming SHI, Queen’s University Belfast, UK
Yonggang ZHANG, Jilin University, China
Contact Us
Any inquiry about the conference can be sent to
Ben REDDEN, bred...@qub.ac.uk
Elaine.
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Professor of Logic and Computation
Deputy Director of the Computer Science and Philosophy programme
Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
UCL Computer Science is an Athena Swan Gold award winner for gender equality
UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024
-----------------------------------
Reply all
Reply to author
Forward
0 new messages