Aim

Autonomous agents are a mature research area, but their real-world use has largely remained within software systems. Meanwhile, robotics is increasingly applied in dynamic, uncertain environments involving complex human–robot interactions, challenging traditional engineering approaches.

Autonomous agents and multi-agent systems offer a promising foundation for such applications. However, greater autonomy and interaction make ensuring reliable behaviour more difficult, requiring advanced verification and validation techniques integrated into the system lifecycle.

This workshop brings together researchers from autonomous agents, robotics, software engineering, and formal verification to address these challenges.

Workshop Format

AREA 2026 is planned as a one-day workshop of approximately eight hours, with sessions in the morning and afternoon. Depending on the number of submissions, a discussion panel may be organised at the end, and at least two invited talks are planned.

Submission Instructions

All proposed papers must be submitted in electronic form (PDF format) using the PAAMS conference management system.

Papers are expected to be up to 12 pages single-column including references and figures. Submissions should be in English and PDF format, and the review process will be single-blind.

Registration

At least one author of each accepted paper will be required to register to the host conference through the host conference registration system.