From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q11HFlTC006876 for ; Wed, 1 Feb 2012 18:15:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArsFANNxKU/AH1kGgWdsb2JhbABDnmIBjk2BbwEBFiYlgjcLH00wAh+hB5Z9iQWLXAQBMxeCdQECAQsCBwQTAgR3BD2COWMEiEGMX5Jz X-IronPort-AV: E=Sophos;i="4.71,603,1320620400"; d="scan'208";a="129723390" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail4-smtp-sop.national.inria.fr with SMTP; 01 Feb 2012 18:15:42 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 717C2121434; Wed, 1 Feb 2012 12:15:41 -0500 (EST) To: caml-list@inria.fr Message-Id: <20120201171541.717C2121434@mcclellan.cs.miami.edu> Date: Wed, 1 Feb 2012 12:15:41 -0500 (EST) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] LPAR-18 participation ========================== LPAR-18 PARTICIPATION ========================== ============================================================ The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Merida, Venezuela - March 11-15, 2012 www.LPAR-18.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 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 18th edition will be held in Merida, Venezuela. LPAR-18 includes ... + IWIL-2012 - The 9th International Workshop on the Implementation of Logics + APS-6 - The 6th International Workshop on Analytic Proof Systems + Invited speakers - Elvira Albert, Complutense University of Madrid (Spain) - Kenneth McMillan, Microsoft Research (USA) - Aart Middeldorp, University of Innsbruck (Austria) - Boris Motik, University of Oxford (UK) + Accepted papers The programme includes 25 regular papers and 6 tool/system descriptions ----------------------------------------------------------------------------- REGISTRATION Registration for LPAR-18 is now open online, from the registration page on the LPAR-18 web site - www.LPAR-18.info. The early registration deadline is 16th February. -----------------------------------------------------------------------------