From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id E8FDCBC57 for ; Sat, 3 Apr 2010 17:00:35 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYCAIX1tkuGOigCmWdsb2JhbACPU4wNAQEBAQEICxERIogbrTOFBwQ X-IronPort-AV: E=Sophos;i="4.51,356,1267398000"; d="scan'208";a="47962113" Received: from mailrelay2.cs.kuleuven.be (HELO hermes2.cs.kuleuven.be) ([134.58.40.2]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Apr 2010 17:00:34 +0200 Received-SPF: pass (hermes2.cs.kuleuven.be.: domain of Joost.Vennekens@cs.kuleuven.be designates 134.58.41.21 as permitted sender) receiver=hermes2.cs.kuleuven.be.; client-ip=134.58.41.21; helo=dr-zook2.cs.kuleuven.be.; envelope-from=Joost.Vennekens@cs.kuleuven.be; x-software=spfmilter 0.97 http://www.acme.com/software/spfmilter/ with libspf-unknown; Received: from dr-zook2.cs.kuleuven.be. (dr-zook2.cs.kuleuven.be [134.58.41.21]) by hermes2.cs.kuleuven.be. with ESMTP id o33F0XvD010613 for ; Sat, 3 Apr 2010 17:00:33 +0200 Received: from localhost (localhost [127.0.0.1]) by dr-zook2.cs.kuleuven.be. (8.14.2/8.14.2/Debian-2build1) with ESMTP id o33F0XRQ021575 for ; Sat, 3 Apr 2010 17:00:33 +0200 X-Virus-Scanned: Debian amavisd-new at dr-zook2.cs.kuleuven.be. Received: from dr-zook2.cs.kuleuven.be. ([127.0.0.1]) by localhost (dr-zook2.cs.kuleuven.be [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 2MjJ2wGdjlZb for ; Sat, 3 Apr 2010 17:00:32 +0200 (CEST) Received: from hel.cs.kuleuven.be (hel.cs.kuleuven.be [134.58.41.12]) by dr-zook2.cs.kuleuven.be. (8.14.2/8.14.2/Debian-2build1) with ESMTP id o33EuAWo019548 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sat, 3 Apr 2010 16:56:11 +0200 Received: from brundij.cs.kuleuven.be (brundij.cs.kuleuven.be [134.58.45.79]) by hel.cs.kuleuven.be (A_Good_MTA/8.14.2/Debian-2build1) with ESMTP id o33Enfmq011896 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sat, 3 Apr 2010 16:56:10 +0200 Received: from brundij.cs.kuleuven.be. (localhost [127.0.0.1]) by brundij.cs.kuleuven.be (A_Good_MTA/8.14.2/Debian-2build1) with ESMTP id o33C7m9e005692 for ; Sat, 3 Apr 2010 14:07:48 +0200 Received: (from joost@localhost) by brundij.cs.kuleuven.be. (8.14.2/8.14.2/Submit) id o33C7mYT005691 for caml-list@inria.fr; Sat, 3 Apr 2010 14:07:48 +0200 Date: Sat, 3 Apr 2010 14:07:48 +0200 From: Joost Vennekens Message-Id: <201004031207.o33C7mYT005691@brundij.cs.kuleuven.be.> To: caml-list@inria.fr Subject: KR 2010 registration ends next week! Reply-To: joost.vennekens+KR@cs.kuleuven.be X-Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm Content-Type: text/plain MIME-Version: 1.0 Content-Disposition: inline X-Spam: no; 0.00; co-located:01 freiburg:01 hector:98 talks:03 tutorials:03 universit:03 ian:04 deadline:05 deadline:05 consortium:05 leonardo:05 underlying:06 oxford:06 reasoning:07 reasoning:07 ********************************************* KR 2010 Final Registration Deadline: April 9th ********************************************* Dear KR Community Member, Please join us for the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), to be held May 9-13, 2010 at The Sutton Place Hotel, in Toronto, Ontario, Canada. Registration is now open. The final deadline is April 9th! KR 2010 will be co-located with AAMAS, FOIS, ICAPS, and NMR. Options for cross-registration are available. The Knowledge Representation and Reasoning conference series is a leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2010 conference will feature an extensive technical program, including a series of invited talks by Ron Brachman (Yahoo!) and Hector Levesque (University of Toronto), Ian Horrocks (University of Oxford), Yoav Shoham (Stanford University), and Chitta Baral (Arizona State University), as well as several invited tutorials by Leonardo de Moura (Microsoft Research), Carsten Lutz (Universität Bremen), Bernhard Nebel (University of Freiburg), and mc schraefel (University of Southampton). For participating students, the conference also includes a doctoral consortium. For complete conference information, please see http://www.kr.org/KR2010/ To register, please visit the online registration and information page at http://www.aaai.org/Forms/torontoregistration-form.php For inquiries regarding registration, please write to AAAI at toronto10@aaai.org. We look forward to seeing you in Toronto this May! The KR 2010 Conference Committee Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm