Kein Betreff

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.

Topics of interest

Topics of interest include, but are not limited to, the ones below:
=95 Programming languages for multi-agent systems
=95 Extensions of traditional languages for multi-agent programming
=95 Semantics for multi-agent programming languages
=95 Implementation of social and organisational aspects of MAS
=95 Modal and epistemic logics for agent modelling
=95 Model checking agents and multi-agent systems
=95 Algorithms for multi-agent issues (e.g., coordination, cooperation,
negotiation, distributed constraint satisfaction)
=95 Declarative approaches to engineering agent systems
=95 Declarative models of agent beliefs and capabilities
=95 Declarative models of bounded rationality
=95 Declarative paradigms for the combination of heterogeneous agents
=95 Specification and verification logics
=95 Logic programming approaches to agent systems
=95 Methodologies for MAS analysis and design
=95 Agent-oriented requirements analysis and specification
=95 Theoretical and practical aspects of multi-agent programming
=95 Computational complexity of MAS
=95 High-level executable multi-agent specification languages
=95 Agent communication in multi-agent programming
=95 Implementation of social and organisational aspects of MAS
=95 Agent development tools and platforms
=95 Generic tools and infrastructures for multi-agent programming
=95 Interoperability and standards for MAS
=95 Programming of mobile agents
=95 Safety and security for mobile MAS deployment
=95 Fault tolerance and load balancing for mobile MAS
=95 Formal methods for specification and verification of MAS
=95 Verification tools for implementations of MAS
=95 Experimental analysis of declarative agent technologies
=95 Industrial experiences with (declarative) agent technologies
=95 Service-oriented multiagent systems
=95 Protocol specification and conformance checking
=95 Declarative description of contracts and negotiation policies
=95 Application areas for multi-agent programming languages
=95 Applications using legacy systems
=95 Programming MAS for Grid-based applications
=95 Programming MAS for the Semantic Web
=95 Deployed (industrial-strength) MAS
=95 Benchmarks and testbeds for comparing MAS languages and tools
=95 Test and debugging tools and techniques for MAS
=95 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=3Dlads009).

Proceedings and post-workshop activities

Printed copies of the proceedings will be available at the workshop.
Print and electronic post-proceedings of selected and revised LADS'007
papers will be published by Springer in the Lecture Notes in
Artificial Intelligence series.

Further Enquiries

All enquiries should be addressed to lads009 at easychair.org


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