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

Country: Spain

City: Santiago de Compostela

Abstr. due: 01.03.2020

Dates: 10.06.20 — 12.06.20

Area Of Sciences: Technical sciences;

Organizing comittee e-mail: area2020.workshop@gmail.com

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)

 

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.

FORMAT

This workshop is a 1-day event with presentations of accepted papers and one to two invited speakers (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

Conference Web-Site: https://area2020.github.io/

Similar conferences with close deadlines: