Workshop Banner  
Call for papers
Important dates
Accepted papers
Invited speakers

The primary goal of this Workshop was to consolidate the research community that takes formal approaches to MRS, by bringing international researchers and students together to discuss their common problems, typically related to complexity growth, level of abstraction required, or bridging the gap between raw data and symbolic representations, to name but a few.

The workshop was aimed at all researchers in Robotics and Artificial Intelligence who take formal approaches to MRS modeling, analysis and design, as an alternative to ad hoc approaches which may produce very good results for some particular applications, but are hardly generalizable to other scenarios, even within the same class of applications. Particular care was given to promoting the participation of students and young researchers, so as to encourage their work towards the study and development of MRS models and methods, and to provide a forum for the presentation of preliminary work on these topics.

The workshop was also aimed at all the researchers in the EURON SIG on Cooperative Robotics (, as formal models and methods have been considered key topics of the SIG, and of the RoboCup community (

Final note from the organizers:

The workshop is now over and the feedback from different participants was very positive!

We would like to thank all the researchers who submitted their work and/or attended the workshop, because they are responsible for the success it was. We would also like to acknowledge the hard work from all the elements of the Program Committee, who provided the careful reviews of all submitted papers and contributed to the quality of the workshop. We would also like to thank our invited speakers, Magnus Egerstedt and Alcherio Martinoli, who kindly accepted our invitation to participate in the workshop and present some of their work on multi-robot systems. The slides of their talks are now available here.

Recent updates:

(08.05.19) Slides of the talks from the invited speakers are now available here.
(08.03.12) Abstracts of the accepted papers are now available here.
(08.02.27) Format instructions for camera-ready papers are now available here.
(08.02.25) List of accepted papers and preliminary schedule available.
(08.02.14) Registration for the AAMAS Conference is now open.
(08.02.11) Summary of invited talks now available here.
(08.02.01) Paper submission is now CLOSED.
(08.01.23) Deadline for paper submission extended to February 1st.
(08.01.10) Final call for papers released.
(07.12.05) Call for papers updated (submissions are no longer limited to student papers).
(07.11.28) Call for papers released.