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.fc.ul.pt
web: http://centria.di.fct.unl.pt/~jleite
---------------------------------------------------------------