[robocup-legged] CFP: AAMAS'08 Workshop on Formal Models and Methods for Multi-Robot Systems

[Matthijs Spaan]

======================================================================
                          CALL FOR PAPERS
AAMAS'08 Workshop on Formal Models and Methods for Multi-Robot Systems
======================================================================

Estoril, Portugal
May 12 or 13, 2008
http://formal.isr.ist.utl.pt

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.

The workshop agenda will consists of invited talks by Alcherio
Martinoli and Magnus Egerstedt, student paper presentations and
topical discussions. The workshop will be of interest to 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 hard to generalize to others.

----------------------------------------------------------------------
Paper submissions

Submitted papers must have a registered student as first author, and
must describe student research work, typically towards a PhD degree.
Papers will be selected for presentation by a review process conducted
by the Program Committee members.

Submissions should be sent as an PDF attachments in the AAMAS'08
format with a maximum of 6 pages to formal at isr.ist.utl.pt by Jan 25.

Important dates:
Jan 25, 2008       - Deadline for student paper submissions
Feb 25, 2008       - Paper acceptance notification
Mar 7, 2008        - Camera-ready deadline
May 12 or 13, 2008 - Workshop (actual day to be determined)

----------------------------------------------------------------------
Invited speakers

Alcherio Martinoli
Ecole Polytechnique Fédérale de Lausanne, Switzerland
http://www5.epfl.ch/swis/page1336.html

Magnus Egerstedt
Georgia Institute of Technology, GA, USA
http://users.ece.gatech.edu/~magnus/

----------------------------------------------------------------------
Organizing Comittee

Pedro U. Lima
Instituto Superior Técnico, Lisbon, Portugal

Nikos Vlassis
Technical University of Crete, Chania, Greece

Matthijs Spaan
Institute for Systems and Robotics/IST, Lisbon, Portugal

Francisco S. Melo
Institute for Systems and Robotics/IST, Lisbon, Portugal

----------------------------------------------------------------------
Program Committee

Rachid Alami         LAAS Toulouse, France
Andrea Bonarini      Politecnico di Milano, Italy
Frans C.A. Groen     University of Amsterdam, The Netherlands
Luca Iocchi          University of Rome "La Sapienza", Italy
Gerhard Kraetzschmar University of Applied Sciences Bonn-Rhein-Sieg
                     and Fraunhofer IAIS, Germany
Reinhard Lafrenz     University of Stuttgart, Germany
Daniele Nardi        University of Rome "La Sapienza", Italy
Enrico Pagello       University of Padua, Italy
Alberto Pretto       IT+Robotics, Vicenza, Italy
Alessandro Saffiotti Örebro University, Örebro, Sweden
Erol Sahin           Middle East Technical University, Turkey
Alberto Sanfeliu     Technical University of Catalonia, Spain
Frieder Stolzenburg  HS Harz, University of Applied Sciences, Germany
Peter Stone          University of Texas at Austin, USA
Oskar von Stryk      Technische Universitat Darmstadt, Germany

This workshop is sponsored by the European Robotics Network (EURON)
SIG on Cooperative Robotics.


-- 
[ Matthijs Spaan ]               [ http://www.isr.ist.utl.pt/~mtjspaan ]