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 (http://aass.oru.se/Agora/EuronCoop/), as formal models and methods have been considered key topics of the SIG, and of the RoboCup community (http://www.robocup.org/).

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: