<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 style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: "Courier New"; font-size: 9pt; color: black;" class="elementToProof">
<b>Call for Papers CIFMA 2025</b></div>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications</b><br>
11 November 2025, Toledo, Spain (Co-located with SEFM 2025)</span></p>
<div style="background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<hr style="text-indent: 0px; width: 980px;" align="center">
</div>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Background and Objectives</b></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">Cognition encompasses a wide range of intellectual functions and processes such as attention, memory, reasoning, problem solving, decision making, and language comprehension and production.
Although rooted in psychology, the study of cognition now spans a wide array of disciplines, driven by the increasing complexity of human interaction with technological systems, virtual environments, and intelligent machines.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b> </b></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>CIFMA 2025</b> (</span><span style="font-family: "Courier New"; font-size: 9pt; color: blue;"><a style="color: blue; margin: 0px;" data-linkindex="0" data-auth="NotApplicable" rel="noopener noreferrer" title="https://cifma.github.io/" class="x_x_OWAAutoLink" id="OWA23af4d05-6af1-f338-30d0-90ebf86cf101" target="_blank" href="https://cifma.github.io/">https://cifma.github.io/</a></span><span style="font-family: "Courier New"; font-size: 9pt; color: rgb(36, 36, 36);">)</span><span style="font-family: Calibri, sans-serif; font-size: 12pt; color: rgb(36, 36, 36);"> </span><span style="font-family: "Courier New"; font-size: 9pt; color: black;">aims
to provide a collaborative forum for researchers and practitioners from academia, industry, and research institutions who are interested in the foundations and applications of cognition. The workshop encourages interdisciplinary dialogue and concrete collaborations
between fields such as computer science, logic, neuroscience, linguistics, cognitive robotics, philosophy, and more.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">The workshop specifically promotes the use of formal methods as a unifying approach to model and analyze cognitive systems and processes, extending well beyond their traditional use in
software engineering.</span></p>
<div style="background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<hr style="text-indent: 0px; width: 980px;" align="center">
</div>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Contributions
</b>to the workshop cover the areas of education, research and technology, either in general or with a focus on formal methods. Topics are organized in possibly overlapping categories and include, but are not restricted to:</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b> </b></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Interdisciplinary Foundations of Cognition:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">philosophy of cognition</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">human memory and memory processes</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">attention</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">perception, visual cognition and situated cognition</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive models and architectures</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">languages for cognitive science</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">social cognition</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Cognitive Robotics:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">autonomous knowledge acquisition</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">motor babbling</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">learning by imitation</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive architectures for robotics</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Cognitive Linguistics:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive approaches to grammar</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive and conceptual semantics</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive phonology</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">dynamical models of language acquisition</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">computational models of metaphor and language acquisition</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">corpus linguistics and conversational data</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Cognitive Learning:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">learning theories</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive development</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">problem solving</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">metacognition</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Cognitive Neuroscience and Medicine:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">biomedical signal and image processing</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">biomedical sensors and wearable systems</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">brain-computer interfaces and neural prostheses</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">brain mapping</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">neural and rehabilitation engineering</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Logics and their application to:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">human-computer interaction</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">human behaviour</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">human reasoning and problem solving</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">visual reasoning</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">human-robot interaction</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">linguistics</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Cognitive computing:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">artificial neural networks</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">human behaviour</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive analytics</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">human cognitive augmentation</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive computing hardware</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">AI cognitive systems</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Cognition and software engineering:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">integration of cognitive models and cognitive architectures within the software design and verification process</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive aspects in cyber-physical systems and their verification</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">socio-technical systems</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive aspects in safety analysis and verification of safety-critical systems</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognitive security</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">cognition hacking</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Cognition and formal methods:</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">formal frameworks for trust reasoning</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">formal methods for the modeling and analysis of robotic systems</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">formal methods for the modeling and analysis of human behaviour</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">formal methods for the modeling and analysis of human interaction with computers and robots</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">application of formal methods to cognitive psychology</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;">formal frameworks for trust reasoning</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"> </span></p>
<div style="background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<hr style="text-indent: 0px; width: 980px;" align="center">
</div>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Submission Categories</b></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">We welcome original, unpublished contributions in the following categories:</span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Research papers</b>: novel results with formal analysis and discussion</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Position papers</b>: provocative and innovative ideas or frameworks</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Case Study papers</b>: real-world applications and lessons learned.</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Tool papers</b>: description and evaluation of tools or components</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">Please indicate the paper category
<b>clearly</b> in the EasyChair submission abstract (e.g., This Research paper...)</span></p>
<div style="background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<hr style="text-indent: 0px; width: 980px;" align="center">
</div>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Submission Guidelines</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Regular papers</b>: 1215 pages (LNCS format, references excluded); 1216 pages for final post-proceedings</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Short papers</b>: 68 pages; 69 pages for final post-proceedings</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Presentations</b>: extended abstracts (up to 4 pages), included in pre-proceedings only</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">All submissions must be in English and formatted using the LNCS templates available at:<br>
</span><span style="font-family: "Courier New"; font-size: 9pt; color: blue;"><a style="color: blue; margin: 0px;" data-linkindex="1" data-auth="NotApplicable" rel="noopener noreferrer" title="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" class="x_x_OWAAutoLink" id="OWA4c3ee748-68fa-256e-27d2-464e7a27dc93" target="_blank" href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">LNCS
Guidelines</a></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">Submissions must be made via
<b>EasyChair</b>:</span><span style="font-family: "Lucida Grande", sans-serif; font-size: 10pt; color: blue;"><br>
</span><span style="font-family: "Courier New"; font-size: 10pt; color: blue;"><a style="color: blue; margin: 0px;" data-linkindex="2" data-auth="NotApplicable" rel="noopener noreferrer" title="https://easychair.org/conferences" class="x_x_OWAAutoLink" id="OWAb46fed59-510a-01dc-454f-c53d989d437c" target="_blank" href="https://easychair.org/conferences">https://easychair.org/conferences?conf=cifma2025</a></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">All contributions will be peer-reviewed for originality, significance, clarity, and relevance. Papers outside the page limits may be desk-rejected.</span></p>
<div style="background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<hr style="text-indent: 0px; width: 980px;" align="center">
</div>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Important Dates</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<div style="margin: 0px; font-family: "Courier New"; font-size: 9pt;" role="presentation">
<b>Paper Submission Deadline</b>: <s>Wednesday, </s><b><s>3 September 2025</s> EXTENDED Deadline:</b> Monday<b>, 15 September 2025</b></div>
</li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Notification of Acceptance</b>: Wednesday,
<b>15 October 2025</b></span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Pre-proceedings Final Version Due</b>: Monday,
<b>3 November 2025</b></span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Post-proceedings Final Version (LNCS)</b>: TBA</span></li></ul>
<div style="background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<hr style="text-indent: 0px; width: 980px;" align="center">
</div>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Proceedings and Publication</b></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">Accepted full and short papers will be published in the
<b>Lecture Notes in Computer Science (LNCS)</b> series by Springer.<br>
Inclusion in the LNCS volume requires that at least one co-author registers and presents the work at the workshop.</span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">A special issue in a relevant journal may be planned, depending on submission quality and volume.</span></p>
<div style="background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<hr style="text-indent: 0px; width: 980px;" align="center">
</div>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"><b>Program Chairs</b></span></p>
<ul style="text-align: left; margin-top: 0cm; margin-bottom: 0cm; background-color: rgb(255, 255, 255);">
<li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Francesco Bianchini</b>, University of Bologna, Italy</span></li><li style="font-family: Calibri, sans-serif; font-size: 12pt; color: black; margin: 0cm 0cm 0.0001pt;">
<span role="presentation" style="font-family: "Courier New"; font-size: 9pt;"><b>Arianna Pavone</b>, University of Palermo, Italy</span></li></ul>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;">Info: </span>
<span style="font-family: "Courier New"; font-size: 9pt; color: blue;"><a style="color: blue; margin: 0px;" data-linkindex="3" title="mailto:francesco.bianchini@unibo.it" class="x_x_OWAAutoLink" id="OWAfb70724a-a930-641d-3f3b-4b2343c22bed" href="mailto:francesco.bianchini@unibo.it">francesco.bianchini@unibo.it</a></span><span style="font-family: "Courier New"; font-size: 9pt; color: black;">;
</span><span style="font-family: "Courier New"; font-size: 9pt; color: blue;"><a style="color: blue; margin: 0px;" data-linkindex="4" title="mailto:ariannamaria.pavone@unipa.it" class="x_x_OWAAutoLink" id="OWAcc0b8860-a4c0-41df-180a-e1c9110bebcf" href="mailto:ariannamaria.pavone@unipa.it">ariannamaria.pavone@unipa.it</a></span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: black;"> </span></p>
<p style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0cm 0cm 0.0001pt;" class="elementToProof">
<span style="font-family: "Courier New"; font-size: 9pt; color: rgb(36, 36, 36);">Website:
</span><span style="font-family: "Courier New"; font-size: 9pt; color: blue;"><a style="color: blue; margin: 0px;" data-linkindex="5" data-auth="NotApplicable" rel="noopener noreferrer" title="https://cifma.github.io/" class="x_x_OWAAutoLink" id="OWAf4d08f13-3dc5-3802-5bd6-af54751c3d79" target="_blank" href="https://cifma.github.io/">https://cifma.github.io/</a></span></p>
<div style="margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
</body>
</html>