[updated version: submissions are no longer limited to PhD students] ====================================================================== 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@isr.ist.utl.pt by Feb 1. Important dates: Feb 1, 2008 - 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 Carnegie Mellon University, Pittsburgh, PA ---------------------------------------------------------------------- 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.