From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3FA197ED1D for ; Thu, 15 Oct 2015 16:54:27 +0200 (CEST) IronPort-PHdr: 9a23:HERPWxDk1k+TuF3qMKBeUyQJP3N1i/DPJgcQr6AfoPdwSP74r8bcNUDSrc9gkEXOFd2CrakU16yG4uuwASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTrkbDjsM2LKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxdqE8CLhZFygOMmYv5cStuwOQYxGI4y4TX2IYnDJDGE7A7Rj/X9H8vjay9sVw3yeUdfbrUbswWDqs4uY4G1fTlC4bOmthoynsgctqgfcDrQ== Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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: A0B1BQBivR9W/wZZH8Beg0kxbqwxAYxqhggXBodvEQEBAQEBAQEBgQmCH4IrIQsfTTAEHYhyoBieX4R0kR+CFwxDHYEUBZYbjROcFzcshB8iM4VnAQEB X-IPAS-Result: A0B1BQBivR9W/wZZH8Beg0kxbqwxAYxqhggXBodvEQEBAQEBAQEBgQmCH4IrIQsfTTAEHYhyoBieX4R0kR+CFwxDHYEUBZYbjROcFzcshB8iM4VnAQEB X-IronPort-AV: E=Sophos;i="5.17,686,1437429600"; d="scan'208";a="182973312" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 15 Oct 2015 16:54:26 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id F10A51214EE; Thu, 15 Oct 2015 10:54:25 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20151015145425.F10A51214EE@mcclellan.cs.miami.edu> Date: Thu, 15 Oct 2015 10:54:25 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] LPAR-20 in Fiji - Registration is open =============================================================================== The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Suva, Fiji, 23rd-28th November 2015 www.LPAR-20.info CALL FOR PARTICIPATION Registration for LPAR-20 is now open ... follow the link from the conference web page. Information about travel to Fiji, and accomodation in Suva, is also available on the web page. Come join us for the focussed workshops, the high quality conference, and the renowned LPAR social events. ===============================================================================