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 3A09D7F60B for ; Fri, 24 Mar 2017 16:40:06 +0100 (CET) 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 IronPort-PHdr: =?us-ascii?q?9a23=3AKQnJdRdpiHKCC23OYP29RzJxlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu7bR7h7PlgxGXEQZ/co6odzbGH7+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM37nzZhM9+gqxbux+tuwBzz5LIbI2JKPZyYqXQds4aS2pbWcZRUjRMAoyi?= =?us-ascii?q?YIsIAeoBM/1VoJXmp1cUqBu+BBOjBObuyjNSmHD5wLA62PklHQ/HwgMgGNwOsH?= =?us-ascii?q?rJp9voKacSTfy6zK3JzTXNYfNZxzLx5Y7VeR4vpvGMWKh/ccvXyUQ3EwPFlk+f?= =?us-ascii?q?qZb8Mz+Ly+gBqWmb7+xuVeKojWMstgJ/oiC3y8sxjoTFmJgZx17Z+Sljw4s4Ic?= =?us-ascii?q?e0RU99bNW5CpVfrTuaOJFzQs46Q2FnpiI6yroetJ6+YCcF1JAnyADba/yDaYeI?= =?us-ascii?q?5AjvW/qKITtigXJleaiwhxOz8US61OLzS9S03E5LripDjNbMqmgA2wHX58SZUP?= =?us-ascii?q?dw8Fqt1SyM2g3X8O1JIFg4la/BJJ4gxr4wmIATsUPGHiLul0X5kqiWdksq+uWz?= =?us-ascii?q?9+vnea/qppqdN4BujwH+M74ildKiDuQlKgQORXSU+fyg1L3/+k30WKlFgeczkq?= =?us-ascii?q?ndqZzaIcUbprWlAwJOyYYi6xO/Dy+839gCnHkHKkhFeBOdgITzNVHOOqOwMfDq?= =?us-ascii?q?iF2plHJvxuvaFrznGJTEaHbZw5n7erMo5ENbxgQbxssZ4pNdD7BHLf7uEg/eud?= =?us-ascii?q?vWAFcCLhC/x+fpBtg8hdBWYn6GHqLMaPCailSP/O96e+Q=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AvBgC5PNVY/wZZH8BdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAqBC6IgAZBXgg+CDgElgkaHHxYBAQEBAQEBAQEBAWoogjMggmY?= =?us-ascii?q?hKk0wBB2KS5oKkiyIBQeCaI9xbIIADIMNBZYLhk6SPpE9k2UmDSSBBFuEXAyCY?= =?us-ascii?q?CQ1iW4BAQE?= X-IPAS-Result: =?us-ascii?q?A0AvBgC5PNVY/wZZH8BdHAEBBAEBCgEBFwEBBAEBCgEBhAq?= =?us-ascii?q?BC6IgAZBXgg+CDgElgkaHHxYBAQEBAQEBAQEBAWoogjMggmYhKk0wBB2KS5oKk?= =?us-ascii?q?iyIBQeCaI9xbIIADIMNBZYLhk6SPpE9k2UmDSSBBFuEXAyCYCQ1iW4BAQE?= X-IronPort-AV: E=Sophos;i="5.36,215,1486422000"; d="scan'208";a="217945605" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 24 Mar 2017 16:40:01 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 26324121488; Fri, 24 Mar 2017 11:40:01 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20170324154001.26324121488@mcclellan.cs.miami.edu> Date: Fri, 24 Mar 2017 11:40:01 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] LPAR-21 in Botswana - Come join us! **************************************************************************** The 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-21 Cresta Riley's Hotel, Maun, Botswana http://www.LPAR-21.info CALL FOR PARTICIPATION 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 21st LPAR will be held will be held in Maun, Botswana, at Cresta Riley's Hotel, 7-12th May 2017. The conference features: + Over 30 high quality technical papers + Three invited talks: - Rupak Majumdar, Max Planck Institute for Software Systems, Germany - Stephen Muggleton, Imperial College London, United Kingdom - Willem Visser, Stellenbosch University, South Africa + An LPAR quality social program - Reception braai - Full day excursion for game viewing - African theme farewell dinner + The 12th International Workshop on the Implementation of Logics Come join us in Africa! ****************************************************************************