posted by organizer: AngeloFerrando || 366 views || tracked by 1 users: [display]

AREA 2020 : Workshop on Agents and Robots for reliable Engineered Autonomy

FacebookTwitterLinkedInGoogle

Link: http://area2020.github.io
 
When Jun 8, 2020 - Jun 8, 2020
Where Santiago de Compostela, Spain
Submission Deadline Mar 15, 2020
Notification Due Apr 15, 2020
Final Version Due May 15, 2020
Categories    autonomous agents   robotic applications   software engineering   verification and validation
 

Call For Papers

-------------------------------------------------------------------------------------------------------------------

Call for Papers: DEADLINE EXTENSION
First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA)

Co-located with ECAI 2020
Workshop: 8th of June, 2020

(Conference: 10th-12th of June, 2020)
Santiago de Compostela, Spain

Info: https://area2020.github.io/
Contact: area2020.workshop@gmail.com

-------------------------------------------------------------------------------------------------------------------

*Workshop proceedings will be published with EPTCS (http://www.eptcs.org/)
*Invited speaker: Charles Lesire (https://sites.google.com/view/charles-lesire)

IMPORTANT DATES (UPDATED)

Abstract Submission (optional): 1st March 2020
Paper Submission Deadline (extended from 1st March): 15th March 2020 (AoE, UTC-12)
Paper Notification: 15th April 2020
Camera Ready: 15th May 2020
Workshop: 8th June 2020

SCOPE

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.

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.

INVITED SPEAKERS

Charles Lesire (https://sites.google.com/view/charles-lesire) - Senior Research Fellow at ONERA (French Aerospace Lab)
More to be confirmed.

TOPICS

The main topics include but are not limited to:
- Agent-based modular architectures applicable to robots
- Agent oriented software engineering to model high-level control in robotic development
- Agent programming languages and tools for developing robotic or intelligent autonomous systems
- Coordination, interaction, and negotiation protocols for agents and robots
- Distributed problem solving and automated planning in autonomous systems
- Fault tolerance, health-management, and long-term autonomy
- Real world applications of autonomous agents and multi-agent systems in robotics
- Real-time multi-agent systems
- Reliable software engineering of autonomy
- Runtime verification of autonomous agents and robotic systems
- Task and resource allocation in multi-robot systems
- Verification and validation of autonomous systems
- Testing and simulation tools and techniques for autonomous or robotic systems
- Self healing entities and systems

SUBMISSIONS

We invite you to submit:
- Full research papers that must describe authors' original research work and results.
- Case study papers that should identify lessons learned, validate theoretical results (such as scalability of methods) or describe new tools, applications, and benchmarks.
- Research ideas: AREA encourages the submissions of new research ideas in order to stimulate discussions at the workshop.

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.
*excluding references and appendices

All papers should be original and not be submitted elsewhere. The review process is single blind: submissions should not be blind, reviewers will be.
Submissions are accepted in PDF format only.

The proceedings of the workshop will be published with EPTCS (http://www.eptcs.org/). Formatting guidelines should follow EPTCS style: http://style.eptcs.org/

Submission link: https://easychair.org/my/conference?conf=area2020#

We will evaluate applying for a special issue on a Journal (to be selected) where revised selected and extended papers will be published.

Kind regards, the organizers:

Rafael C. Cardoso, University of Liverpool (UK)
Angelo Ferrando, University of Liverpool (UK)
Tobias Ahlbrecht, Clausthal University of Technology (Germany)
Claudio Menghi, University of Luxembourg (Luxembourg)
Daniela Briola, University of Milano Bicocca (Italy)




Related Resources

CCCIOT 2020   International Conference on Cloud Computing and IOT (CCCIOT 2020)
IROS 2020   International Conference on Intelligent Robots and Systems
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
AAMAS 2020   International Conference on Autonomous Agents and Multi-Agent Systems 2020
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
ICAART 2020   12th International Conference on Agents and Artificial Intelligence
ESEC/FSE 2020   ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Autonomy in CPS 2020   Workshop on Autonomy in Cyber-Physical Systems at CPS-IoT Week
PAAMS 2020   18th International Conference on Practical Applications of Agents and Multi-Agent Systems
ACM--ICCTA--Ei Compendex, Scopus 2020   ACM--2020 6th International Conference on Computer and Technology Applications (ICCTA 2020)--Ei Compendex, Scopus