From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA16137; Mon, 29 Mar 2004 14:17:08 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA14447 for ; Mon, 29 Mar 2004 14:17:07 +0200 (MET DST) Received: from smtp.netcabo.pt (smtp.netcabo.pt [212.113.174.9]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2TCH6Hd022041 for ; Mon, 29 Mar 2004 14:17:07 +0200 Received: from ANIMAL ([81.84.141.219]) by smtp.netcabo.pt with Microsoft SMTPSVC(5.0.2195.6713); Mon, 29 Mar 2004 13:16:57 +0100 From: "DALT'04" Subject: [Caml-list] Final CFP: DALT'04 - Second International Workshop on Declarative Agent Languages and Technologies To: caml-list@pauillac.inria.fr Content-Type: text/plain;charset=iso-8859-1 Reply-To: dalt2004@hotmail.com Date: Mon, 29 Mar 2004 13:16:54 +0100 X-Priority: 3 X-Library: Indy 8.0.25 Message-ID: X-OriginalArrivalTime: 29 Mar 2004 12:16:58.0706 (UTC) FILETIME=[BBB31320:01C41587] X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 2004:99 declarative:01 declarative:01 2004:99 springer:01 discovery:99 logics:01 broader:01 exploiting:01 logics:01 policies:99 springer:01 lncs:01 paolo:99 universiteit:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 410 ------------------------------------------------------------- F I N A L C A L L F O R P A P E R S The Second International Workshop on Declarative Agent Languages and Technologies (DALT-2004) http://centria.di.fct.unl.pt/~jleite/dalt04/index.htm submission deadline: April 1st to be held at the The Third International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2004) New York, USA July 19th, 2004 Post-proceedings published by Springer ------------------------------------------------------------- ---------- Overview: ---------- Building multi-agent systems still calls for models and technologies that ensure system predictability, enable feature discovery and verification, and accommodate flexibility. Declarative approaches offer to satisfy precisely these properties of large-scale multi-agent systems. Recent advances in the area of computational logics provide a strong foundation for declarative languages and technologies. Equipped with such strong foundation, declarative approaches can enable agents to reason about their interactions and their environment and hence not only establish the required tasks but also handle exceptions that arise in many systems. However, a great effort still has to be done to make formal methods and declarative technologies available to the broader agent community, and to apply theoretical results to enable practical implementation of agent systems. Accordingly, Declarative Agent Languages and Technologies (DALT) workshop aims at bringing together (1) researchers working on formal methods for agent and multi-agent systems design, (2) engineers interested in exploiting the potentials of declarative approaches for specification of agent-based systems, and (3) practitioners exploring the technology issues arising from a declarative representation of systems. Topics of interest 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 Computational logics in multi-agent systems Argumentation and dialectical systems 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 ---------------- Important dates: ---------------- Submission: April 1st, 2004 Notification: May 1st, 2004 Final Version: May 21st, 2004 DALT 2004: July 19th, 2004 ------------ Submission: ------------ 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. ------------ Publication: ------------ A printed volume with the proceedings will be available at the workshop. 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-proceedings. Post-proceedings will be published by Springer-Verlag as a volume of the Lecture Notes on Artificial Intelligence (LNAI) series. --------------------- Organizing Committee: --------------------- João Leite (Universidade Nova de Lisboa) Andrea Omicini (Università di Bologna a Cesena) Paolo Torroni (Università di Bologna) PInar Yolum (Vrije Universiteit Amsterdam) ------------------ Program Committee: ------------------ Rafael Bordini, The University of Liverpool, UK Marco Colombetti, Politecnico di Milano, Italy Stefania Costantini, Università degli Studi di L'Aquila, Italy Mehdi Dastani, Universiteit Utrecht, The Netherlands Jürgen Dix, The University of Manchester, UK Michael Fisher, University of Liverpool, UK Mike Huhns, University of South Carolina, USA Catholijn Jonker, Vrije Universiteit Amsterdam, The Netherlands Alessio Lomuscio, King's College, London, UK Viviana Mascardi, DISI, Genova, Italy John Jules Ch. Meyer, Universiteit Utrecht, The Netherlands Charles L. Ortiz, SRI International, Menlo Park, CA, USA Sascha Ossowski, Universidad Rey Juan Carlos, Madrid, Spain Lin Padgham, RMIT University, Australia Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal Jeremy Pitt, Imperial College, London, UK Juan Rodriguez-Aguilar, Spanish Research Council, Spain Fariba Sadri, Imperial College, UK Marek Sergot, Imperial College, UK Onn Shehory, IBM Research Lab in Haifa, Israel Munindar Singh, North Carolina State University, USA Wiebe van der Hoek, The University of Liverpool, UK Wamberto Vasconcelos, University of Aberdeen, UK Michael Winikoff, RMIT University, Australia ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners