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 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: 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. 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, [email protected] -- 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 URL: https://sites.google.com/site/elainepimentel/ UCL Computer Science is an *Athena Swan Gold award winner for gender equality <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* UCL is ranked among the *top ten in the QS World University Rankings 2024 <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* and is winner of *The Times and Sunday Times University of the Year 2024 <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVShxLTJeC6o0gjj-ouGxFk%3Dw6o9sGG8oD3dB7gYhekmA%40mail.gmail.com.
