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 UAA23683; Tue, 31 Aug 2004 20:43:45 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA25788 for ; Tue, 31 Aug 2004 20:43:39 +0200 (MET DST) Received: from smtp.netcabo.pt (smtp.netcabo.pt [212.113.174.9]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i7VIhcdT024967 for ; Tue, 31 Aug 2004 20:43:39 +0200 Received: from ANIMAL ([81.84.140.235]) by smtp.netcabo.pt with Microsoft SMTPSVC(5.0.2195.6713); Tue, 31 Aug 2004 19:43:44 +0100 From: "Joao Leite" Subject: [Caml-list] JELIA'04 Call For Participation To: caml-list@pauillac.inria.fr Content-Type: text/plain;iso-8859-1 Reply-To: jleite@di.fct.unl.pt Date: Tue, 31 Aug 2004 19:43:37 +0100 X-Priority: 3 X-Library: Indy 8.0.25 Message-ID: X-OriginalArrivalTime: 31 Aug 2004 18:43:44.0940 (UTC) FILETIME=[71B89EC0:01C48F8A] X-Miltered: at nez-perce with ID 4134C6DB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.01; cordially:99 logics:01 lisbon:99 portugal:99 2004.:99 2004:99 logics:01 exists:01 reasoning:02 temporal:02 artificial:05 invite:92 programming:07 talks:08 excursion:09 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear colleague, We would like to cordially invite you to participate in the Ninth European Conference on Logics in Artificial Intelligence (JELIA'04) to be held in Lisbon, Portugal, from September 27 - 30, 2004. The deadline for early registration is September 7th. More information at: http://centria.di.fct.unl.pt/~jelia2004 JELIA'04 will be co-located with the Fifth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V).A special rate exists for those who register for both meetings. The technical program of JELIA'04 includes: 3 invited talks -Representing and Reasoning with Preferences by Francesca Rossi -Engineering of logics for the content-based representation of information by Franz Baader -Formal Methods in Robotics by Bernhard Nebel 52 paper presentations with sessions on -Actions and Causation -Applications (2 sessions) -Belief Revision -Complexity Issues -Description Logics -Logic Programming -LPNMR (2 sessions) -Modal, Spacial and Temporal Logics -Multi-Agent Systems (2 sessions) -Reasoning under Uncertainty -Theorem Proving 15 system demonstrations The social program includes: -a welcome drink -a social dinner -an excursion to Sintra We hope you can join this event. Best regards, Joao Leite and Jose Alferes ------------------- 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