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 CAA32358; Tue, 13 Jan 2004 02:30:49 +0100 (MET) 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 CAA00298 for ; Tue, 13 Jan 2004 02:30:48 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from smtp.netcabo.pt (smtp.netcabo.pt [212.113.174.9]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0D1Sc507379 for ; Tue, 13 Jan 2004 02:28:41 +0100 (MET) Received: from ISABEL ([81.84.140.19]) by smtp.netcabo.pt with Microsoft SMTPSVC(5.0.2195.6713); Tue, 13 Jan 2004 01:28:21 +0000 Message-ID: <3854-22004121312823225@ISABEL> From: "=?windows-1252?Q?Jo=E3o_Leite?=" To: "caml-list@pauillac.inria.fr" Subject: [Caml-list] Preliminary CFP: DALT 2004 - 2nd Workshop on Declarative Agent Languages and Technologies Date: Tue, 13 Jan 2004 01:28:23 -0000 MIME-Version: 1.0 Content-type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-OriginalArrivalTime: 13 Jan 2004 01:28:22.0184 (UTC) FILETIME=[88401280:01C3D974] X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 2004:99 declarative:01 declarative:01 2004:99 discovery:99 logics:01 broader:01 exploiting:01 logics:01 policies:99 springer:01 lncs:01 paolo:99 universiteit:01 amsterdam:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk ------------------------------------------------------------- P R E L I M I N A R Y 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=2Edi=2Efct=2Eunl=2Ept/~jleite/dalt04/index=2Ehtm to be held at the The Third International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2004) New York, USA 19 or 20 July 2004 ------------------------------------------------------------- ---------- Overview: ---------- Building multi-agent systems still calls for models and technologies that ensure system predictability, enable feature discovery and verification, and accommodate flexibility=2E Declarative approaches offer to satisfy precisely these properties of large-scale multi-agent systems=2E Recent advances in the area of computational logics provide a strong foundation for declarative languages and technologies=2E 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=2E 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=2E 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=2E 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 or 20th, 2004 ------------ Submission: ------------ Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages=2E Paper submission is electronic via the conference home page=2E ------------ Publication: ------------ A printed volume with the proceedings will be available at the workshop=2E DALT 2003 post-proceedings are being published by Springer-Verlag as a volume of the LNAI series=2E Some contacts have already been made towards collecting the papers presented at DALT 2004 in the form of a journal special issue or a book from an international publisher=2E --------------------- Organizing Committee: --------------------- Jo=E3o Leite (Universidade Nova de Lisboa) Andrea Omicini (Universit=E0 di Bologna a Cesena) Paolo Torroni (Universit=E0 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=E0 degli Studi di L'Aquila, Italy Mehdi Dastani, Universiteit Utrecht, The Netherlands J=FCrgen 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=2E Meyer, Universiteit Utrecht, The Netherlands Charles L=2E Ortiz, SRI International, Menlo Park, CA, USA Sascha Ossowski, Universidad Rey Juan Carlos, Madrid, Spain Lin Padgham, RMIT University, Australia Lu=EDs 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