14/15 May 2007, Declarative Agent Languages and Technologies (DALT 2007), Hawaii, US

The workshop on Declarative Agent Languages and Technologies (DALT), in its fifth 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 en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion.

DALT 2007 will be held as a satellite workshop of AAMAS 2007. For more information, see http://www.di.unito.it/~baldoni/DALT-2007/