*********Sorry for multiple postings*********** 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@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/