[robotics-worldwide] Deadline extended: AAMAS'08 Workshop on Formal Models and Methods for Multi-Robot Systems

Matthijs Spaan mtjspaan at isr.ist.utl.pt
Wed Jan 23 06:19:36 PST 2008


*Deadline extended to Feb 1*, due to a number of requests.

======================================================================
                          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, 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

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 Feb 1.

Important dates:
Feb 1, 2008        - EXTENDED Deadline for 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 ]



More information about the robotics-worldwide mailing list