Call for papers:

An increasing number of researchers worldwide are becoming interested in developing formal models and methods that provide tools for Multi-Robot Systems (MRS) analysis (e.g., formal verification, performance quantification) and design from specifications. Such formal techniques can benefit many problems in MRS, such as motion coordination, task planning, and sensor fusion. Examples of formal models and methods include, but are not limited to:

• Logic-based methods
• Sequential decision-making approaches
• Graph-based formation control
• Discrete and hybrid system techniques

The key issue is that the models and methods described should apply to systems composed of multiple robots, taking into account their specific issues and problems. Both real robots and realistic robot simulations will be acceptable.

Submissions:

Papers will be selected for presentation by a review process conducted by the Program Committee members.

Submissions should be sent by e-mail as PDF attachments in the AAMAS'08 format with a maximum of 6 pages to formal@isr.ist.utl.pt by February 1st.

You can download the call for papers as a text file or as a pdf file.

Camera-ready submission:

The camera-ready version of the papers accepted for the workshop should be formatted according to the workshop paper format. The LaTeX class file can be downloaded from here. If, in your previous submission, you used the AAMAS LaTeX paper format, it should be sufficient to change the headline from

\documentclass{aamas2008-new}

to

\documentclass{formal08}

You can also download a sample LaTeX file from here and an MS Word template from here.

Submissions should be sent by e-mail as PDF attachments with a maximum of 6 pages to formal@isr.ist.utl.pt by March, 7th.