<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>
</p>
<div class="moz-text-flowed" style="font-family: -moz-fixed;
font-size: 12px;" lang="x-unicode">-------------------------------------------------------------------------------------------------------------------
<br>
<br>
Call for Papers: NEW DATE & DEADLINE EXTENSION
<br>
First Workshop on Agents and Robots for reliable Engineered
Autonomy (AREA)
<br>
<br>
Co-located with ECAI 2020
<br>
Workshop: 29th or 30th August, 2020
<br>
<br>
(Conference: 31th of August - 2nd of September, 2020)
<br>
Santiago de Compostela, Spain
<br>
<br>
Info: <a class="moz-txt-link-freetext"
href="https://area2020.github.io/">https://area2020.github.io/</a>
<br>
Contact: <a class="moz-txt-link-abbreviated"
href="mailto:area2020.workshop@gmail.com">area2020.workshop@gmail.com</a>
<br>
<br>
-------------------------------------------------------------------------------------------------------------------
<br>
<br>
*Workshop proceedings will be published with EPTCS (<a
class="moz-txt-link-freetext" href="http://www.eptcs.org/">http://www.eptcs.org/</a>)
<br>
*Invited speaker: Charles Lesire (<a class="moz-txt-link-freetext"
href="https://sites.google.com/view/charles-lesire">https://sites.google.com/view/charles-lesire</a>)
<br>
<br>
IMPORTANT DATES (UPDATED DUE TO COVID-19 OUTBREAK)*
<br>
<br>
Abstract Submission (optional): 3rd May 2020
<br>
Paper Submission Deadline: 10th May 2020 (AoE, UTC-12)
<br>
Paper Notification: 10th June 2020
<br>
Camera Ready: 10th July 2020
<br>
Workshop: 29th or 30th August, 2020
<br>
<br>
* These dates are strictly related to the ECAI conference
rescheduling: if further changes will happen, they will be updated
consequently. We are evaluating the possibility to have remote
presentations and we will update this call when it is confirmed.
<br>
<br>
SCOPE
<br>
<br>
Autonomous agents is a well-established area that has been
researched for decades, both from a design and implementation
viewpoint. Nonetheless, the application of agents in real world
scenarios is largely adopted when logical distribution is needed,
while still limited when physical distribution is necessary. The
autonomous behaviour responsible for decision-making should
(ideally) be verifiable since these systems are expensive to
produce and are often deployed in safety-critical situations.
<br>
<br>
This workshop aims to bring together researchers from the
autonomous agents, software engineering and the robotics
communities, as combining knowledge coming from these research
areas may lead to innovative approaches that solve complex
problems related with the verification and validation of
autonomous robotic systems. Consequently, we encourage submissions
that combine agents, robots, and verification, but we also welcome
papers focused on one of these areas, as long as their
applicability to the other areas is clear.
<br>
<br>
INVITED SPEAKERS
<br>
<br>
Charles Lesire (<a class="moz-txt-link-freetext"
href="https://sites.google.com/view/charles-lesire">https://sites.google.com/view/charles-lesire</a>)
- Senior Research Fellow at ONERA (French Aerospace Lab)
<br>
More to be confirmed.
<br>
<br>
TOPICS
<br>
<br>
The main topics include but are not limited to:
<br>
- Agent-based modular architectures applicable to robots
<br>
- Agent oriented software engineering to model high-level control
in robotic development
<br>
- Agent programming languages and tools for developing robotic or
intelligent autonomous systems
<br>
- Coordination, interaction, and negotiation protocols for agents
and robots
<br>
- Distributed problem solving and automated planning in autonomous
systems
<br>
- Fault tolerance, health-management, and long-term autonomy
<br>
- Real world applications of autonomous agents and multi-agent
systems in robotics
<br>
- Real-time multi-agent systems
<br>
- Reliable software engineering of autonomy
<br>
- Runtime verification of autonomous agents and robotic systems
<br>
- Task and resource allocation in multi-robot systems
<br>
- Verification and validation of autonomous systems
<br>
- Testing and simulation tools and techniques for autonomous or
robotic systems
<br>
- Self healing entities and systems
<br>
<br>
SUBMISSIONS
<br>
<br>
We invite you to submit:
<br>
- Full research papers that must describe authors' original
research work and results.
<br>
- Case study papers that should identify lessons learned, validate
theoretical results (such as scalability of methods) or describe
new tools, applications, and benchmarks.
<br>
- Research ideas: AREA encourages the submissions of new research
ideas in order to stimulate discussions at the workshop.
<br>
<br>
Full and case study papers are limited to 15* single-column pages;
research ideas papers are limited to 7* single-column pages. All
submissions must be in English and in PDF format.
<br>
*excluding references and appendices
<br>
<br>
All papers should be original and not be submitted elsewhere. The
review process is single blind: submissions should not be blind,
reviewers will be.
<br>
Submissions are accepted in PDF format only.
<br>
<br>
The proceedings of the workshop will be published with EPTCS (<a
class="moz-txt-link-freetext" href="http://www.eptcs.org/">http://www.eptcs.org/</a>).
Formatting guidelines should follow EPTCS style: <a
class="moz-txt-link-freetext" href="http://style.eptcs.org/">http://style.eptcs.org/</a>
<br>
<br>
Submission link: <a class="moz-txt-link-freetext"
href="https://easychair.org/my/conference?conf=area2020#">https://easychair.org/my/conference?conf=area2020#</a>
<br>
<br>
We will evaluate applying for a special issue on a Journal (to be
selected) where revised selected and extended papers will be
published.
<br>
<br>
Kind regards, the organizers:
<br>
<br>
Rafael C. Cardoso, University of Liverpool (UK)
<br>
Angelo Ferrando, University of Liverpool (UK)
<br>
Tobias Ahlbrecht, Clausthal University of Technology (Germany)
<br>
Claudio Menghi, University of Luxembourg (Luxembourg)
<br>
Daniela Briola, University of Milano Bicocca (Italy)<br>
</div>
</body>
</html>