CFP: ProMAS@ AAMAS 2006 -- Deadline 1st of February !!!

[event@REDACTED]

                         ===================
                           Call for Papers
                         ===================

                   Fourth International Workshop on
             Programming Multi-Agent Systems (ProMAS-06)
                  <http://www.cs.uu.nl/ProMAS/2006/>

                 ProMAS-06 will be held with AAMAS-06
                    Hakodate, Japan, 8-12 May 2006
                  <http://www.fun.ac.jp/aamas2006/>


Even though the scientific contributions generated by the Multi-Agent
Systems (MAS) research community can have a significant impact in the
development of real-world distributed systems, the techniques
resulting from such contributions will only be widely adopted when
suitable programming languages and tools are available. Furthermore, such
languages and tools must incorporate MAS techniques in a
principled but practical way, so as to support the ever more complex task
of professional programmers, in particular when the systems have to
operate in dynamic environments.

The ProMAS workshop series aims to address practical issues related to
developing and deploying multi-agent systems. In particular, ProMAS aims
to address how MAS designs or specifications can be effectively
implemented. To address such issues, the workshop promotes the
discussion and exchange of ideas concerning concepts, techniques, and
principles that are important for multi-agent programming
technology. In the three previous editions, ProMAS constituted an
invaluable occasion, bringing together leading researchers from both
academia and industry to discuss such issues. Confirming the growing
importance of this area of research, in 2005 ProMAS was the most
popular of all AAMAS workshops in terms of numbers of registered
participants.

We encourage the submission of original papers in any of the areas
mentioned below. We particularly welcome papers describing programming
languages and tools that provide specific programming constructs to
facilitate the implementation of the essential concepts used in
multi-agent system analysis and specifications. We also welcome
submissions describing significant multi-agent applications, showing
clearly the added-value of multi-agent programming for designers and
programmers both in academia and industry.

Specific topics for this workshop include, but are not limited to:

- Programming Languages for multi-agent systems
- Extensions of traditional languages for multi-agent programming
- Theoretical and practical aspects of multi-agent programming
- Computational complexity of MAS
- Semantics for multi-agent programming languages
- High-level executable multi-agent specification languages
- Algorithms, techniques, or protocols for multi-agent issues
  (e.g., coordination, cooperation, negotiation)
- Agent communication issues in multi-agent programming
- Implementation of social and organisational aspects of MAS
- Formal methods for specification and verification of MAS
- Verification tools for implementations of MAS
- Agent development tools and platforms
- Generic tools and infrastructures for multi-agent programming
- Interoperability and standards for MAS
- Programming mobile agents
- Safety and security for mobile MAS deployment
- Fault tolerance and load balancing for mobile MAS
- Application areas for multi-agent programming languages
- Applications using legacy systems
- Programming MAS for Grid-based applications
- Programming MAS for the Semantic Web
- Deployed (industrial-strength) MAS
- Benchmarks and testbeds for comparing MAS languages and tools


Important Dates:
----------------

Paper submission deadline:               1st of February, 2006
Notifications of acceptance/rejection:  19th of February, 2006
Camera-ready copies due:                17th of March,    2006
Workshop Date:                           9th of May,      2006


Submission Details:
-------------------

Authors should submit their paper by uploading a PDF file at:
http://promas2006.in.tu-clausthal.de/submissions/
Papers should be formatted using Springer LNCS style (see
http://www.springer.de/comp/lncs/authors.html) and have a maximum
of 15 pages.

Accepted papers will be published as a technical report and
distributed to registered participants during the workshop. As it was the
case for ProMAS-03, ProMAS-04, and ProMAS-05, we are planning to publish
extended versions of the accepted papers as a volume of the Lecture Notes
in Computer Science series by Springer-Verlag.


Programme Committee:
--------------------

Suzanne Barber (University of Texas at Austin, USA)
Lars Braubach (University of Hamburg, Germany)
Jean-Pierre Briot (University of Paris 6, France)
Keith Clark (Imperial College, UK)
Rem Collier (University College Dublin, Ireland)
Yves Demazeau (Institut IMAG - Grenoble, France)
Frank Dignum (Utrecht University, Netherlands)
Michael Fisher (University of Liverpool, UK)
Jorge Gómez-Sanz (Universidad Complutense Madris, Spain)
Vladimir Gorodetsky (Russian Academy of Sciences, Russia)
Benjamin Hirsch (TU-Berlin, Germany)
Shinichi Honiden (NII, Tokyo, Japan)
Jomi Hübner (Universidade Regional de Blumenau, Brazil)
João Leite (Universidade Nova de Lisboa, Portugal)
Jiming Liu (Hong Kong Baptist University, Hong Kong)
John-Jules Meyer (Utrecht University, Netherlands)
Oliver Obst (Koblenz-Landau University, Germany)
Gregory O'Hare (University College Dublin, Ireland)
Andrea Omicini (University of Bologna, Italy)
Agostino Poggi (Università degli Studi di Parma, Italy)
Alexander Pokahr (University of Hamburg, Germany)
Chris Reed (Calico Jack Ltd., UK)
Birna van Riemsdijk (Utrecht University, Netherlands)
Sebastian Sardina (RMIT University, Australia)
Ichiro Satoh (NII, Kyoto, Japan)
Onn Shehory (IBM Haifa Research Labs, Haifa University, Israel)
Kostas Stathis (City University London, UK)
Simon Thompson (BT, UK)
Leon van der Torre (CWI, Netherlands)
Paolo Torroni (University of Bologna, Italy)
Gerhard Weiss (Technische Universität München, Germany)
Michael Winikoff (RMIT University, Melbourne, Australia)
Cees Witteveen (Delft University, Netherlands)


Organising Committee:
---------------------

Rafael H. Bordini (University of Durham, UK)
  http://www.dur.ac.uk/r.bordini
Mehdi Dastani (Utrecht University, The Netherlands)
  http://www.cs.uu.nl/~mehdi
Jürgen Dix (Clausthal University of Technology, Germany)
  http://www.in.tu-clausthal.de/~dix/
Amal El Fallah Seghrouchni (University of Paris VI, France)
  http://www-poleia.lip6.fr/~elfallah/

------------------------------------------------------------------------
This e-mail was delivered to you by event@REDACTED, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@REDACTED ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/