call for paper / txt
PROMAS 2004 — Call for Papers
2nd International Workshop on Programming Multi-Agent Systems
AAMAS 2004, New York, NY (USA) — Tuesday 20 July 2004
Source: CFP_PROMAS_2004.doc, attached to Amal El Fallah Seghrouchni's call of 13 January 2004
The Second International Workshop on
Programming Multiagent Systems:
Languages and tools
(PROMAS 2004)
<http://www.cs.uu.nl/ProMAS> http://www.cs.uu.nl/ProMAS
To be held at the
The Third International Joint Conference on Autonomous
Agents & Multi-Agent Systems (AAMAS 2004)
New York, USA, 19 or 20 July 2004
Workshop Description and Call For Papers
Multiagent Systems are seen by many as being the appropriate technology to develop complex software in the next decade. Until now, the main focus of multiagent systems community has been on the development of informal and formal tools (e.g. MASIF as OMG specifications), concepts (e.g. concerning mental or social attitudes, communication, co-operation, organisation, mobility) and techniques (e.g. AUML, modal languages such as BDI and KARO) in order to be able to analyse and specify multiagent systems.
Unfortunately, less attention has been paid to developing programming languages and tools which can effectively support MAS programming and implement key concepts of multiagent systems in a unified framework.
Consequently, significant effort is required from the designers and programmers to implement the results of analyses and specifications of multiagent systems. The success of agent oriented system design is not guaranteed unless we can bridge the gap between analysis and implementation, and so develop powerful and general purpose programming technology such that the concepts and specifications for multiagent systems can be easily and directly implemented. This technology should include agent based programming languages as well as tools that support MAS programming.
This workshop aims at bringing together leading researchers from both academia and industry to discuss the design of programming languages and tools for multiagent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the concepts, properties, requirements, and principles that are important for programming technology for multiagent systems. We encourage the submissions of proposals for programming languages and tools that provide specific programming constructs and facilities to implement the essential concepts used in multiagent system analysis and specifications.
Topics
Specific topics for this workshop include, but are not limited to:
High-level agent specification languages
Theoretical and practical aspects of agent programming
Extensions of traditional languages for MAS programming
Operational semantics for MAS based on process algebra, transition systems, logic, etc.
Formal methods for the specification and verification of agent systems
Computational logics in multi-agent systems
Verification tools for MAS implementations
Computational concepts for MAS applications
Application areas for MAS programming languages
Benchmarks and testbeds for comparing MAS programming languages
Generic tools for implementing and co-ordinating agent wrappers
Programming mobile agents
Important Dates
Submissions due 1 April 2004 (no extensions)
Notifications sent 1 May 2004
Camera-ready Due 21 May 2003
Workshop 19 or 20 July 2004 (actual date TBD)
Submission Procedure and Formatting Guidelines
Authors should submit their papers electronically in postscript or PDF to Mehdi Dastani, <mailto:mehdi@cs.uu.nl> mehdi@cs.uu.nl. The papers should be named as: contact-author-surname.ps (.pdf). Papers must be written in English with a maximum length of 10 pages and formatted in the two column style of IEEE conference proceedings. Templates (Word, Word Perfect and LaTeX) are available at: http://satchmo.cs.columbia.edu/aamas04/0submissions.php
Publication
Accepted papers will be published in a workshop note and distributed among participants during the workshop. As it was the case for PROMAS'03, we are planning to publish the extended versions of the accepted papers by Springer-Verlag as a volume of the LNCS. <http://www.springer.de/comp/lncs/index.html> Lecture Notes in Computer Science.
Organizing Committee
<mailto:mehdi@cs.uu.nl> Mehdi Dastani, Utrecht University, The Netherlands
<mailto:dix@cs.man.ac.uk> Jürgen Dix, Manchester University, United Kingdom
<mailto:elfallah@poleia.lip6.fr> Amal El Fallah Seghrouchni, University of Paris 6 (University Pierre and Marie Curie), France
Program Committee
The program committee members:
Patrick Albert, Ilog (France)
Rafael H Bordini, University of Liverpool (United Kingdom)
Jean-Pierre Briot, University of Paris 6 (France)
Yves DEMAZEAU Institut IMAG - Grenoble (France)
Franck Dignum, Utrecht University (Netherlands)
Michael Fisher, University of Liverpool (United Kingdom)
Zavala Gutierrez, Rosa Laura, University of South Carolina (USA)
Michael Huhns, University of South Carolina (USA)
Toru Ishida, Kyoto University (Japan)
João Alexandre Leite University Nova de Lisboa,(Portugal)
Christian Lemaitre, LANIA (Mexico)
Oliver Obst, Koblenz-Landau University (Germany)
Andrea Omicini, University of Bologna (Italy)
John-Jules Meyer, Utrecht University (Netherlands)
Julian Padget, University of Bath (United Kingdom)
Yoav Shoham, Stanford University (USA)
Leendert van der Torre, CWI (Netherlands)
Paolo Torroni, University of Bologna (Italy)
Cees Witteveen , Delft University (Netherlands)
