(Please accept our apologies for cross-posting)
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
SECOND C A L L F O R P A P E R S
The First International Workshop on
Programming Multiagent Systems
languages, frameworks, techniques and tools
(PROMAS 2003)
to be held at
The Second International Joint Conference on
Autonomous Agents & Multiagent Systems
(AAMAS 2003)
Melbourne, Australia July 15, 2003
http://www.cs.uu.nl/ProMAS
INTRODUCTION
Multiagent Systems are seen by many as being the appropriate
technologyto 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, tools and techniques.
This workshop aims at bringing together leading researchers from both
academia and industry to discuss the design of programming languages 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 future programming technology for
multiagent systems. We encourage the submissions of proposals for
programming languages that provide specific programming constructs to
implement the essential concepts that are used in multiagent 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. Selected papers will be extended
for post publication in Kluwer Series.
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
Intelligent Systems Group
Utrecht University
P.O.Box 80.089
3508 TB Utrecht
The Netherlands
Tel: +31 - 30 - 253 3599
Fax: +31 - 30 - 251 3791
URL: http://www.cs.uu.nl/~mehdi
