_____ ___ _ _____ _____ _____ _____ _____ | _ \ / | | | |_ _| /___ \ / _ \ / _ \ | ___| | | | | / /| | | | | | ___| | | | | | | | | | | |___ | | | | / / | | | | | | / ___/ | |/| | | |/| | \___ \ | |_| | / / | | | |___ | | | |___ | |_| | | |_| | ___| | |_____/ /_/ |_| |_____| |_| |_____| \_____/ \_____/ \_____| O P E N Post-Proceedings: Call for Papers 3rd International Workshop on Declarative Agent Languages and Technologies, DALT 2005 URL: http://www.doc.ic.ac.uk/~ue/DALT-2005/ The authors of the *papers accepted* at DALT 2005 are invited to submit a revised version of their paper, to be considered for the workshop post-proceedings. All the papers will undergo a second re- viewing process, aimed at verifying that the improvements suggested by the reviewers have been followed. To this aim a letter explaining the main changes with respect to the submission should be sent. In addition, a few and selected *papers not presented* at DALT 2005 will be considered for publishing. For this reason we invite other researchers to submit their work. These papers will undergo a stric- ter reviewing process. "Declarative Agent Languages and Technologies", in its third edition this year, is a 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. 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* Like DALT 2003 and DALT 2004, the post-proceedings will be published by *Springer* as a volume of the *Lecture Notes on Artificial Intel- ligence* (LNAI) series. *Submission instructions* Papers should be written in English, formatted according to the Springer LNCS/LNAI style, and do not exceed 16 pages. Paper submission is electronic, please send a PDF or postscript file to paolo.torroni@unibo.it. *Important dates* Submission: October 29th, 2005 Notification of acceptance: November 30th, 2005 Final version: December 20th, 2005 Expected publication by Springer: sometimes in 2006 *Volume Editors* Matteo Baldoni, University of Turin, Italy Ulle Endriss, University of Amsterdam, NL Andrea Omicini, University of Bologna - Cesena, Italy Paolo Torroni, University of Bologna, Italy *Program Committee* Natasha Alechina, University of Nottingham, UK Rafael Bordini, University of Durham, UK Brahim Chaib-draa, Laval University, Canada Alessandro Cimatti, ITC-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, NL Juergen Dix, University of Clausthal, Germany Boi Faltings, Ecole Polytechnique Federale de Lausanne, Switzerland Michael Fisher, University of Liverpool, UK Wiebe van der Hoek, University of Liverpool, UK Michael N. Huhns, University of South Carolina, USA Catholijn Jonker, Nijmegen Institute for Cognition and Information, NL Peep Kungas, Norwegian Univ. of Science and Technology, Trondheim, Norway Yves Lesperance, York University, Toronto, Canada Brian Logan, University of Nottingham, UK Alessio Lomuscio, University College London, UK Viviana Mascardi, DISI, Genova, Italy John-Jules Ch. Meyer, Universiteit Utrecht, NL 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 Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal Enrico Pontelli, New Mexico State University, USA Juan Rodriguez-Aguilar, Spanish Research Council, Spain Luciano Serafini, ITC-IRST, Trento, Italy 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