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 82C3E7FCF0 for ; Thu, 2 Apr 2015 19:47:11 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eacsl-announce-bounces@kahle.ch) identity=pra; client-ip=80.74.143.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl-announce-bounces@kahle.ch"; x-sender="eacsl-announce-bounces@kahle.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of eacsl-announce-bounces@kahle.ch designates 80.74.143.34 as permitted sender) identity=mailfrom; client-ip=80.74.143.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl-announce-bounces@kahle.ch"; x-sender="eacsl-announce-bounces@kahle.ch"; 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@web304.oemsites.net) identity=helo; client-ip=80.74.143.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl-announce-bounces@kahle.ch"; x-sender="postmaster@web304.oemsites.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D7AgB7fx1ViSKPSlBcgmZ0XAGDFK8eAQEGkGiCNQqGEYEuTQEBAQEBARIBAQEKFEuEIAYBARoGEQ8BAgoGEgYKAwEDAQIGAiEDAgUWBwQCAgIBAQUDAgECARUBEQ4IGwYCAQEBiCsDCbUGcIRoApNCAQEIAQEBARcHgSGEbo0CgUUBlGODZIIngR06gnqCPYQfjSxuAYJCAQEB X-IPAS-Result: A0D7AgB7fx1ViSKPSlBcgmZ0XAGDFK8eAQEGkGiCNQqGEYEuTQEBAQEBARIBAQEKFEuEIAYBARoGEQ8BAgoGEgYKAwEDAQIGAiEDAgUWBwQCAgIBAQUDAgECARUBEQ4IGwYCAQEBiCsDCbUGcIRoApNCAQEIAQEBARcHgSGEbo0CgUUBlGODZIIngR06gnqCPYQfjSxuAYJCAQEB X-IronPort-AV: E=Sophos;i="5.11,512,1422918000"; d="scan'208";a="131356324" Received: from srv34-143-74-80.oemsites.net (HELO web304.oemsites.net) ([80.74.143.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 02 Apr 2015 19:47:10 +0200 Received: from web304.oemsites.net (localhost [IPv6:::1]) by web304.oemsites.net (Postfix) with ESMTP id 50A6927C1D76; Thu, 2 Apr 2015 19:47:08 +0200 (CEST) Received: from [172.28.32.62] (93-63-252-6.ip30.fastwebnet.it [93.63.252.6]) (Authenticated sender: eacsl@kahle.ch) by web304.oemsites.net (Postfix) with ESMTPSA id 8F0EC27C1575 for ; Thu, 2 Apr 2015 19:43:35 +0200 (CEST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=default; d=kahle.ch; b=g2N1Ayh/7hX7sQhqZZ3teqXfI6pQRmPdVriOVmDuTk3yi5e+U5noKzgqNjwQdeR9HWpw1KTuyFueSijWderN4BIyj+Nntz7nPi8kR1R5j4nCCi/0PhlSmsKUDnDHombkhoFrJ41tsT6oKKsIf98a6MG0W8dw3d7shnXG/4BEswI=; h=Message-ID:Date:From:User-Agent:MIME-Version:To:Subject:Content-Type:Content-Transfer-Encoding:X-PPP-Message-ID:X-PPP-Vhost; Message-ID: <551D7FC4.6090403@kahle.ch> Date: Thu, 02 Apr 2015 18:43:32 +0100 From: European Association of Computer Science Logic User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 MIME-Version: 1.0 To: eacsl-announce@kahle.ch X-PPP-Message-ID: <20150402174335.4942.98122@web304.oemsites.net> X-PPP-Vhost: kahle.ch X-Mailman-Approved-At: Thu, 02 Apr 2015 19:47:02 +0200 X-BeenThere: eacsl-announce@kahle.ch X-Mailman-Version: 2.1.12 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Sender: eacsl-announce-bounces@kahle.ch Errors-To: eacsl-announce-bounces@kahle.ch X-Validation-by: eacsl@kahle.ch Subject: [Caml-list] [Eacsl-announce] Ackermann Award 2015 QUNLRVJNQU5OIEFXQVJEIDIwMTUgLSBUSEUgRUFDU0wgT1VUU1RBTkRJTkcg RElTU0VSVEFUSU9OIEFXQVJEIEZPUiAKTE9HSUMgSU4gQ09NUFVURVIgU0NJ RU5DRQogICBDQUxMIEZPUiBOT01JTkFUSU9OUwoKTm9taW5hdGlvbnMgYXJl IG5vdyBpbnZpdGVkIGZvciB0aGUgMjAxNSBBY2tlcm1hbm4gQXdhcmQuClBo RCBkaXNzZXJ0YXRpb25zIGluIHRvcGljcyBzcGVjaWZpZWQgYnkgdGhlIEVB Q1NMIGFuZCBMSUNTCmNvbmZlcmVuY2VzLCB3aGljaCB3ZXJlIGZvcm1hbGx5 IGFjY2VwdGVkIGFzIFBoRCB0aGVzZXMgYXQgYQp1bml2ZXJzaXR5IG9yIGVx dWl2YWxlbnQgaW5zdGl0dXRpb24gYmV0d2VlbiAxLjEuMjAxMyBhbmQgMzEu MTIuMjAxNAphcmUgZWxpZ2libGUgZm9yIG5vbWluYXRpb24gZm9yIHRoZSBh d2FyZC4gVGhlIGRlYWRsaW5lIGZvciBzdWJtaXNzaW9uCmlzIDE1IEFwcmls IDIwMTUuClN1Ym1pc3Npb24gZGV0YWlscyBmb2xsb3cgYmVsb3cuCk5vbWlu YXRpb25zIGNhbiBiZSBzdWJtaXR0ZWQgZnJvbSAxIEphbnVhcnkgMjAxNSBh bmQgc2hvdWxkIGJlIHNlbnQKdG8gdGhlIGNoYWlyIG9mIHRoZSBKdXJ5LCBB bnVqIERhd2FyLCBieSBlLW1haWw6YW51ai5kYXdhckBjbC5jYW0uYWMudWsK ClRoZSBBd2FyZApUaGUgMjAxNSBBY2tlcm1hbm4gYXdhcmQgd2lsbCBiZSBw cmVzZW50ZWQgdG8gdGhlIHJlY2lwaWVudChzKSBhdCB0aGUKYW5udWFsIGNv bmZlcmVuY2Ugb2YgdGhlIEVBQ1NMLCA3LTEwIFNlcHRlbWJlciAyMDE1LCBp biBCZXJsaW4gKEdlcm1hbnkpLgpUaGUgYXdhcmQgY29uc2lzdHMgb2YKCiAg ICAgICogYSBjZXJ0aWZpY2F0ZSwKICAgICAgKiBhbiBpbnZpdGF0aW9uIHRv IHByZXNlbnQgdGhlIHRoZXNpcyBhdCB0aGUgQ1NML0xJQ1MgY29uZmVyZW5j ZSwKICAgICAgKiB0aGUgcHVibGljYXRpb24gb2YgdGhlIGxhdWRhdGlvIGlu IHRoZSBDU0wvTElDUyBwcm9jZWVkaW5ncywKICAgICAgKiB0cmF2ZWwgc3Vw cG9ydCB0byBhdHRlbmQgdGhlIGNvbmZlcmVuY2UsIGFuZAogICAgICAqIGFu IGludml0YXRpb24gdG8gcHJlc2VudCB0aGUgd29yayB0byB0aGUgS3VydCBH w7ZkZWwgU29jaWV0eSBpbiAKVmllbm5hLgoKVGhlIGp1cnkgaXMgZW50aXRs ZWQgdG8gZ2l2ZSB0aGUgYXdhcmQgdG8gbW9yZSAob3IgbGVzcykgdGhhbiBv bmUKZGlzc2VydGF0aW9uIGluIGEgeWVhci4KCkp1cnkKVGhlIGp1cnkgY29u c2lzdHMgb2Y6CgogICAgICAqIFRoaWVycnkgQ29xdWFuZCAoQ2hhbG1lcnMg VW5pdmVyc2l0eSBvZiBHb3RoZW5idXJnKTsKICAgICAgKiBBbnVqIERhd2Fy IChVbml2ZXJzaXR5IG9mIENhbWJyaWRnZSksIHRoZSBwcmVzaWRlbnQgb2Yg RUFDU0w7CiAgICAgICogRGV4dGVyIEtvemVuIChDb3JuZWxsIFVuaXZlcnNp dHkpLCBBQ00gU2lnTG9nIHJlcHJlc2VudGF0aXZlOwogICAgICAqIE9ybmEg S3VwZmVybWFuIChIZWJyZXcgVW5pdmVyc2l0eSBvZiBKZXJ1c2FsZW0pOwog ICAgICAqIERhbmllbCBMZWl2YW50IChJbmRpYW5hIFVuaXZlcnNpdHksIEJs b29taW5ndG9uKTsKICAgICAgKiBMdWtlIE9uZyAoVW5pdmVyc2l0eSBvZiBP eGZvcmQpOwogICAgICAqIEplYW4tRXJpYyBQaW4gKENOUlMgYW5kIFVuaXZl cnNpdHkgb2YgUGFyaXMgNyk7CiAgICAgICogU2ltb25hIFJvbmNoaSBEZWxs YSBSb2NjYSAoVW5pdmVyc2l0eSBvZiBUb3Jpbm8pLCB0aGUKdmljZS1wcmVz aWRlbnQgb2YgRUFDU0w7CgpIb3cgdG8gc3VibWl0ClRoZSBjYW5kaWRhdGUg b3IgaGlzL2hlciBzdXBlcnZpc29yIHNob3VsZCBzdWJtaXQKCiAgICAgMS4g dGhlIHRoZXNpcyAocHMgb3IgcGRmIGZpbGUpOwogICAgIDIuIGEgZGV0YWls ZWQgZGVzY3JpcHRpb24gKG5vdCBsb25nZXIgdGhhbiAyMCBwYWdlcykgb2Yg dGhlIHRoZXNpcwppbiBFTkdMSVNIIChwcyBvciBwZGYgZmlsZSk7CiAgICAg My4gYSBzdXBwb3J0aW5nIGxldHRlciBieSB0aGUgUGhEIGFkdmlzb3IgYW5k IHR3byBzdXBwb3J0aW5nIGxldHRlcnMKYnkgb3RoZXIgc2VuaW9yIHJlc2Vh cmNoZXJzIChpbiBFbmdsaXNoKTsKc3VwcG9ydGluZyBsZXR0ZXJzIGNhbiBh bHNvIGJlIHNlbnQgZGlyZWN0bHkgdG8gQW51aiBEYXdhcgooYW51ai5kYXdh ckBjbC5jYW0uYWMudWspOwogICAgIDQuIGEgc2hvcnQgQ1Ygb2YgdGhlIGNh bmRpZGF0ZTsKICAgICA1LiBhIGNvcHkgb2YgdGhlIGRvY3VtZW50IGFzc2Vy dGluZyB0aGF0IHRoZSB0aGVzaXMgd2FzIGFjY2VwdGVkIGFzCmEgUGhEIHRo ZXNpcyBhdCBhIHJlY29nbml6ZWQgVW5pdmVyc2l0eSAob3IgZXF1aXZhbGVu dCBpbnN0aXR1dGlvbikgYW5kCnRoYXQgdGhlIGNhbmRpZGF0ZSBoYXMgcmVj ZWl2ZWQgaGlzL2hlciBQaEQgd2l0aGluIHRoZSBzcGVjaWZpZWQgcGVyaW9k LgoKVGhlIHN1Ym1pc3Npb24gc2hvdWxkIGJlIHNlbnQgYnkgZS1tYWlsIGFz IGF0dGFjaG1lbnRzIHRvIHRoZSBjaGFpcm1hbgpvZiB0aGUganVyeSwgQW51 aiBEYXdhcjoKYW51ai5kYXdhckBjbC5jYW0uYWMudWsKV2l0aCB0aGUgZm9s bG93aW5nIHN1YmplY3QgbGluZSBhbmQgdGV4dDoKCiAgICAgICogU3ViamVj dDogQWNrZXJtYW5uIEF3YXJkIFN1Ym1pc3Npb24KICAgICAgKiBUZXh0OiBO YW1lIG9mIGNhbmRpZGF0ZSwgbGlzdCBvZiBhdHRhY2htZW50cwoKU3VibWlz c2lvbiBjYW4gYmUgc2VudCB2aWEgc2V2ZXJhbCBlLW1haWwgbWVzc2FnZXMu IElmIHRoaXMgaXMgdGhlIGNhc2UsCnBsZWFzZSBpbmRpY2F0ZSBpdCBpbiB0 aGUgdGV4dC4gTGV0dGVycyBvZiBzdXBwb3J0IGFuZCBkb2N1bWVudHMgY2Fu CmFsc28gYmUgZmF4ZWQgdG86CkFudWogRGF3YXIKQWNrZXJtYW5uIEF3YXJk Cis0NCAxMjIzIDMzNDY3OAoKVGhlIEp1cnkgaGFzIHRoZSByaWdodCB0byBk ZWNsYXJlIHN1Ym1pc3Npb25zIHRvIGJlIG91dCBvZiBzY29wZSBvciBub3QK dG8gbWVldCB0aGUgcmVxdWlyZW1lbnRzLgoKVGhlIEF3YXJkIGlzIHNwb25z b3JlZCBieSB0aGUgS3VydCBHw7ZkZWwgU29jaWV0eS4KCl9fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkVhY3NsLWFu bm91bmNlIG1haWxpbmcgbGlzdApFYWNzbC1hbm5vdW5jZUBrYWhsZS5jaApo dHRwOi8vbGlzdHMua2FobGUuY2gvbWFpbG1hbi9saXN0aW5mby9lYWNzbC1h bm5vdW5jZQo=