[Haskell] [CFP] ProMAS'05 @ AAMAS 2005 - Third International Workshop on Programming Multi-Agent Systems

[Juergen Dix]

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

		   Third International Workshop on
	     Programming Multi-Agent Systems (ProMAS'05)
		    <http://www.cs.uu.nl/ProMAS/>

	   ProMAS'05 is a satellite workshop at AAMAS 2005
		 Utrecht University, The Netherlands
		      <http://www.aamas2005.nl/>


Even though the contributions of the multi-agent systems (MAS)
community can make a significant impact in the development of open
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 those 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 the practical programming
issues related to developing and deploying multi-agent systems. In
particular, ProMAS aims to address how multi-agent systems designs or
specifications can be effectively implemented. In its two previous
editions, ProMAS constituted an invaluable occasion bringing together
leading researchers from both academia and industry to discuss issues
on the design of programming languages and tools for multi-agent
systems. In particular, the workshop promotes the discussion and
exchange of ideas concerning the techniques, concepts, requirements,
and principles that are important for multi-agent programming
technology.

We encourage the submission of proposals for 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 (e.g., mental attitudes, distribution, and
social interaction). We also welcome submissions describing
significant multi-agent applications, as well as agent programming
tools that allow the integration of agents with legacy systems.
Further, we are particularly interested in approaches or applications
that show clearly the added-value of multi-agent programming, and
explain why and how this technology should be adopted by 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:              14th of March, 2005
Notifications of acceptance/rejection:  18th of April, 2005
Camera-ready copies due:                15th of May,   2005
Workshop Date:                  25th or 26th of July,  2005 (TBA)


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

Authors should submit their paper by attaching it to an email to
Jürgen Dix (dix at tu-clausthal.de). The email should also contain paper
title, author name(s), affiliation(s), contact information of the
main author, and a few keywords describing the topic (eg. from the
list above). Papers should be formatted using Springer LNCS style
(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 among participants during the workshop. As it was the case
for ProMAS'03 and ProMas'04, 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:
--------------------

- Chris van Aart (Acklin, The Netherlands)
- Jean-Pierre Briot (University of Paris 6, France)
- Monique Calisti (Whitestein Technologies, Switzerland)
- Keith Clark (Imperial College, United Kingdom)
- Yves Demazeau (Institut IMAG - Grenoble, France)
- Frank Dignum (Utrecht University, The Netherlands)
- Michael Fisher (University of Liverpool, United Kingdom)
- Vladimir Gorodetsky (Russian Academy of Sciences, Russia)
- Jomi Hübner (Universidade Regional de Blumenau, Brasil)
- Toru Ishida (Kyoto University, Japan)
- David Kinny (CTO, Agentis Software, USA)
- João Leite (University Nova de Lisboa, Portugal)
- Jiming Liu (Hong Kong Baptist University, Hong Kong)
- John-Jules Meyer (Utrecht University, Netherlands)
- Jörg Müller (Clausthal University of Technology, Germany)
- Oliver Obst (Koblenz-Landau University, Germany)
- Gregory O'Hare (University College Dublin, Ireland)
- Andrea Omicini (University of Bologna, Italy)
- Julian Padget (University of Bath, United Kingdom)
- Agostino Poggi (Università degli Studi di Parma, Italy)
- Chris Reed (Calico Jack Ltd., United Kingdom)
- Ichiro Satoh (National Institute of Informatics, Kyoto, Japan)
- Onn Shehory (IBM Haifa Research Labs, Haifa University, Israel)
- Kostas Stathis (Università di Pisa, Italy)
- Milind Tambe (University of Southern California, USA)
- Leendert 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, U.K.)
  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://cig.in.tu-clausthal.de/
Amal El Fallah Seghrouchni (University of Paris VI, France)
  http://www-poleia.lip6.fr/~elfallah/