PROMAS 2003 — Call for Papers 1st International Workshop on Programming Multi-Agent Systems AAMAS 2003, Melbourne (Australia) — Tuesday 15 July 2003 Source: e-mail call from Mehdi Dastani , Mon, 27 Jan 2003 17:29:22 +0100 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, mehdi@cs.uu.nl. The papers should be named as: .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 Amal.Elfallah@lip6.fr Mehdi Dastani Ultrecht University, The Netherlands mehdi@cs.uu.nl David Kinny Agentis Software, Australia dnk@agentis.nets Jurgen Dix Manchester University, United Kingdom dix@cs.man.ac.uk 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