Time: 23-28 August, 2027
Venue: Kobe University, Japan
Website: https://clmpst2027.org
CLMPST is the premier forum on Logic, Methodology and Philosophy of Science and Technology. Its aim is to bring together active researchers in this broad field. The International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) is organized under the auspices of the Division of Logic, Methodology and Philosophy of Science and Technology [https://www.dlmpst.org] of the International Union of History and Philosophy of Science and Technology [https://iuhpst.org] (IUHPST/DLMPST).
CLMPST has a long history — it started in 1960, and has been held every four years since then in capital cities and/or by leading university centres in this field. Recent previous CLMPST Congresses were held in Buenos Aires (2023), Prague (2019), Helsinki (2015), Nancy (2011), and Beijing (2007). The 2027 edition will take place at Kobe University in Kobe, Japan.
We invite papers and symposia on all topics pertaining to our fields, presented by researchers from all regions and cultures of our academic world.
A.1 Mathematical Logic A.2 Philosophical Logic A.3 Computational Logic and Applications of Logic A.4 Historical Aspects of Logic A.5 Educational Aspects of Logic
B.1 Methodology B.2 Formal Philosophy of Science and Formal Epistemology B.3 Empirical and Experimental Philosophy of Science and Technology B.4 Metaphysical Issues in the Philosophy of Science and Technology B.5 Ethical, Social and Political Issues in the Philosophy of Science and Technology B.6 Historical Aspects in the Philosophy of Science and Technology B.7 Educational Aspects of Philosophy of Science and Technology
C.1 Philosophy of the Formal Sciences (including Logic, Mathematics, Statistics) C.2 Philosophy of the Physical Sciences (including Physics, Chemistry, Earth Science, Climate Science) C.3 Philosophy of the Biological Sciences C.4 Philosophy of the Biomedical and Health Sciences C.5 Philosophy of the Cognitive and Behavioural Sciences C.6 Philosophy of Computing and Computation C.7 Philosophy of the Humanities and the Social Sciences C.8 Philosophy of the Applied Sciences and Technology C.9 Philosophy of Emerging and Interdisciplinary Sciences
June 5: Call for papers mid-July: Submission opens November 15: Submission deadline (tentative) Early March, 2027: Notifications of acceptance TBD: Early bird registration opens TBD: Registration opens August 23-28, 2027: 18th CLMPST, Kobe University, Japan
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 (https://www.turing.ac.uk/people/researchers/anthony-cohn)
Fenrong LIU, Tsinghua University, China (http://www.fenrong.net/)
Guo-Qiang ZHANG, University of Texas Houston, USA (https://sbmi.uth.edu/faculty-and-staff/gq-zhang.htm)
Manfred DROSTE, University of Leipzig, Germany (https://www.informatik.uni-leipzig.de/~droste/)
Renata WASSERMANN, USP, Brazil (https://www.ime.usp.br/~renata/)
Zhi-Hua ZHOU, Nanjing University, China (https://cs.nju.edu.cn/zhouzh/index.htm)
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 Any inquiry about the conference can be sent to Ben REDDEN, bredden01@qub.ac.uk