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 58043801DC for ; Wed, 23 Aug 2017 09:05:23 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Klaus.Schneider@informatik.uni-kl.de; spf=None smtp.mailfrom=Klaus.Schneider@informatik.uni-kl.de; spf=None smtp.helo=postmaster@mailgw1.uni-kl.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Klaus.Schneider@informatik.uni-kl.de) identity=pra; client-ip=131.246.120.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Klaus.Schneider@informatik.uni-kl.de"; x-sender="Klaus.Schneider@informatik.uni-kl.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Klaus.Schneider@informatik.uni-kl.de) identity=mailfrom; client-ip=131.246.120.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Klaus.Schneider@informatik.uni-kl.de"; x-sender="Klaus.Schneider@informatik.uni-kl.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailgw1.uni-kl.de) identity=helo; client-ip=131.246.120.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Klaus.Schneider@informatik.uni-kl.de"; x-sender="postmaster@mailgw1.uni-kl.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AbbJQ8xOJivtNpjcQGkYl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/nzrarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZExD7cA50?= =?us-ascii?q?PfjdG4jIjs3x2frh1YfUZlBrgDOgevVJJxWwoATdu9M+gI1sLbw0wwfIoT1Vfe?= =?us-ascii?q?UTxmcuKV/AzF7H+s6s8cs7oGxrsPU7+psYXA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CpAwCPKJ1Zh9x49oNchF4QgRWeLoRel?= =?us-ascii?q?UcsgWCDOxyEGUIVAQEBAQEBAQEBAQESAQEBCgsJCCgvgjMigmcGETQqHAIFIQI?= =?us-ascii?q?EDWqKKBCQFZ1mgiaMIIENgh1EgT6IEoMUQII5DDGCYQWgV4dWj1mIXYcbjHSJO?= =?us-ascii?q?TWBLHiGBIF1dAGIQSuCFAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CpAwCPKJ1Zh9x49oNchF4QgRWeLoRelUcsgWCDOxyEGUI?= =?us-ascii?q?VAQEBAQEBAQEBAQESAQEBCgsJCCgvgjMigmcGETQqHAIFIQIEDWqKKBCQFZ1mg?= =?us-ascii?q?iaMIIENgh1EgT6IEoMUQII5DDGCYQWgV4dWj1mIXYcbjHSJOTWBLHiGBIF1dAG?= =?us-ascii?q?IQSuCFAEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,415,1498514400"; d="scan'208";a="235114598" Received: from mailgw1.uni-kl.de ([131.246.120.220]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Aug 2017 09:05:22 +0200 Received: from es90.informatik.uni-kl.de (es90.informatik.uni-kl.de [131.246.160.144]) by mailgw1.uni-kl.de (8.14.4/8.14.4/Debian-8+deb8u2) with ESMTP id v7N75N9s031705 for ; Wed, 23 Aug 2017 09:05:23 +0200 Message-Id: <201708230705.v7N75N9s031705@mailgw1.uni-kl.de> Date: Wed, 23 Aug 2017 09:05:21 +0200 From: Klaus.Schneider@informatik.uni-kl.de To: caml-list@inria.fr Priority: normal MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 X-Validation-by: klaus.schneider@cs.uni-kl.de Subject: [Caml-list] MEMOCODE-2017 (Call for Participation) CiAgICAgICAgICAgICAgICAgICAgICAgICAgIC0tIENBTEwgRk9SIFBBUlRJ Q0lQQVRJT04gLS0KCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg IDE1dGggQUNNL0lFRUUKICAgICAgICAgICAgICAgICAgICAgICAgICAgIElu dGVybmF0aW9uYWwgQ29uZmVyZW5jZQogICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICBvbgogICAgICAgICAgICAgICAgICBGb3JtYWwg TWV0aG9kcyBhbmQgTW9kZWxzIGZvciBTeXN0ZW0gRGVzaWduCiAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgKE1FTU9DT0RFKQoKICAgICAg ICAgICAgICAgIFNlcHRlbWJlciAyOSAtIE9jdG9iZXIgMiwgMjAxNywgVmll bm5hLCBBdXN0cmlhCiAgICAgICAgICAgICAgICAgICAgICAgICBodHRwOi8v bWVtb2NvZGUuaXJpc2EuZnIvMjAxNwoKICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICBjby1sb2NhdGVkIHdpdGgKCiAgICAgICAgICAgICAgICAg ICAgICAgICAgICBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2UKICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgb24KICAgICAgICAgICAg ICAgICAgICAgRm9ybWFsIE1ldGhvZHMgaW4gQ29tcHV0ZXItQWlkZWQgRGVz aWduCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAoRk1D QUQpCiAgICAgICAgICAgICAgICAgICAgICAgICAgICBodHRwOi8vd3d3LmZt Y2FkLm9yZy9GTUNBRDE3CgpSRUdJU1RSQVRJT046CiAgICBodHRwOi8vbWVt b2NvZGUuaXJpc2EuZnIvMjAxNy9yZWdpc3RyYXRpb24uaHRtbAogICAgCktF WU5PVEVTCiAgICAqIEFsZXNzYW5kcm8gQWJhdGUsIFVuaXZlcnNpdHkgb2Yg T3hmb3JkOgogICAgICBGb3JtYWwgVmVyaWZpY2F0aW9uIGFuZCBDb250cm9s IFN5bnRoZXN5cyBvZiBDb21wbGV4IER5bmFtaWMgU3lzdGVtczogTW9kZWwt QmFzZWQgYW5kIERhdGEtRHJpdmVuIE1ldGhvZHMKICAgICogRnJhbnotSm9z ZWYgR3Jvc2NoLCBSb2JlcnQgQm9zY2ggR21iSDoKICAgICAgRWxldmF0ZSBl bWJlZGRlZCByZWFsLXRpbWUgcHJvZ3JhbW1pbmcgd2l0aCBhIHN5bmNocm9u b3VzIGxhbmd1YWdlLgogICAgKiBUaG9tYXMgSGVuemluZ2VyLCBJU1QgQXVz dHJpYTogCiAgICAgIFRoZSBRdWVzdCBmb3IgQXZlcmFnZSBSZXNwb25zZSBU aW1lCgpUVVRPUklBTFMgKHNoYXJlZCB3aXRoIEZNQ0FEKQogICogSmFkZSBB bGdsYXZlLCBVbml2ZXJzaXR5IENvbGxlZ2UgTG9uZG9uIC8gTWljcm9zb2Z0 IFJlc2VhcmNoOgogICAgQ29uc2lzdGVuY3kgcHJvcGVydGllcyBvZiBwYXJh bGxlbC9kaXN0cmlidXRlZCBwcm9ncmFtcyBpbiBjYXQKICAqIENhcyBDcmVt ZXJzLCBPeGZvcmQgVW5pdmVyc2l0eToKICAgIFN5bWJvbGljIFNlY3VyaXR5 IEFuYWx5c2lzIHVzaW5nIHRoZSBUYW1hcmluIFByb3ZlcgogICogU2hpbidp Y2hpcm8gTWF0c3VvIChNSVQgTWVkaWEgTGFiL0NFTExPUyBDb25zb3J0aXVt L0JTYWZlLm5ldHdvcmspOgogICAgSG93IEZvcm1hbCBNZXRob2RzIGFuZCBB bmFseXNpcyBIZWxwcyBTZWN1cml0eSBvZiBFbnRpcmUgQmxvY2tjaGFpbi1i YXNlZCBTeXN0ZW1zCgoKQUNDRVBURUQgUEFQRVJTCiAgKiBBbnR0aSBKw6TD pHNrZWzDpGluZW4sIEhhbm51LU1hdHRpIErDpHJ2aW5lbiBhbmQgTWlra28g VGl1c2FuZW4uIAogICAgQ29uY3VycmVudCBFeGVjdXRpb24gU3lzdGVtIGZv ciBBY3Rpb24gTGFuZ3VhZ2VzCiAgKiBLZW5uZXRoIFJvZSBhbmQgU2NvdHQg U21pdGguIAogICAgVXNpbmcgdGhlIENvcSB0aGVvcmVtIHByb3ZlciB0byB2 ZXJpZnkgY29tcGxleCBkYXRhIHN0cnVjdHVyZSBpbnZhcmlhbnRzCiAgKiBB c3NhZiBNYXJyb24uICAKICAgIEEgUmVhY3RpdmUgU3BlY2lmaWNhdGlvbiBG b3JtYWxpc20gZm9yIEVuaGFuY2luZyBTeXN0ZW0gRGV2ZWxvcG1lbnQsIAog ICAgQW5hbHlzaXMgYW5kIEFkYXB0aXZpdHkKICAqIEd1aWxsYXVtZSBQbGFz c2FuLCBLYXRlbGwgTW9yaW4tQWxsb3J5IGFuZCBEb21pbmlxdWUgQm9ycmlv bmUuICAKICAgIEV4dHJhY3Rpb24gb2YgTWlzc2luZyBGb3JtYWwgQXNzdW1w dGlvbnMgaW4gVW5kZXItQ29uc3RyYWluZWQgRGVzaWducwogICogSml3ZWkg TGksIFBpZXJsdWlnaSBOdXp6bywgQWxiZXJ0byBTYW5naW92YW5uaS1WaW5j ZW50ZWxsaSwgWXVnZW5nIFhpIGFuZCAKICAgIERld2VpIExpLiAgCiAgICBT dG9jaGFzdGljIENvbnRyYWN0cyBmb3IgQ3liZXItUGh5c2ljYWwgU3lzdGVt IERlc2lnbiBVbmRlciBQcm9iYWJpbGlzdGljIAogICAgUmVxdWlyZW1lbnRz CiAgKiBUaG9tYXMgUmV5bm9sZHMsIEFkYW0gUHJvY3RlciwgV2lsbGlhbSBI YXJyaXNvbiBhbmQgR2VyYXJkIEFsbHdlaW4uICAKICAgIEEgQ29yZSBDYWxj dWx1cyBmb3IgU2VjdXJlIEhhcmR3YXJlOiBJdHMgRm9ybWFsIFNlbWFudGlj cyBhbmQgUHJvb2YgU3lzdGVtCiAgKiBIYW1tb25kIFBlYXJjZSwgTWF0dGhl dyBLdW8sIE5hdGhhbiBBbGxlbiwgUGFydGhhIFJvb3AgYW5kIEF2aW5hc2gg TWFsaWsuICAKICAgIFNpbXVsYXRpb24gb2YgQ3liZXItcGh5c2ljYWwgc3lz dGVtcyB1c2luZyBJRUM2MTQ5OQogICogU3RlcGhlbiBBLiBFZHdhcmRzLCBS aWNoYXJkIFRvd25zZW5kIGFuZCBNYXJ0aGEgQS4gS2ltLiAgCiAgICBDb21w b3NpdGlvbmFsIERhdGFmbG93IENpcmN1aXRzCiAgKiBBcnVuIENoYW5kcmFz ZWtoYXJhbiwgRGFuaWVsIEdyb3NzZSBhbmQgUm9sZiBEcmVjaHNsZXIuICAK ICAgIFlpc2UgLSBBIG5vdmVsIEZyYW1ld29yayBmb3IgQm9vbGVhbiBOZXR3 b3JrcyB1c2luZyBZLUludmVydGVyIEdyYXBocwogICogRXppbyBCYXJ0b2Nj aSwgTHVjYSBCb3J0b2x1c3NpLCBNaWNoZWxlIExvcmV0aSBhbmQgTGF1cmEg TmVuemkuICAKICAgIE1vbml0b3JpbmcgTW9iaWxlIGFuZCBTcGF0aWFsbHkg RGlzdHJpYnV0ZWQgQ3liZXItUGh5c2ljYWwgU3lzdGVtcwogICogSGF2ZW4g U2tpbm5lciwgUmFmYWVsIFBvc3NpZ25vbG8gYW5kIEpvc2UgUmVuYXUuIExp YW06ICAKICAgIEFuIEVsYXN0aWMgUHJvZ3JhbW1pbmcgTW9kZWwKICAqIFN1 ZGlwdGEgQ2hhdHRvcGFkaHlheSwgTW9yaXR6IEJlY2ssIEFobWVkIFJlemlu ZSBhbmQgQW5kcmVhcyBaZWxsZXIuICAKICAgIFF1YW50aWZ5aW5nIHRoZSBJ bmZvcm1hdGlvbiBMZWFrIGluIENhY2hlIEF0dGFja3MgdmlhIFN5bWJvbGlj IEV4ZWN1dGlvbgogICogSHNpbi1IdW5nIExpbiBhbmQgQm93LVlhdyBXYW5n LiAgCiAgICBSZWxlYXNpbmcgVkRNIFByb29mIE9ibGlnYXRpb25zIHdpdGgg U01UIFNvbHZlcnMKICAqIEpha29iIE11bmQsIE1heGltaWxpYW4gSnVua2Vy LCBTYWZhIEJvdWdvdWZmYSwgU3VoeXVuIENoYSAKICAgIGFuZCBCaXJnaXQg Vm9nZWwtSGV1c2VyLiAgCiAgICBNb2RlbC1CYXNlZCBBdmFpbGFiaWxpdHkg QW5hbHlzaXMgZm9yIEF1dG9tYXRlZCBQcm9kdWN0aW9uIFN5c3RlbXM6IAog ICAgQSBDYXNlIFN0dWR5CiAgKiBKZWFuLVBhdWwgQm9kZXZlaXgsIE1hbW91 biBGaWxhbGktQW1pbmUgYW5kIEthbiBTaHVhbmdsb25nLiAgCiAgICBBIFJl ZmluZW1lbnQtYmFzZWQgY29tcGlsZXIgZGV2ZWxvcG1lbnQgZm9yIHN5bmNo cm9ub3VzIGxhbmd1YWdlcwogICogQW5kcmVhcyBGZWxsbmVyLCBXaWxsaWJh bGQgS3Jlbm4sIFRob3JzdGVuIFRhcnJhY2gsIEdlb3JnIFdlaXNzZW5iYWNo ZXIgYW5kIAogICAgUnVwZXJ0IFNjaGxpY2suICAKICAgIE1vZGVsLWJhc2Vk LCBtdXRhdGlvbi1kcml2ZW4gdGVzdCBjYXNlIGdlbmVyYXRpb24gdmlhIGhl dXJpc3RpYy1ndWlkZWQgCiAgICBicmFuY2hpbmcgc2VhcmNoCiAgKiBTdGVm YW4gUmVzbWVyaXRhLCBBbmRyZWFzIE5hZGVybGluZ2VyIGFuZCBTdGVmYW4g THVrZXNjaC4gIAogICAgRWZmaWNpZW50IFJlYWxpemF0aW9uIG9mIExvZ2lj YWwgRXhlY3V0aW9uIFRpbWVzIGluIExlZ2FjeSBFbWJlZGRlZCBTb2Z0d2Fy ZQogICogTWF4IFNjaGVlcmVyLCBBeGVsIEJ1c2NoIGFuZCBBbm5lIEtvemlv bGVrLiAgCiAgICBBdXRvbWF0aWMgRXZhbHVhdGlvbiBvZiBDb21wbGV4IERl c2lnbiBEZWNpc2lvbnMgaW4gQ29tcG9uZW50LWJhc2VkIFNvZnR3YXJlIAog ICAgQXJjaGl0ZWN0dXJlcwogICogRWxpemFiZXRoIExlb25hcmQsIE15bGEg QXJjaGVyIGFuZCBDb25zdGFuY2UgSGVpdG1leWVyLiAgCiAgICBQcm9wZXJ0 eSBUZW1wbGF0ZXMgZm9yIENoZWNraW5nIFNvdXJjZSBDb2RlIFNlY3VyaXR5 CiAgKiBOaWxzIFByemlnb2RhLCBQaGlsaXBwIE5pZW1hbm4sIEp1ZGl0aCBQ ZXRlcnMsIEZyYW5rIEhpbGtlbiwgUm9iZXJ0IFdpbGxlIAogICAgYW5kIFJv bGYgRHJlY2hzbGVyLiAgCiAgICBNb3JlIHRoYW4gdHJ1ZSBvciBmYWxzZTog TmF0aXZlIFN1cHBvcnQgb2YgSXJyZWd1bGFyIFZhbHVlcyBpbiB0aGUgQXV0 b21hdGljIAogICAgVmFsaWRhdGlvbiAmIFZlcmlmaWNhdGlvbiBvZiBVTUwv T0NMIE1vZGVscwogICogVGltIEdvbnNjaG9yZWssIEZyYW5rIE9ydG1laWVy LCBCZW4gTHVrYXMgUmFiZWxlciBhbmQgRGlyayBTY2hvbWJ1cmcuICAKICAg IE9uIEltcHJvdmluZyBSYXJlIEV2ZW50IFNpbXVsYXRpb24gZm9yIFByb2Jh YmlsaXN0aWMgU2FmZXR5IEFuYWx5c2lzCiAgKiBMdWFuIE5ndXllbiwgSmFt ZXMgS2FwaW5za2ksIFhpYW9xaW5nIEppbiwgSnlvdGlybW95IERlc2htdWto IAogICAgYW5kIFRheWxvciBUIEpvaG5zb24uICAKICAgIEh5cGVycHJvcGVy dGllcyBvZiBSZWFsLVZhbHVlZCBTaWduYWxzCgo=