From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2BE6B7F0A3 for ; Thu, 3 Sep 2015 17:03:14 +0200 (CEST) IronPort-PHdr: 9a23:PEAJKhxq2GKC9KnXCy+O+j09IxM/srCxBDY+r6Qd0ekeIJqq85mqBkHD//Il1AaPBtWHraoYwLqM+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStKU15j8h7r60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7GGASC4XUSem4N1B9JCg3Eqhz2Q9+xnSb9uOQ14zSGNsn3Q745GGfxp5x3QQPl3X9UfwUy93va35R9 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mcclellan.cs.miami.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DKBABDYOhV/wZZH8Bdgz4xaYJWqlIBkiIKh28QAQEBAQEBAQGBCYIdgiohCx9NMAQdTYglDaZ/n3WEbpEXghcMQR2BFAWFe49Wh3SFAJpyJoQcIjOJTAEBAQ X-IPAS-Result: A0DKBABDYOhV/wZZH8Bdgz4xaYJWqlIBkiIKh28QAQEBAQEBAQGBCYIdgiohCx9NMAQdTYglDaZ/n3WEbpEXghcMQR2BFAWFe49Wh3SFAJpyJoQcIjOJTAEBAQ X-IronPort-AV: E=Sophos;i="5.17,462,1437429600"; d="scan'208";a="144651309" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 03 Sep 2015 17:03:13 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 703C312151A; Thu, 3 Sep 2015 11:03:12 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20150903150312.703C312151A@mcclellan.cs.miami.edu> Date: Thu, 3 Sep 2015 11:03:12 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] LPAR-20 Short Presentation Papers =============================================================================== The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Suva, Fiji, 23rd-28th November 2015 www.LPAR-20.info CALL FOR SHORT PRESENTATION PAPERS In keeping with the tradition of LPAR, researchers and practitioners are invited to submit short presentation papers (the papers can be full length, the presentation slots will be short), reporting on interesting work in progress, system and tool descriptions, experimental results, etc. They need not be original, and extended or revised versions of the papers may be submitted concurrently with or after LPAR to another conference or a journal. Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be published. The short presentation papers will be published electronically as a volume in the EPiC series, see http://www.easychair.org/publications/EPiC. The LaTeX and Microsoft Word templates for the EPiC series can be downloaded from http://www.easychair.org/publications/for_authors. Short papers may be up to 15 pages long, and must be submitted through the EasyChair system using the web page https://www.easychair.org/conferences/?conf=lpar20. Paper submission deadline: 19th October 2015 Notification of acceptance: 2nd November 2015 Final version: 9th November 2015 ... however, in order to facilitate authors making travel arrangements, papers submitted before the deadline will be reviewed immediately, and a decision made in approximately one week. Submit early, and submit often! ===============================================================================