Call for Papers
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.
Topics of interest
Topics of interest include, but are not limited to, the ones below:
 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 Springer LNCS style [here], and they should not exceed sixteen (16) pages including title page, figures, references, etc. Submissions are managed using EasyChair.
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 lads2007@easychair.org
|
