{"id":6834,"date":"2023-12-08T17:51:19","date_gmt":"2023-12-08T09:51:19","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=6834"},"modified":"2026-08-16T08:49:08","modified_gmt":"2026-08-16T00:49:08","slug":"headlines-calls-for-paper","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/headlines-calls-for-paper\/","title":{"rendered":"Calls for Papers\/Participation"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"6834\" class=\"elementor elementor-6834\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-ffa1d62 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"ffa1d62\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-977cecc\" data-id=\"977cecc\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-0bc442c elementor-widget elementor-widget-toggle\" data-id=\"0bc442c\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-toggle{text-align:left}.elementor-toggle .elementor-tab-title{font-weight:700;line-height:1;margin:0;padding:15px;border-bottom:1px solid #d4d4d4;cursor:pointer;outline:none}.elementor-toggle .elementor-tab-title .elementor-toggle-icon{display:inline-block;width:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon svg{-webkit-margin-start:-5px;margin-inline-start:-5px;width:1em;height:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-right{float:right;text-align:right}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-left{float:left;text-align:left}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-closed{display:block}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-opened{display:none}.elementor-toggle .elementor-tab-title.elementor-active{border-bottom:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-closed{display:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-opened{display:block}.elementor-toggle .elementor-tab-content{padding:15px;border-bottom:1px solid #d4d4d4;display:none}@media (max-width:767px){.elementor-toggle .elementor-tab-title{padding:12px}.elementor-toggle .elementor-tab-content{padding:12px 10px}}<\/style>\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1231\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-1231\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"far fa-caret-square-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened far fa-caret-square-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">18th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2027)<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1231\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1231\"><p data-pm-slice=\"0 0 []\"><b><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\">Time<\/span><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\">: 23-28 August, 2027<\/span><\/b><\/p><p data-pm-slice=\"0 0 []\"><b><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\">Venue: Kobe University, Japan<\/span><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\"><br \/><\/span><\/b><\/p><p data-pm-slice=\"0 0 []\"><b><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\">Website:\u00a0https:\/\/clmpst2027.org<\/span><\/b><\/p><p data-pm-slice=\"0 0 []\"><b><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\" data-mpa-action-id=\"mqi63v4o1xgg\">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 [<\/span><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;text-align: left;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\" data-mpa-action-id=\"mqi63v4o1xgg\">https:\/\/www.dlmpst.org]<\/span><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\" data-mpa-action-id=\"mqi63v4o1xgg\">\u00a0of the International Union of History and Philosophy of Science and Technology [<\/span><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;text-align: left;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\" data-mpa-action-id=\"mqi63v4o1xgg\">https:\/\/iuhpst.org]\u00a0<\/span><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\" data-mpa-action-id=\"mqi63v4o1xgg\">(IUHPST\/DLMPST).<\/span><\/b><\/p><p data-pm-slice=\"0 0 []\"><b><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\" data-mpa-action-id=\"mqi63v4o1xgg\">CLMPST has a long history \u2014 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.<\/span><\/b><\/p><p data-pm-slice=\"0 0 []\"><b><span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;p&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;,&quot;data-pm-slice&quot;:&quot;0 0 []&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;b&quot;,&quot;attributes&quot;:{},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;},&quot;node&quot;,{&quot;tagName&quot;:&quot;span&quot;,&quot;attributes&quot;:{&quot;lang&quot;:&quot;EN-US&quot;,&quot;style&quot;:&quot;font-size: 11pt;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\" data-mpa-action-id=\"mqi63v4o1xgg\">We invite papers and symposia on all topics pertaining to our fields, presented by researchers from all regions and cultures of our academic world.<\/span><\/b><\/p><section><strong>[Aims and Scope]<\/strong><\/section><section><strong>As in previous editions, CLMPST 2027 aims to foster connections between the research fields of logic and philosophy of science and technology, as well as research studying the foundations and methodology of science and technology. We are looking forward to having papers and symposia on all topics pertaining to our fields, from mathematical logic to metaphilosophy, from the foundations of the exact sciences to philosophy of the social sciences, from philosophy of technology to historical perspectives on the sciences, presented by researchers from all regions and cultures of the world.<\/strong><\/section><section><strong>CLMPST 2027 calls for contributed papers and contributed symposia in 21 thematic sections:<br \/><\/strong><\/section><section>A. Logic<\/section><ul class=\"list-paddingleft-1\"><li><section><strong>A.1 Mathematical Logic<\/strong><\/section><\/li><li><section><strong>A.2 Philosophical Logic<\/strong><\/section><\/li><li><section><strong>A.3 Computational Logic and Applications of Logic<\/strong><\/section><\/li><li><section><strong>A.4 Historical Aspects of Logic<\/strong><\/section><\/li><li><section><strong>A.5 Educational Aspects of Logic<\/strong><\/section><\/li><\/ul><section><strong>B. General\u00a0Phi<\/strong>losophy of Science<\/section><ul class=\"list-paddingleft-1\"><li><section><strong>B.1 Methodology<\/strong><\/section><\/li><li><section><strong>B.2 Formal Philosophy of Science and Formal Epistemology<\/strong><\/section><\/li><li><section><strong>B.3 Empirical and Experimental Philosophy of Science and Technology<\/strong><\/section><\/li><li><section><strong>B.4 Metaphysical Issues in the Philosophy of Science and Technology<\/strong><\/section><\/li><li><section><strong>B.5 Ethical, Social and Political Issues in the Philosophy of Science and Technology<\/strong><\/section><\/li><li><section><strong>B.6 Historical Aspects in the Philosophy of Science and Technology<\/strong><\/section><\/li><li><section><strong>B.7 Educational Aspects of Philosophy of Science and Technology<\/strong><\/section><\/li><\/ul><section><span data-mpa-action-id=\"mqi6c1471ghh\" data-pm-slice=\"0 0 []\">C. Philosophical Issues of Particular Disciplines<\/span><\/section><ul class=\"list-paddingleft-1\"><li><section><strong>C.1 Philosophy of the Formal Sciences (including Logic, Mathematics, Statistics)<\/strong><\/section><\/li><li><section><strong>C.2 Philosophy of the Physical Sciences (including Physics, Chemistry, Earth Science, Climate Science)<\/strong><\/section><\/li><li><section><strong>C.3 Philosophy of the Biological Sciences<\/strong><\/section><\/li><li><section><strong>C.4 Philosophy of the Biomedical and Health Sciences<\/strong><\/section><\/li><li><section><strong>C.5 Philosophy of the Cognitive and Behavioural Sciences<\/strong><\/section><\/li><li><section><strong>C.6 Philosophy of Computing and Computation<\/strong><\/section><\/li><li><section><strong>C.7 Philosophy of the Humanities and the Social Sciences<\/strong><\/section><\/li><li><section><strong>C.8 Philosophy of the Applied Sciences and Technology<\/strong><\/section><\/li><li><section><strong>C.9 Philosophy of Emerging and Interdisciplinary Sciences<\/strong><\/section><\/li><\/ul><section><strong>The language of the congress is English.<\/strong><\/section><section data-pm-slice=\"3 5 []\"><strong>[Contributed Papers]<\/strong><\/section><section><strong>Submissions will be made through the EasyChair platform, which will be available in mid-July.<\/strong><\/section><section><strong>Once the submission page is open, please submit an abstract of 500 words, including the references, prepared for anonymous review. Indicate to which congress section you submit the paper (tick the appropriate box). The allocated time for each contributed paper is 30 minutes, including discussion.<\/strong><\/section><section data-pm-slice=\"3 5 []\"><strong>[Contributed Symposia]<\/strong><\/section><section><strong>Symposia are groups of talks on a common theme. Each symposium consists of\u00a0four to twelve papers.<\/strong><\/section><section><strong>In EasyChair (which will be available in mid-July), please make a submission for (a) the symposium as a whole; and (b) each paper in the symposium (so, for example, for a four-paper symposium, you should make a total of five submissions).<\/strong><\/section><section><strong>(a)\u00a0For the symposium as a whole, please provide an abstract with a general description of the format and the topic of the proposed symposium and its significance (up to 500 words), and suggest a symposium chair. If desired, it is acceptable for the symposium organiser to be the chair. Indicate to which congress section you submit the symposium (tick the appropriate box). After the abstract, please list the titles of the talks in the order they should appear at the conference. Please provide the symposium with an acronym, and write this acronym at the beginning of the title of the symposium (&lt;Symposium acronym&gt;: &lt;Title of symposium&gt;). The acronym will be used by the Programme Committee to keep the individual submissions in a proposal together during reviewing and when creating the conference programme.<br \/><\/strong><\/section><section>(b)\u00a0For each paper within a symposium, please submit a 500-word abstract (including references). Indicate to which congress section the symposium belongs (tick the appropriate box). Please write the acronym of the symposium at the beginning of the title of the talk (&lt;Symposium acronym&gt;: &lt;Title of the individual talk&gt;). The acronym will be used by the Programme Committee to keep the individual submissions in a proposal together during reviewing and when creating the conference program.<\/section><section>Note to symposium organisers:\u00a0papers intended to be presented as parts of a symposium must be submitted by their respective authors. Symposium organisers should contact all symposium speakers in advance and make sure that they submit their abstracts by the submission deadline of 15 November 2025 (tentative). The symposium description is submitted by the symposium organiser by the same deadline. Please make sure that all parts of the submission are prepared for anonymous review and submitted to the same congress section (the same box is ticked in all of them). When submitting a symposium proposal, the EasyChair requires you to take the role of a \u201cspeaker\u201d. This is for formal reasons only, and in no way precludes you from submitting a paper of your own (to that same symposium, to a different symposium, or a contributed paper). In this case, you will appear as a \u201cspeaker<span data-pm-slice=\"1 1 [&quot;para&quot;,{&quot;tagName&quot;:&quot;section&quot;,&quot;attributes&quot;:{&quot;style&quot;:&quot;margin-bottom: 8px;&quot;},&quot;namespaceURI&quot;:&quot;http:\/\/www.w3.org\/1999\/xhtml&quot;}]\">\u201d<\/span>\u00a0on 2 submissions, one of which must be the symposium proposal.<\/section><section>Although the exact format of symposia is up to the symposium organizers, the allocated time for each symposium paper is\u00a030 minutes. For instance, a symposium with 4 speakers is a 2 hour session (4 x 30 minutes). Note that if a symposium consists of more than 4 speakers, it might be split into two sessions due to coffee breaks in the programme.<\/section><section data-pm-slice=\"3 5 []\"><strong>[Registration Requirements]<\/strong><\/section><section><strong>The corresponding author of each individual paper and of each symposium paper as well as the organiser of a symposium must be registered in advance of the Congress and present the paper in Kobe. Failure to register by the specified date may result in cancellation of the accepted paper and\/or symposium.<\/strong><\/section><section><strong>The following rules also apply for multiple presentations:<\/strong><\/section><section><strong>(a)\u00a0Every corresponding author is allowed to submit only one individual or symposium paper as a \u201cspeaker.\u201d (Organising a symposium does not count as being a \u201cspeaker,\u201d despite the labelling in EasyChair.)<\/strong><\/section><section><strong>(b)\u00a0Authors are permitted to be listed as non-corresponding co-authors of additional papers.<br \/><\/strong><\/section><section data-pm-slice=\"4 5 []\"><strong>[Important Dates]<\/strong><\/section><section><ul class=\"list-paddingleft-1\"><li><section>June 5: Call for papers<\/section><\/li><li><section>mid-July: Submission opens<\/section><\/li><li><section>November 15:\u00a0Submission deadline (tentative)<\/section><\/li><li><section>Early March, 2027:\u00a0Notifications of acceptance<\/section><\/li><li><section>TBD:\u00a0Early bird registration opens<\/section><\/li><li><section>TBD:\u00a0Registration opens<\/section><\/li><li><section>August 23-28, 2027: 18th CLMPST, Kobe University, Japan<\/section><\/li><\/ul><\/section><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1232\" class=\"elementor-tab-title\" data-tab=\"2\" role=\"tab\" aria-controls=\"elementor-tab-content-1232\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"far fa-caret-square-down\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened far fa-caret-square-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">The Sixth International Conference on Artificial Intelligence Logic and Applications (AILA2027)<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1232\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-1232\"><div class=\"gmail_quote gmail_quote_container\"><div><div><pre>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\u2019s University Belfast (<a href=\"https:\/\/www.qub.ac.uk\/\" target=\"_blank\" rel=\"noopener\">https:\/\/www.qub.ac.uk<\/a>) and Ulster University (<a href=\"https:\/\/www.ulster.ac.uk\/\" target=\"_blank\" rel=\"noopener\">https:\/\/www.ulster.ac.uk<\/a>), UK.\n\nAILA 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.\n\nAILA 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.\n\nContributions 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.\n\nAILA welcomes original contributions on the theory, methods and applications of logic in artificial intelligence. Topics of interest include, but are not limited to:\n\n* Belief, deontic, epistemic, default, description, modal and dynamic logics\n* Non-monotonic, non-classical, probabilistic and fuzzy logics\n* Separation logic, spatial logic and temporal logic\n* Automated reasoning, logical reasoning in large language models, monotonic reasoning and circular reasoning\n* Approximate reasoning, fuzzy reasoning, granular computing and soft computing\n* Logic programming and logic-based approaches to decision-making, image processing and data intelligence\n* Knowledge graphs, knowledge representation, reasoning and related themes\n* Neuro-symbolic AI, explainable AI, trustworthy AI and logic-informed AI systems\n* Logic-based modelling, verification, safety, accountability and governance of AI systems\n* Applications of logic-based AI in areas such as decision support, fraud detection, cybernetics, precision medicine, intelligent systems and many more\n\nSubmitted 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:\n<a href=\"https:\/\/link.springer.com\/series\/558\/information-for-authors-and-editors\" target=\"_blank\" rel=\"noopener\">https:\/\/link.springer.com\/series\/558\/information-for-authors-and-editors<\/a>\nThe EasyChair submission page is available at: <a href=\"https:\/\/easychair.org\/conferences\/?conf=aila2027\" target=\"_blank\" rel=\"noopener\">https:\/\/easychair.org\/conferences\/?conf=aila2027<\/a>. \n\nAs 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.\n\n<b>Submission Policy<\/b>\n==============\n* 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 (<a href=\"https:\/\/www.acm.org\/publications\/policies\/new-acm-policy-on-authorship\" target=\"_blank\" rel=\"noopener\">https:\/\/www.acm.org\/publications\/policies\/new-acm-policy-on-authorship<\/a>). In particular:\n\n\"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.\"\n\n* 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%.\n\nPlease visit the conference website: <a href=\"http:\/\/ailasym.com\/AILA2027\/AILA2027.html\" target=\"_blank\" rel=\"noopener\">http:\/\/ailasym.com\/AILA2027\/AILA2027.html<\/a>   for updates on the call for papers, important dates, registration and local arrangements.\n\n<b>Important dates<\/b>\nAbstract registration: October 31st, 2026 (AoE)\nPaper submission deadline: November 7, 2026 (AoE)\nAuthor notification: January 10, 2027(AoE)\nCamera-ready submission deadline: January 25 2027 (AoE)\nConference: April 8 - 10, 2027 (UK)\n\n<b>Keynote speakers<\/b>\nAnthony COHN, Leeds University, UK (<a href=\"https:\/\/www.turing.ac.uk\/people\/researchers\/anthony-cohn)\" target=\"_blank\" rel=\"noopener\">https:\/\/www.turing.ac.uk\/people\/researchers\/anthony-cohn)<\/a><br \/> Fenrong LIU, Tsinghua University, China (<a href=\"http:\/\/www.fenrong.net\/)\" target=\"_blank\" rel=\"noopener\">http:\/\/www.fenrong.net\/)<\/a><br \/> Guo-Qiang ZHANG, University of Texas Houston, USA (<a href=\"https:\/\/sbmi.uth.edu\/faculty-and-staff\/gq-zhang.htm)\" target=\"_blank\" rel=\"noopener\">https:\/\/sbmi.uth.edu\/faculty-and-staff\/gq-zhang.htm)<\/a><br \/> Manfred DROSTE, University of Leipzig, Germany (<a href=\"https:\/\/www.informatik.uni-leipzig.de\/~droste\/)\" target=\"_blank\" rel=\"noopener\">https:\/\/www.informatik.uni-leipzig.de\/~droste\/)<\/a><\/pre><div>Renata WASSERMANN, USP, Brazil (<a href=\"https:\/\/www.ime.usp.br\/~renata\/)\" target=\"_blank\" rel=\"noopener\">https:\/\/www.ime.usp.br\/~renata\/)<\/a><\/div><div>Zhi-Hua ZHOU, Nanjing University, China (<a href=\"https:\/\/cs.nju.edu.cn\/zhouzh\/index.htm)\" target=\"_blank\" rel=\"noopener\">https:\/\/cs.nju.edu.cn\/zhouzh\/index.htm)<\/a><\/div><div><b>AILA2027 COMMITTEES<\/b><\/div><pre><b>Steering Committee Chairs<\/b>\nGuo-Qiang ZHANG, University of Texas Houston, USA\nYixiang CHEN, East China Normal University, China\n<b>Honorary Chairs<\/b>\nRuqian LU, Chinese Academy of Sciences, China\nWeixin XIE, Shenzhen University, China\n<b>Conference Chairs<\/b>\nHui WANG, Queen\u2019s University Belfast, UK\nMarcello BONSANGUE, Leiden University, The Netherlands\nSongmao ZHANG, Chinese Academy of Sciences, China\n\n<b>PC Co-Chairs<\/b>\nElaine PIMENTEL, University College London, UK\nJun LIU, Ulster University, UK\nMin ZHANG, East China Normal University, China\n\n<b>Organization Co-Chairs<\/b>\nBen REDDEN, Queen\u2019s University Belfast, UK\nDavid GLASS, Ulster University, UK\nLi ZOU, Shandong Jianzhu University, China\n\n<b>Publicity Co-Chairs<\/b>\nXinming SHI, Queen\u2019s University Belfast, UK\nYonggang ZHANG, Jilin University, China\n\nAny inquiry about the conference can be sent to\n\nBen REDDEN, <a href=\"mailto:bredden01@qub.ac.uk\" target=\"_blank\" rel=\"noopener\">bredden01@qub.ac.uk<\/a><\/pre><\/div><\/div><\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>18th International Congress of Logic, Methodology and P [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"categories":[],"tags":[],"folder":[76],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6834"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=6834"}],"version-history":[{"count":118,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6834\/revisions"}],"predecessor-version":[{"id":10825,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6834\/revisions\/10825"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=6834"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/categories?post=6834"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/tags?post=6834"},{"taxonomy":"folder","embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/folder?post=6834"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}