(Please accept our apologies for cross-posting)
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
C A L L F O R P A P E R S
The First International Workshop on
Programming Multi-Agent Systems
Languages, frameworks, techniques and tools
(PROMAS 2003)
to be held at
The Second International Joint Conference on Autonomous Agents &
Multi-Agent Systems
(AAMAS 2003)
Melbourne, Australia July 14 or 15, 2003
http://www.cs.uu.nl/ProMAS
INTRODUCTION
Multi-Agent Systems are seen by many as being the appropriate technology
to develop complex software in the next decade. Until now, the main
focus of multi-agent 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 multi-agent systems.
Unfortunately, less attention has been paid to developing programming
languages and tools which can effectively support MAS programming and
implement key concepts of multi-agent systems in a unified framework.
Consequently, significant effort is required from the designers and
programmers to implement the results of analyses and specifications of
multi-agent 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 multi-agent
systems can be easily and directly implemented. This technology should
include agent based programming languages, tools and techniques.
This workshop aims at bringing together leading researchers from both
academia and industry to discuss the design of programming languages for
multi-agent systems. In particular, the workshop promotes the discussion
and exchange of ideas concerning the concepts, properties, requirements,
and principles that are important for future programming technology for
multi-agent systems. We encourage the submissions of proposals for
programming languages that provide specific programming constructs to
implement the essential concepts that are used in multi-agent system
analysis and specifications.
TOPICS
Main topics include but not limited to the following:
- - Agent programming languages
- - Frameworks, techniques and tools for MAS programming
- - Extensions of traditional languages for MAS programming
- - Operational semantics for MAS based on process algebra, transition
systems, logic, etc.
- - 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
SUBMISSION
Authors should submit their papers electronically in postscript or PDF
to Mehdi Dastani, [EMAIL PROTECTED] 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 style of ACM
conference proceedings. Templates (Word, Word Perfect and LaTeX) are
available at: http://www.acm.org/sigs/pubs/proceed/template.html.
PUBLICATION
Accepted papers will be published in a workshop note and distributed
among participants during the workshop. We are planning to publish a
post-proceedings of the papers.
IMPORTANT DATES AND WORKSHOP SCHEDULE
Submission of papers: 7nd April 2003
Authors notification: 13th May 2003
Submission of camera-ready papers: 21th May 2003
REGISTRATION
Workshop registration will be handled by AAMAS 2003 along with the main
conference registration (http://www.aamas-conference.org/).
WORKSHOP CO-CHAIRS
Amal El Fallah Seghrouchni
University of Paris 6 ( Pierre et Marie Curie), France
[EMAIL PROTECTED]
Mehdi Dastani
Ultrecht University, The Netherlands
[EMAIL PROTECTED]
David Kinny
Agentis Software, Australia
[EMAIL PROTECTED]
Jurgen Dix
Manchester University, United Kingdom
[EMAIL PROTECTED]
PROGRAM COMMITTEE
Rafael Bordini, University of Liverpool (United Kingdom)
Jean-Pierre Briot, University of Paris 6 (France)
Mehdi Dastani, Utrecht University (Netherlands)
Yves Demazeau, University Joseph Fourrier (France)
J�rgen Dix, Manchester University (United Kingdom)
Amal El Fallah-Seghrouchni, University of Paris 6 (France)
Michael Fisher, University of Liverpool (United Kingdom)
David Kinny, Agentis Software (Australia)
John-Jules Meyer, Utrecht University (Netherlands)
Oliver Obst, Koblenz-Landau University (Germany)
Julian Padget, University of Bath (United Kingdom)
Leendert van der Torre, Vriije Universiteit Amsterdam (Netherlands)
Cees Witteveen , Delft University (Netherlands)
--
Mehdi Dastani
Institute of Information and Computing Sciences
Utrecht University
P.O.Box 80.089
3508 TB Utrecht
The Netherlands
Tel: +31 - 30 - 253 7253
Fax: +31 - 30 - 251 3791
URL: http://www.cs.uu.nl/~mehdi
