From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E964E7EE4C for ; Wed, 2 Oct 2013 20:02:00 +0200 (CEST) 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: ArUBAAFfTFLAH1kGl2dsb2JhbABZgz+vTAGTVQ4BAQEBAQgWBzyCSSELH00wBB1Nh30Mm36YLIkTjhKEZYEEA5gAlUAggSw X-IPAS-Result: ArUBAAFfTFLAH1kGl2dsb2JhbABZgz+vTAGTVQ4BAQEBAQgWBzyCSSELH00wBB1Nh30Mm36YLIkTjhKEZYEEA5gAlUAggSw X-IronPort-AV: E=Sophos;i="4.90,1020,1371074400"; d="scan'208";a="28877266" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 02 Oct 2013 20:02:00 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 693861215B9; Wed, 2 Oct 2013 14:01:59 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20131002180159.693861215B9@mcclellan.cs.miami.edu> Date: Wed, 2 Oct 2013 14:01:59 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] LPAR-19 - Calls for Short Papers and Workshop Papers ============================================================ The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning CALL FOR SHORT PAPERS and WORKSHOP PAPERS ============================================================ Stellenbosch, South Africa, 14-19 December 2013 www.LPAR-19.info 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 19th LPAR will be held in Stellenbosch, South Africa. ------------------------------------------------------------------------------- * SHORT PAPERS In keeping with the tradition of LPAR, researchers and practitioners are invited to submit short papers reporting on interesting work in progress or providing system descriptions. They need not be original. Extended or revised versions of the short papers may be submitted concurrently with or after LPAR to another conference or a journal. Short papers are limited in length to 8 pages in the EasyChair format. Accepted papers will be published electronically as a volume in the EPiC series, see http://www.easychair.org/publications/?page=38379010. 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 LaTeX, Microsoft Word and LibreOffice templates for the EPiC series may be downloaded from http://www.easychair.org/publications/?page=1594225690. Short papers must be submitted through the EasyChair system using the web page https://www.easychair.org/conferences/?conf=lpar19 Paper submission deadline: October 14th, 2013 Notification of acceptance: October 28th, 2013 Final version: November 11th, 2013 ------------------------------------------------------------------------------- * WORKSHOP PAPERS LPAR-19 includes five associated workshops: + IWIL-10 - The 10th International Workshop on the Implementation of Logics Submission deadline: October 14, 2013 + APS-7 - The 7th International Workshop on Analytic Proof Systems Submission deadline: October 14, 2013 + ALCS - The 1st International Workshop on Algebraic Logic in Computer Science Submission deadline: passed + LRCM - The 1st Workshop on Logics and Reasoning for Conceptual Models Submission deadline: October 14, 2013 + ALFA-2 - The 2nd Workshop on Automata, Logic, Formal languages, and Algebra Submission deadline: passed Submissions are still being accepted for three of the workshops. For further details, please refer to the workshop web pages that are linked from the LPAR-19 web pages at www.LPAR-19.info . ===============================================================================