LADS'009 - First Call For Papers

[Joao Leite]

************************************************************************

                   FIRST CALL FOR PAPERS

              Submission deadline: June 10, 2009

 LADS'009 - Second Workshop on Languages, methodologies and Development
                 tools for multi-agent Systems

             http://centria.di.fct.unl.pt/events/lads009/

Part of MALLOW'009, a federation of workshops on Multi-Agent Logics,
                 Languages, and Organisations

                     September 7-11, 2009

                         Torino, Italy

************************************************************************

Aims and Scope

LADS aims to address both theoretical and practical issues related to
developing and deploying multi-agent systems.

>From a theoretical point of view, theories, methodologies, models and
approaches are needed to facilitate the development of multi-agent
systems ensuring their predictability and verifications. Moreover,
formal declarative models and approaches have the potential of
offering solutions satisfying the needs for specifying and design of
multi-agent systems.

>From a practical point of view, LADS aims to address how multi-agent
system specifications or designs can be effectively implemented and
tested. To address such issues, the workshop promotes the discussion
and exchange of ideas concerning concepts, methodologies, techniques
and principles that are important for multi-agent programming
technology. Moreover, contributions that combine theoretical aspects
with practical ones are gaining more and more attention in important
application areas such as the electronic institutions, semantic web,
web services, security, grid computing, ambient intelligence,
pervasive computing, and electronic contracting.

Following the success of LADS’007 (Proceedings published as LNAI 5118,
Springer), LADS'009 will offer a rich forum for researchers that are
interested in sharing their experiences about formal approaches,
languages, engineering and technology aspects of multi-agent systems.

This workshop welcomes submissions of original papers concerning all
aspects of multi-agent development and deployment. Topics include but
are not limited to:

• Programming languages for multi-agent systems
• Extensions of traditional languages for multi-agent programming
• Semantics for multi-agent programming languages
• Implementation of social and organisational aspects of MAS
• Modal and epistemic logics for agent modelling
• Model checking agents and multi-agent systems
• Algorithms for multi-agent issues (e.g., coordination, cooperation,
negotiation, distributed constraint satisfaction)
• Declarative approaches to engineering agent systems
• Declarative models of agent beliefs and capabilities
• Declarative models of bounded rationality
• Declarative paradigms for the combination of heterogeneous agents
• Specification and verification logics
• Logic programming approaches to agent systems
• Methodologies for MAS analysis and design
• Agent-oriented requirements analysis and specification
• Theoretical and practical aspects of multi-agent programming
• Computational complexity of MAS
• High-level executable multi-agent specification languages
• Agent communication in multi-agent programming
• Implementation of social and organisational aspects of MAS
• Agent development tools and platforms
• Generic tools and infrastructures for multi-agent programming
• Interoperability and standards for MAS
• Programming of mobile agents
• Safety and security for mobile MAS deployment
• Fault tolerance and load balancing for mobile MAS
• Formal methods for specification and verification of MAS
• Verification tools for implementations of MAS
• Experimental analysis of declarative agent technologies
• Industrial experiences with (declarative) agent technologies
• Service-oriented multiagent systems
• Protocol specification and conformance checking
• Declarative description of contracts and negotiation policies
• 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
• Test and debugging tools and techniques for MAS
• Electronic institutions

Submissions

We encourage the submission of original papers in any of the areas
above. We welcome submissions describing:

Formal and declarative approaches to specify and design multi-agents
systems, Programming languages, tools and techniques that provide
effective programming constructs to facilitate the implementation of
the essential concepts used in multi-agent systems, Aspects of
agent-oriented software engineering such as methodologies, meta-models
and software principles, and Multi-agent applications, showing clearly
the added-value of multi-agent programming for designers and
programmers both in academia and industry.

Papers should be written in English, formatted according to the
IEEEtran style [http://www.michaelshell.org/tex/ieeetran/], and they
should not exceed seven (7) pages including title page, figures,
references, etc. Submissions are managed using EasyChair
(http://www.easychair.org/conferences/?conf=lads009).

Proceedings and post-workshop activities

Printed copies of the proceedings will be available at the workshop.
We are planning print and electronic post-proceedings of selected and
revised LADS'009 papers to be published either as a Springer book in
the Lecture Notes in Artificial Intelligence, or a journal special
issue.


Important dates:

- Submission: 10 June 2009
- Notification: 1 July 2009
- Camera-ready: 15 July 2009
- Workshop: 7-11 September 2009

Organising Committee:

- Mehdi Dastani
- Amal El Fallah Seghrouchni
- João Leite
- Paolo Torroni

Further Enquiries

All enquiries should be addressed to lads009 at easychair.org

--
---------------------------------------------------------------
Joao Leite
FCT-UNL - Universidade Nova de Lisboa,
Faculdade de Ciencias e Tecnologia,
Departamento de Informatica
e-mail: jleite at di.fc.ul.pt
web: http://centria.di.fct.unl.pt/~jleite
---------------------------------------------------------------