<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Aptos",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
font-size:12.0pt;
font-family:"Aptos",sans-serif;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:805972803;
mso-list-template-ids:-396050350;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1
{mso-list-id:1252349730;
mso-list-type:hybrid;
mso-list-template-ids:-187372230 134807553 134807555 134807557 134807553 134807555 134807557 134807553 134807555 134807557;}
@list l1:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="color:black">Call for Papers<o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><b><span style="color:black">The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence</span></b><span style="color:black"><br>
LNGAI 2026<br>
<br>
<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black">Workshop at
<b>COMMA 2026</b>, Barcelona, Spain, 17 September 2026<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black">Website: <a href="https://www.zlaire.net/lngai2026/">
https://www.zlaire.net/lngai2026/</a><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black">The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence (LNGAI 2026) focuses on the interaction between symbolic and sub-symbolic forms of
argumentation reasoning in agentic AI systems. On the one hand, it studies how sub-symbolic models, such as neural and large language models, can generate, approximate, or support argumentation. On the other hand, it examines how formal and computational argumentation
can be used to analyse, guide, constrain, and verify reasoning produced by learning-based models and agents. Particular attention is given to hybrid and neuro-symbolic approaches, in which symbolic and sub-symbolic components are combined to support reliable,
interpretable, and verifiable reasoning in agentic AI systems. The workshop also welcomes contributions that explore how such integrations can be applied in domains such as machine ethics, explainable AI (XAI), and AI & Law.<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><b><u><span style="color:black">Submission format</span></u></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black">We invite two types of submissions:<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoListParagraph" style="color:black;margin-left:0cm;mso-list:l1 level1 lfo2;background:white">
<b>Full papers </b>(within 16 pages excluding bibliography) describing original and unpublished work.<o:p></o:p></li><li class="MsoListParagraph" style="color:black;margin-left:0cm;mso-list:l1 level1 lfo2;background:white">
<b>Extended abstracts </b>(within 6 pages excluding bibliography) of preliminary original work. Submissions should be original, not simultaneously submitted elsewhere, and prepared according to the workshop submission guidelines. Accepted papers will be presented
at the workshop as part of the technical program. <o:p></o:p></li></ul>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><b><u><span style="color:black">Publication</span></u></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black">All accepted papers will be published with College Publications.<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><b><u><span style="color:black">Important dates<o:p></o:p></span></u></b></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black">Submission deadline: 6 July 2026<br>
Notification: 6 August 2026<br>
Final version: 26 August 2026<br>
Workshop: 17 September 2026<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><b><u><span style="color:black">Topics of interest include, but are not limited to</span></u></b><span style="color:black">:<o:p></o:p></span></p>
<ul type="disc">
<li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
LLM-assisted generation of logical representations, arguments, and reasoning structures<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Logical and argumentation-based analysis of reasoning generated by language models<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Computational argumentation for guiding, constraining, and explaining language-model-based systems<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Hybrid and neuro-symbolic architectures combining language models with symbolic reasoning<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Neuro-symbolic knowledge representation and reasoning methods for language models<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Knowledge injection into, and extraction from, language models<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Commonsense reasoning integrating language models with knowledge representation and reasoning<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Argumentation, deliberation, negotiation, and dialogical reasoning with language-model-based agents<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Reasoning about agency, autonomy, and learning in systems built with language models<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Planning, action, and decision-making in agentic systems and workflows<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Logical and computational models of generative agents<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Cooperation, coordination, and communication in multi-agent systems involving generative agents<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Logic-based verification, safety, and controllability of language-model-based and agentic systems<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Logics for reasoning about knowledge, beliefs, goals, intentions, actions, and plans<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Non-monotonic, defeasible, and uncertain reasoning in language-model-based and agent-based systems<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Verification and formal analysis of agents and multi-agent systems<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Argumentation-based explanation and interpretable reasoning<o:p></o:p></li><li class="MsoNormal" style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Normative reasoning and applications in machine ethics and AI & Law<o:p></o:p></li></ul>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;margin-left:36.0pt;background:white">
<span style="color:black"><o:p> </o:p></span></p>
<p class="MsoNormal" style="background:white"><b><u><span style="color:black">Organizers</span></u></b><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="color:black">Beishui Liao, Zhejiang University, China<br>
Nico Potyka, Cardiff University, United Kingdom<br>
Leon van der Torre, University of Luxembourg, Luxembourg<br>
<b>Liuwen Yu</b>, Luxembourg Institute of Science and Technology, Luxembourg<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>