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 27486BBAF for ; Thu, 20 May 2010 20:19:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EAGoa9UvAH1kG/2dsb2JhbACRdwEBjQu1P4hehRIE X-IronPort-AV: E=Sophos;i="4.53,272,1272837600"; d="scan'208";a="50969983" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 20 May 2010 20:19:37 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 9B84F11F8D6; Thu, 20 May 2010 14:15:01 -0400 (EDT) To: caml-list@inria.fr Subject: LPAR-17 submission deadlines Message-Id: <20100520181501.9B84F11F8D6@mcclellan.cs.miami.edu> Date: Thu, 20 May 2010 14:15:01 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Spam: no; 0.00; miami:98 renowned:98 abstract:01 experimental:01 artificial:01 artificial:01 implemented:02 implemented:02 languages:03 programming:03 programming:03 experiments:03 solid:95 submissions:04 logic:04 ============================================================ The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================ Yogyakarta, Indonesia - October 10th-15th, 2010 http://www.computational-logic.org/lpar-17/Home.html --------------------------------------- Abstract submission deadline - 1st June Paper submission deadline - 8th June --------------------------------------- The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 17th LPAR will be held in Yogyakarta, Indonesia. Conference Chair: Steffen Hoelldobler Programme Chairs: Chris Fermueller, Andrei Voronkov Submissions of two kinds are welcome: * Regular papers that describe solid new research results. * Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. See the web site http://www.computational-logic.org/lpar-17/Home.html for all the details. ===============================================================================