<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">The deadline for submissions for the Special Issue on Mathematics in Artificial Intelligence
has now been extended to March 31th, 2024.</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Please find details on the call below or at
<a href="https://aiml.inf.ed.ac.uk/mai2024/" id="LPlnk112078">https://aiml.inf.ed.ac.uk/mai2024/</a></span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">---</span></div>
<p class="elementToProof" style="margin-top: 0px; margin-bottom: 0px;"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 24pt; color: rgb(0, 0, 0);"><b><br>
</b></span></p>
<p class="elementToProof" style="margin-top: 0px; margin-bottom: 0px;"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 24pt; color: rgb(0, 0, 0);"><b>Mathematics in Artificial Intelligence</b></span><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></p>
<p class="elementToProof" style="margin-top: 0px; margin-bottom: 0px;"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"></span><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 13.5pt; color: rgb(0, 0, 0);">A
Special Issue of the journal <a href="https://www.springer.com/journal/11786" id="OWA1ed8290a-1a3e-088f-52e8-3ff35717f52f" class="OWAAutoLink" style="margin-top: 0px; margin-bottom: 0px;" data-loopstyle="linkonly">
Mathematics in Computer Science</a><br>
Guest edited by Paola Galdi (paola.galdi@ed.ac.uk) and Jacques Fleuriot (jdf@ed.ac.uk), University of Edinburgh, UK.</span></p>
<p><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Mathematics plays a vital role in the development, analysis and application of Artificial Intelligence (AI) systems.
As AI continues to advance and impact various domains, the need for rigorous mathematical theories, methodologies and tools to understand and enhance AI approaches becomes paramount.</span></p>
<p><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">The journal Mathematics in Computer Science invites researchers and practitioners to contribute to a special
issue focused on Mathematics in Artificial Intelligence, encompassing a wide range of topics exploring the interplay between mathematics and AI.</span></p>
<p class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><b><br>
</b></span></p>
<p class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><b>Relevant themes and sub-themes include, but are not limited to:</b></span></p>
<ul style="list-style-type: disc;">
<li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Mathematical theories and foundations of AI approaches:<br>
– Probabilistic reasoning and graphical models<br>
– Statistical learning theory<br>
– Algebraic structures for representation and reasoning<br>
– Causal inference and decision theory</span></li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"> Mathematical methodologies and tools for applied AI:<br>
– Optimization techniques for AI models<br>
– Uncertainty quantification in AI systems<br>
– Information theory and AI applications<br>
– Topological data analysis in AI<br>
– Geometric methods for machine learning</span></li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"> Neurosymbolic AI, with a focus on the interplay between deep learning and automated reasoning:<br>
– Integration of symbolic reasoning with machine learning<br>
– Explainable AI and interpretable deep learning models<br>
– Knowledge representation in neurosymbolic systems<br>
– Combining deep learning and mechanical theorem proving or model checking<br>
– Hybrid neurosymbolic approaches</span></li></ul>
<p><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><b>Submissions</b></span></p>
<p><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">We welcome original research papers and insightful surveys, which should be prepared according to the journal’s
guidelines which can be accessed <a href="https://www.springer.com/journal/11786/submission-guidelines#Instructions%20for%20Authors_Title%20Page" id="OWA74f4464e-d76c-4b2e-c2d2-c1d02f42fa0a" class="OWAAutoLink" style="margin-top: 0px; margin-bottom: 0px;" data-loopstyle="linkonly">
here</a>.</span></p>
<p><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Articles should then submitted via EasyChair:
<a href="https://easychair.org/my/conference?conf=mai2024" id="OWA95aba93e-f695-c61d-5f4e-ff9e35ab4394" class="OWAAutoLink" style="margin-top: 0px; margin-bottom: 0px;">
https://easychair.org/my/conference?conf=mai2024</a> by the deadline.</span></p>
<p><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Please note that the guest editors will first carry a quick assessment of each submission and only papers that
are deemed relevant to the special issue and are of high enough quality will be forwarded to at least two referees for full, independent reviews.</span></p>
<p class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Authors are welcome to suggest suitable reviewers and/or request the exclusion of certain
individuals when they submit their manuscripts. Please include this information in the title page of the manuscript.</span></p>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof"><span style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span></div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Paola Galdi</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature">
<div style="font-size:12pt; font-family:Calibri,Helvetica,sans-serif; color:rgb(0,0,0)" dir="ltr" id="divtagdefaultwrapper">
</div>
<p style="direction: ltr; margin-top: 0px; margin-bottom: 0px;"><span style="font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; color: rgb(0, 0, 0);">Postdoctoral Research Associate</span></p>
<div style="direction: ltr; margin-top: 0px; margin-bottom: 0px;"><span style="font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; color: rgb(0, 0, 0);">Artificial Intelligence and its Applications
Institute</span><span style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><br>
</span><span style="font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; color: rgb(0, 0, 0);">Room 2.29 Informatics Forum</span></div>
<div style="direction: ltr; margin-top: 0px; margin-bottom: 0px;"><span style="font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px; color: rgb(0, 0, 0);">10 Crichton Street, Edinburgh, EH8 9AB</span></div>
</div>
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
</body>
</html>