<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
[Apologies for cross and multiple postings]
<div><br>
</div>
<div>-------------------------------------------------------------------------------------------------------------------</div>
<div><br>
</div>
<div>CALL FOR PAPERS</div>
<div>Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA)</div>
<div><br>
</div>
<div>Co-located with ECAI 2023</div>
<div>Workshop: 30th September - 1st October 2023 (exact day TBA)</div>
<div class="elementToProof"><br>
</div>
<div>Conference: 2nd - 5th October 2023</div>
<div>Kraków, Poland</div>
<div><br>
</div>
<div class="elementToProof ContentPasted0">Workshop website: <a href="https://areaworkshop.github.io/AREA2023/" id="LPlnk209340">https://areaworkshop.github.io/AREA2023/</a></div>
<div>Contact: area.workshop.info@gmail.com</div>
<div><br>
</div>
<div>-------------------------------------------------------------------------------------------------------------------</div>
<div><br>
</div>
<div>IMPORTANT DATES</div>
<div><br>
</div>
<div>Paper Submission Deadline: 18th July 2023 (AoE, UTC-12)</div>
<div>Paper Notification: 8th August 2023 (AoE, UTC-12)</div>
<div>Camera Ready: 3rd September 2023 (AoE, UTC-12)</div>
<div><br>
</div>
<div>SCOPE</div>
<div><br>
</div>
<div>This workshop aims to bring together researchers from the autonomous agents and the robotics communities, since combining knowledge from these two research areas may lead to innovative approaches that solve complex problems related to the verification
and validation of autonomous robotic systems. Therefore, we encourage submissions that combine agents, robots, software engineering, and verification, but we also welcome papers focused on one of these areas, as long as their applicability to the other areas
is explicit.</div>
<div><br>
</div>
<div>TOPICS</div>
<div><br>
</div>
<div>The main topics include but are not limited to:</div>
<div>- Agent-based modular architectures applicable to robots</div>
<div>- Agent oriented software engineering to model high-level control in robotic development</div>
<div>- Agent programming languages and tools for developing robotic or intelligent autonomous systems</div>
<div>- Coordination, interaction, and negotiation protocols for agents and robots</div>
<div>- Distributed problem solving and automated planning in autonomous systems</div>
<div>- Engineering reliable interactions between humans and autonomous robots or agents</div>
<div>- Fault tolerance, health-management, and long-term autonomy</div>
<div>- Neuro-symbolic artificial intelligence</div>
<div>- Real world applications of autonomous agents and multi-agent systems in robotics</div>
<div>- Runtime verification of autonomous agents and robotic systems</div>
<div>- Task and resource allocation in multi-robot systems</div>
<div>- Verification and validation of autonomous systems</div>
<div><br>
</div>
<div>SUBMISSIONS</div>
<div><br>
</div>
<div>Types of submissions:</div>
<div>- full-length research paper</div>
<div>- short paper</div>
<div><br>
</div>
<div>Full-length research papers must not exceed twelve (12) pages single column excluding references and appendices and short papers must not exceed six (6) pages single column excluding references and appendices. All submissions must be in English and PDF
format. Each submission will receive at least three single-blind reviews. All papers should be original and not be submitted elsewhere. The review process is single-blind: submissions should not be blind, reviewers will be.</div>
<div><br>
</div>
<div>The AREA 2023 workshop is going to be an in-person event (following ECAI 2023 guidelines). At least one author of each accepted paper has to register to the workshop (via ECAI 2023 website, links and fees will be made available soon).</div>
<div><br>
</div>
<div class="elementToProof ContentPasted2 ContentPasted3">The proceedings of the workshop will be published with EPTCS (<a href="http://www.eptcs.org/" id="LPlnk283722">http://www.eptcs.org/</a>). Formatting guidelines should follow EPTCS style: <a href="http://style.eptcs.org/" id="LPlnk997553">http://style.eptcs.org/</a></div>
<div><br>
</div>
<div class="elementToProof ContentPasted1">Submission link: <a href="https://easychair.org/my/conference?conf=area2023" id="LPlnk370234">https://easychair.org/my/conference?conf=area2023</a></div>
<div><br>
</div>
<div>After the workshop, we will consider applying for a journal special issue (journal to be selected later), where revised selected and extended papers can be published.</div>
<div><br>
</div>
<div>WORKSHOP FORMAT</div>
<div><br>
</div>
<div>The event is planned as a one day workshop, with a duration of approximately eight hours (four in the morning and four in the afternoon).
</div>
<div><br>
</div>
<div>INVITED TALKS</div>
<div><br>
</div>
<div>TBA</div>
<div><br>
</div>
<div>Kind regards, the organisers:</div>
<div>Angelo Ferrando, University of Genova (Italy)</div>
<div class="elementToProof">Rafael C. Cardoso, University of Aberdeen (UK)</div>
</body>
</html>