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 9532B7FD26 for ; Fri, 6 Nov 2015 13:59:38 +0100 (CET) IronPort-PHdr: 9a23:au37WhwtVuMR+YnXCy+O+j09IxM/srCxBDY+r6Qd0ekUIJqq85mqBkHD//Il1AaPBtWGraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrmzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkpi9ZvvZk889bTY37eb45RPpWFmcIKWcwscLmshfNZQCUoH4dW2AX1BdEHkCFwxz9UJm5iTbmve581ieXfJ6lBYsoUCivuv84ACTjjz0KYmY0 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: A0BaBQC3ozxW/wZZH8Beg14wb68FAY0HhAgXBodqEAEBAQEBAQEBgQmCLoIrIQsfTTAEHYhyoGOcb4QkkHmCFAxBHIEVBY4RiDeNHZxMOCuEIiA0hRQBAQE X-IPAS-Result: A0BaBQC3ozxW/wZZH8Beg14wb68FAY0HhAgXBodqEAEBAQEBAQEBgQmCLoIrIQsfTTAEHYhyoGOcb4QkkHmCFAxBHIEVBY4RiDeNHZxMOCuEIiA0hRQBAQE X-IronPort-AV: E=Sophos;i="5.20,252,1444687200"; d="scan'208";a="152913040" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 06 Nov 2015 13:59:37 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id EEDBF121522; Fri, 6 Nov 2015 07:59:36 -0500 (EST) To: caml-list@inria.fr Message-Id: <20151106125936.EEDBF121522@mcclellan.cs.miami.edu> Date: Fri, 6 Nov 2015 07:59:36 -0500 (EST) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] LPAR-20 in Fiji - Register now =============================================================================== 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 still 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. ===============================================================================