Valencia, Spain, 4 June 2012

Call for Papers

The workshop on Declarative Agent Languages and Technologies (DALT), in its
tenth edition this year, is a well-established forum for researchers interested
in sharing their experiences in combining declarative and formal approaches with
engineering and technology aspects of agents and multiagent systems. Building
complex agent systems calls for models and technologies that ensure
predictability, allow for the verification of properties, and guarantee
flexibility. Developing technologies that can satisfy these requirements still
poses an important and difficult challenge. Here, declarative approaches have
the potential of offering solutions satisfying the needs for both specifying and
developing multiagent systems. Moreover, they are gaining more and more
attention in important application areas such as the semantic web,
service-oriented computing, security, and electronic contracting.

DALT 2012 will be held as a satellite workshop of
AAMAS 2012, the 11th International
Joint Conference on Autonomous Agents and Multiagent Systems, in June 2011 in
Valencia, Spain. Following the success of nine previous editions, DALT will
again aim at providing a discussion forum to both (i) support the transfer of
declarative paradigms and techniques to the broader community of agent
researchers and practitioners, and (ii) to bring the issue of designing complex
agent systems to the attention of researchers working on declarative languages
and technologies.

DALT 2012 will have as a special interest topics those future trends of
the web, where declarative languages and technologies for multiagents systems
will play an effective role: in particular, social computing (models of social
interactions, trust, commitments, and contracts; social environments based on
declarative technologies) and its related semantic issues (explicit
representation of knowledge and mechanisms for allowing societies of agents to
reason on that).

DALT topics of interest include, but are not limited to:

DALT 2012 special topic: declarative approaches for agent-based social computing:

For details on important dates and the submission procedure,
please follow the appropriate links on the menu on the left.

Printed copies of the proceedings will be available at the workshop.
Assuming a sufficient number of high-quality submissions, we are again going to
consider the publication of formal post-proceedings with an international publisher.