DALT 2005

 _____       ___   _       _____        _____   _____   _____   _____
|  _  \     /   | | |     |_   _|      /___  \ /  _  \ /  _  \ |  ___|
| | | |    / /| | | |       | |         ___| | | | | | | | | | | |___
| | | |   / / | | | |       | |        /  ___/ | |/| | | |/| | \___  \
| |_| |  / /  | | | |___    | |        | |___  | |_| | | |_| |  ___| |
|_____/ /_/   |_| |_____|   |_|        |_____| \_____/ \_____/ \_____|

3rd International Workshop on
Declarative Agent Laguages and Technologies, DALT 2005
(at  A A M A S   2 0 0 5)

U t r e c h t,  July  25th or 26th,  2005

URL: http://www.doc.ic.ac.uk/~ue/DALT-2005/


*Call for Papers*

"Declarative Agent Languages and Technologies", in its third edition
this year, is an well-established venue for  researchers  interested
in sharing their experiences  in declarative  and formal  aspects of
agents and multi-agent systems, on the one hand, and  in engineering
and technology on the other. Today it is still a  challenge to deve-
lop technologies that can satisfy the  requirements of complex agent
systems. Importantly, building  multi-agent systems still calls  for
models and technologies  that ensure predictability,  enable feature
discovery, allow the verification of properties, and  guarantee fle-
xibility.  Declarative  approaches are  potentially a valuable means
for satisfying the needs of  multi-agent systems developers  and for
specifying multi-agent systems.

The main goal of DALT is to provide a discussion to both (1) support
the transfer of declarative paradigms  and techniques into the broa-
der  community of agent  researchers and  practitioners, and  (2) to
bring the issues of designing real-world and complex agent system to
the attention of researchers working on declarative programming  and
technologies.

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

* Declarative agent communication and coordination languages
* Declarative approaches to the engineering of agent systems
* Experimental studies of declarative technologies
* Industrial and commercial experiences with declarative agent
 technologies
* Formal methods for the specification and verification of agent
 systems
* Distributed constraint satisfaction and constraint reasoning 
 in agents 
* Multi-criteria optimisation and distributed problem solving 
 with constraints
* Computational logics in multi-agent systems
* Model Checking MAS
* Declarative description of contracts and negotiation issues
* Lessons learned from the design and implementation of agent
 systems
* Declarative paradigms for the combination of heterogeneous agents
* Constraints and agent systems
* Declarative policies and security in MAS
* Knowledge-based and knowledge-intensive MAS
* Modeling of agent rationality

*Proceedings*

A printed volume with the proceedings will be available at the work-
shop. Authors  of papers presented  at the workshop will be asked to
extend their contributions, possibly  incorporating the  results  of
the workshop discussion, to be included in the workshop post-procee-
dings to be published in a journal special issue or a book. The DALT
2003 and 2004 post-proceedings are published by Springer as a volume
of the Lecture Notes on Artificial Intelligence series.

*Submission instructions*

Papers should  be  written  in English,  formatted according  to the
Springer LNCS style,  and not  exceed 16 pages.  Paper submission is
electronic via the conference home page.

*Important dates*

Submission: March 14th, 2005
Notification of acceptance: April 18th, 2005
Final version: May 15th, 2005
Workshop: July 25th or 26th, 2005

*Program Committee*

Rafael Bordini, University of Durham, UK
Brahim Chaib-draa, Laval University, Canada
Alessandro Cimatti, IRST, Trento, Italy
Keith Clark, Imperial College London, UK
Marco Colombetti, Politecnico di Milano, Italy
Stefania Costantini, University of L'Aquila, Italy
Mehdi Dastani, Universiteit Utrecht, The Netherlands
Juergen Dix, University of Clausthal, Germany
Boi Faltings, Ecole Polytechnique Federale de Lausanne, Swiss
Michael Fisher, University of Liverpool, UK
Wiebe van der Hoek, University of Liverpool, UK
Mike Huhns, University of South Carolina, USA
Catholijn Jonker, Nijmegen Institute for Cognition and Information,
 The Netherlands
Peep Kungas, Norwegian University of Science and Technology, 
 Trondheim, Norway
Alessio Lomuscio, University College London, UK
Viviana Mascardi, DISI, Genova, Italy
John Jules Ch. Meyer, Universiteit Utrecht, The Netherlands
Eric Monfroy, University of Nantes, France
Sascha Ossowski, Universidad Rey Juan Carlos, Spain
Julian Padget, University of Bath, UK
Lin Padgham, RMIT University, Australia
Wojciech Penczek, Polish Academy of Science, Poland
Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal
Enrico Pontelli, New Mexico State University, USA
Juan Rodriguez-Aguilar, Spanish Research Council, Spain
Marek Sergot, Imperial College London, UK
Francesca Toni, Imperial College London, UK
Wamberto Vasconcelos, University of Aberdeen, UK
Michael Winikoff, RMIT University, Australia
Franco Zambonelli, University of Modena and Reggio Emilia, Italy

*Workshop organizers*

Matteo Baldoni, University of Turin, Italy
Ulle Endriss, Imperial College London, UK
Andrea Omicini, University of Bologna - Cesena, Italy
Paolo Torroni, University of  Bologna, Italy