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 c5ff346549e7 (Postfix) with ESMTP id 83A812E03 for ; Fri, 15 Jul 2022 09:39:03 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:sender:from:date:message-id:to:subject: reply-to:list-id:list-help:list-subscribe: list-unsubscribe:list-post:list-owner:list-archive; bh=MhfuWNZOev3M/MnCJNO3JVk8bVYvm1KZOvmEGBsWCtk=; b=GdxYLYYBdGAkDaIYtnPAx05f57ftBeWsft8XzgP7apN/peT3NzlYYyOx ThF79qszTnyc53KSkjiloHVCOVKvKlUjLRvu00iJcC7rehPEa2ve7sWSz wW7lERlWXbhFQKeVsmNZ3pCDS1qKV9yjpGSqFual+sTKEvW9E+AIrs5Zu Y=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="5.92,273,1650924000"; d="scan'208,217";a="45666723" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jul 2022 11:39:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0A160E02ED; Fri, 15 Jul 2022 11:39:02 +0200 (CEST) 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 DCA35E0260 for ; Fri, 15 Jul 2022 11:38:57 +0200 (CEST) IronPort-SDR: AOXXoX6XxDEpOWB7xZXwcMFlqJ5VYKnUxmZtQjJoRJHnWdds1fnrPPSKlpLwJO8SFa56ILOzBe 8i4WUmvhqQyW25KIDz9htltZXSOVwnyjop3NYL1DttuV6evSEyhNuWPc3Yq0wD4NeKFxHmFOLp 8Yaijb5fU1JLbeNQePWJJheLzp5m6W+qmGXhpjQkl5ktf29e5Mi41tSRkPv+bbCwWScR9f7IAG x/azXIrqopIq3HWphaXpYMS5hWgTu2oQj2jHatmTn3bBlCN54FST0yrJWTXSRcgllxujtXkQnR 9diIQYDuAoxFxc28vpndOlI9 X-IPAS-Result: =?us-ascii?q?A0ATBwDfNNFif6yAVdFahHwzAU1VLwQLRYMCgUyBI41Eg?= =?us-ascii?q?iWLMoEJiXqHaANUCwEDAQ0yEAQBAYUFcwaEFwIdBwEERwECBAEBAQEDAgMBA?= =?us-ascii?q?QEBAQEDAQEFAQEBAgEBAgQEARMBAQ0LCQcICgcODgVgAWEDAUSBT4FPJQsDM?= =?us-ascii?q?Q2CNQyEGgsGHQEbGAYDDQUQNwIkAREBBQEiNYJcgmQBAzADEDcBnF2CH4EEQ?= =?us-ascii?q?osygRUFF4EBggkGgUABgwwKGSgNaoFZAgEGEoEUhjeBLgEBh1iBGYEQgRU2g?= =?us-ascii?q?kSDUAICgTVWgykXgk4EklGIfwQHAwQFAQYOAwMCIgECAUYjAQEKAgYGBAYDA?= =?us-ascii?q?QEFAwkCBAISAgIEBxcKEggUAwIGAh0FAQcFAwMSBgwRAQgEBgEEAgoBAgIFB?= =?us-ascii?q?QwDAREDAgYCBAQEGBQEAgQHBgIJCQcFFgsECgIWARUCBgwIAgICAgIEEgcBD?= =?us-ascii?q?QUCAgQOAgcGAwsCAwUHAwEEBwwEDA4BAwEHAQQFAwsEAQEGAgkDBQgCAQIDC?= =?us-ascii?q?QEBBwQIAQECAgMCAQQCBwECBQMCAwgDAgMDAgEBBA0HAwQCAwEFAQUDAgUBA?= =?us-ascii?q?wMCAQMDAgEEAwYJCgQIAQQEAQEBDwIFBwIGAwMCAgICBQECDAIBAgQDBgYCA?= =?us-ascii?q?xABAgQBCgEFAgMIAgcDAgYECgQCBwICBAEFAw0BAwUCAwEBAwMCBAECAQEDC?= =?us-ascii?q?AEDAgMDAgICAgUCAwICAgkDBAEHAwIBAwEEAwECCgQEAwQCAgcCBwIEBwIBA?= =?us-ascii?q?gYDBQYBAQIBBwEBBAoEAwMDAQMCBQICAwIGEgYGAgQBAwQCCgICCwIHAQECA?= =?us-ascii?q?QEBAQIDAgcFDAEBAQMCAwYCBQICAQEDCAgDAgEEAQUDAQQFAwcCAQUGAgkDA?= =?us-ascii?q?wkDAQEFAQMBCQMDAwIJAwECDAQDCAMDAgMEAgICAgEDAgcFCAQBBAkCAgIBA?= =?us-ascii?q?gIGAgEDGgECAwUCAgkLAQQCAgMBAwEBAggECQQCAwQCAQEDAgECAgEFAg4GA?= =?us-ascii?q?QEBAQIDAwECAwEGBwIIAjMRAQMDAwICBQICAQIDAgIMAQEEAgECAQIGAQMBA?= =?us-ascii?q?gIDAQMBAgIDAgYJAgQBBQMDAgIDAQEFDwUCBAIBAgYFAgEBAQQBAwQEBgICA?= =?us-ascii?q?QMDAg4CBAEEAQIBASMDBAIDAQMXAQIBAgMDAwQGBwUCAQITAQIBAQEFAQIBA?= =?us-ascii?q?QQCBAQHCgMCAgQDAwUBAQIDAgEBAQcMAgICEwITAwEGAQ4FFAMCBAICAQICC?= =?us-ascii?q?gMBAgIBAwIJAgECAQUgAwEBDyQBAQICAgIDBAcCAQQGAw0CAgEBAQUGDQMCA?= =?us-ascii?q?wgNAgcDAgEDBQMCAgQBAgQMCQECAgECBAUFAwIBCAQFDQUJCwEBAgEDBwQDE?= =?us-ascii?q?QIFAwUFAwMCAQoFAgMBAgEBAwQBAwQGAQECAwICAQYCAgEBAwMEAwECBgICB?= =?us-ascii?q?wIDAgEEAgMDAQEBBAICAgICAwMIAwIBCAcFAQYBAgEEAwICAQIHAQQBCQIBA?= =?us-ascii?q?wMFAwQBCgMPAwUDAQMDAhUKBQEFCAYJAgQFAgUDAgQCAwMCAggDAgQDAgsDA?= =?us-ascii?q?gYDBAIHBA8HAgMCAgUCAgICAgUEAwECAgICAgIFAgQCAQUBAgICAQICAgQBA?= =?us-ascii?q?gIHBAIDAQMEDgMDBAICBwECAgEGAQIHAwECAQQDAQEEAgIEAQICBQICAQQBA?= =?us-ascii?q?wECBgIEAwoCAgMCAgIGCAMDDAkCAwUCBgEBAgcEAgILAQYCBwICAQIDEQEDA?= =?us-ascii?q?gEEBQUDAwMJAgIDAgQCAgoBAQEDAgIBBQUCBAcNAgICAgQCAgIBAgMCAgEBA?= =?us-ascii?q?gIEBAkSAQECAwYDBAYDBQMCChgBBgICAQECAgIDAwIGAgECCAIEAQQFAgECA?= =?us-ascii?q?gICBAEDBgIDAQECAQICAwMDAgEEAgQDAwEBAgECAgIDAgICBQICARYCAQcGA?= =?us-ascii?q?QICAgICAwICAQICBAYnAQZkkDyKaoJNQFMFSkIMFxkEEy8CF0sDkX8ekDGeQ?= =?us-ascii?q?wcBg1OLIo10hwIxg3ZJi3uYLYcmj1KNM4Rhj3sCE4UVECMSgUSBfTMaI4EBg?= =?us-ascii?q?jdOAQIBAQENAQIBAQMBAgECCQEBAi4mjgCDO4JkiBokMTsCBgsBAQMJjD0CJ?= =?us-ascii?q?geCGQEB?= IronPort-PHdr: A9a23:ecsK+xWdGX06rVRT2dm3npyvEW3V8Kx0XzF92vMcY1JmTK2v8tzYM VDF4r011RmVB96dsqIdwLOJ+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtGiTanfL9/L wi6oQrMusQUnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3Q rJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6 bpgRxj1hicaLD456H/YhdBsjKxVpxKhogZww4/SYIqIMPZzcafQcdYcSGFcXMheSjZBD5uzY IsUD+QPM+VWoZTjqVQSthaxHxWgCfn1xzNUmnP736s32PkhHwHc2wwgGsoDvm7VrNrrKKcdT /q1x7TNwzXEaPNWwTL955LOchs8pvyMXLxwcc7PxUUyDQ/FlkiQppfhPzOUyusNsnSb7up7W OKgjm4osQBxojy1ysgwjYnJg5sYx1bZ/ip23Ig7P8e3SFJnYdG6CptQsTmXOYV5TM8/TW9lp Ck0x6AIt5KlYiUEx5spywLeZvGDd4WF/xLuWumRLDtmgH9pZbKxihKx/EWi1uDxWcm53VVXo ydDj9LCuHcN1xnJ5ciGTPtw5kih2TeT1wDT9+FLOlo4lavcK5Mn37U+lYITvFzdEiPqnEj6l qybe0U+9uS19ejqYa/qqoKeOoNqjAz1L74gldalAesiNwgDR2ib9vq41L3k5UD5Ra9Fjvwyk qXAsJHbK9kXqre3AwNI0Isv9QyzDzih0NQfknkHKExKdAibgIjuPlHCOPH4DfGhjFSwiDpn2 ezKM7n7DpjOLnXPiqrtcah+5kJG1QY+z85T64pRCr4bIfLzXkHxtMbfDh88KwG0wujnCNFj2 o8DQ26PGrKZP7jWsV+J+u0vIvWMZY8OtTbyLvgq/f/ujXsjlVABeqmp2IMbaHajEft+OUWWf WLsgssdEWcNpgcyUfTmiEeeXj5Le3ayQ6U86yknB428CIfDQpmhgLiA3CegAp1bfXtGC1CJE XfwbYqIQfYMaCSIIs9giDMIT7ahS5VynS2p4STzzr4iCuvP5mVMvpvm0J1x5vbPvRA07z19S cqHhTKjVWZxy1sJSiM7xuhcpktlz16Fmfx5jfgCTJpL+vlNUww7KY/0wOlzCtS0UQXEKITaA G26S8mrVGliBuk6xMUDNhoscz3DphXK3i7wRqQQi6TOHps/tKTVw3n2Ic95jXfAzqgoyVc8E YNULWPzoKl5+kDIApLR1V2DnvOre6BGhWjV6W2HzGGPoFBwXwt5UKGDVncaNQPNtdqs3krZV Pe1DKg/dA5IyMqMMKxPP9zniQ8fAu/+MtDfaGOtik+/AB+JwvWHa4+5M34F0nD7D04J2xsW4 W7ANQU6AXK5pHnCCTV1CV/1S0bl8O07uWziC0FtkFvMYEpm2L64vBUSgJRwUts12bQJ8Gcko jRwRhOm2s7OTsCHrExndbldZtU05BFG03jYvkpzJM7oKacqnVMYfwlt2iGmnxxqFoVNl9Qrp 3I23UJzL6yfylZIazKf29j5JLTWLmD4+B3nZbTR3xnS19Of+6FH7/pdyR2rvQ+tTBNk62ht1 9he0meNzprPBQsWF5n2Vwd/9hR3oa3bfjho/5ndhhgOeeG/tj7P3c5sBfNwkE7xOYcCdvreR EmrTJdJYqrmYPYnkFWocB8eaeVb9apuetija+PDwqmgeuBpgDOhi21DpoF7yEOFsSRmGYuql 94Ixe+V2gyfWnLyllCk54r2l4QePHcKA2C7yCPlGJ95aah7fIJNAmCraZ7SpJ02l9v2VnhU+ UT2TVII3JXwPwKPZVj81gxMxGwYpHWmnW2zyDk+wFRL5uKPmSfJxerlbh8OPGVGEXJjgVnbK o+xl9kGXUKsYmDFjTOd7F3hj+heraV7dSzIRFtQOjLxJCdkW7exsbyLZ4hO7okpuGNZSrb0b VefQ7/76xwUtkGrV2pQwGpiMSm3sJH4lB1mmUqSKX9yqDzSfsQ4yRrE5dPaTOJcxXJcHHg+2 WSRXwLseYD2p52djPKh+qimWnikV4FPfCWj1o6GuCahpCVrDRC5g/Gvi4jiGAk+3zX80ooPN 22ApxL9b4/3kqWiZLg/Lw84WRmlsZo8Q94kwe5SzNkK1HMXh4uY5y8CmGb3a5BA3L7mKWAKT ngNysLU5w7s3AtiKGiIzsT3TCb4oIMpat+kb2cRwi944dpNDfLe7bJAx3IzukeyqQPaYORst jgYwPoqrnUdhqta3WhlhjXYGb0UEURCaGbtmRDStpamsa9TZW2ubamY2093nNTnB7aH6FI5O j6xatIpGil+6d96OVTH3Sjo643qT9LXaMoaqhyelxqTx/gQMp86keAGwDZ2IW+o92Nw0PY11 FY9uPPy9JjCMWhm+7i1RwJVJiGgLd1G4Snj1O5fhprEhN3pR8Q5XG9XA92wCqj0WDMK6aa5a 0DUS2Z68ynDX+KYRF76ig8urmqTQc71cSjPfj9Bi40lHkHVJVQD0l5KGm9mz9hpTkbyg5a5O EZhumJOvBih9l0Vm7gub16mAgK97E+pcmtmF8TZdUALqFkEvwCMb4Sf9r4hRnkIuMT+80rdb DTcPV0ADHlVCBXbXBa6b+XovZ+YtLHGY4j2Z/rWPefU8b0YB6rOnMj/lNMhpmnEN93TbCM7U btmigwaDCo/Q4OAyn0OU3BFzXuTKZTA9VHnoGsv6ZnulZajEBTm4Y/FY1dLGfNo/R3+waKKN urKwT18NS4dzJQHg3nB1LkY2lcWzSBobTikV7oa52bLS+rLl6lbAgR+CWs7PdZU7686wghGO NLKwtLz2Llii/cpClBDHVX/k8CtbMYOLimzLlTCTEqMMb2HI3XMzaSVKeukTqZMiexPqxCqk TOSEkumLyva0jewCErpPuZLgyWWehdZvcD1cxpgD3TiUMOzahC/N4wS73V+yrk1i3XWcG8EZ GIkIgUd8/vJt3Me26olSAkjpjJ/IOKJmjiU9bzdI5cS675wBzhs0vhd6zI8wqdU6ydNQLp0n jHTp5hguQLD8KHHxzx5XR5JsjsOipiMuBAoOKvdrMAGQWvO+BMG7HmBIxsPrtphTNbovuoDr 7qH3LK2MzpE/9/OqIEEANPILcucLHc7GR/gGTqRHRRcCDDyajuZiEtan/WfsHaSq9Jpz/qk0 IpLQbhdWlsvE/ocAUkwB90OLqB8WTY8mKKahsoFjZJfhBzYRcEfr4+eE/zLXq+pJzGegr1JI RAPxOGgRWz2HoL+0k1mLFJ9mdaSc6I/dd9IqyxlKAQzpRcUmEU= IronPort-Data: A9a23:XqGRr6DEGAKMzhVW/+zlw5YqxClBgxIJ4kV8jS/XYbTApD1z12ECz GEYXjqHMvvYZWXze41zPd+/oxsOupLVm9M1OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6j8lkf5KkYAL+EnkZqTRMFWFw03qPp8Zj2tQy2YfgXlvU0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYozaChPBcz epvj6SPUhwDHZTHmME+QRYNRkmSPYUekFPGCX22sMjW3lKfNnW1nK8oA0YxMokVvO1wBAmi9 9RCcGFLPk3F3rjmhuvkEIGAhex7RCXvFIIRvis5iynEB/InSpHfUo3F4NZZ2HE7gcUm8fP2O 5dHN2QxPEmojxtnZWcPKYB5tv6RmDrTeDFUsGKPhI0xyj2GpOB2+OG1bIC9lsaxbc5cm0Ldo mPd40ziExQCPZqezyCE+zSinIfycTjTXYsTEPip6acvjgTMnCocDxoZUVb9qv684qKjZz5BA 08f4QoDqJcQznSUVcLXfCSzoFunrBFJDrK8DNYGwA2Kz6PV5SOQCW4FUiNNZbQaWCkeFWxCO rihz4OBONB/jFGGYSnCqerM/FteLQBQfDBSP3ZVJecQy4C7+Nlbs/7Zcjp0/EeIYjDdHDjxx 3Wbs3F7iexM14gE0KK0+V2BiDWpznQocuLXzlWLNo5GxlkhDGJAW2BOwQaAhRqnBNjCJmRtR FBex6CjABkmVPlhbhClTuQXB62O7P2YKjDailMHN8B/qmv9oSX/Jt8MuW8WyKJV3iAsKW+Bj Kj76VM52XOvFCbCgVJfON/uV557lcAM6/y8Dq2LP7KinaSdhCfepH00DaJh92/ql0conMkC1 WSzIK6R4YIhIf0/llKeHr9DuZdyn3xW7T6NGPjTkkv/uZLDNSb9YepUazOmM7FphIva+lm92 4gEbKOilU4PONASlwGNrub/23hRfSZlbX03wuQLHtO+zv1OQTh7VKWKm+19K+SIXc19z4/1w 510YWcAoHKXuJENAV/ihqlLZOy9UJBhg2g8OCBwb1+k12JyM4mq5aYbMZAweOB/puBkyPd1S dgDetmBUqwfEGSZp2xFYMmvtpFmeTSqmRmKYHiobT05SJhqGF7E99riSQ3w+XRcFSGwr8Y// +at21qDE5oOTghvFujMb/erww/jtHQRgrMgUE7BI90Vc0LpqdA4Jyv0h/4xAscNNRSTnmvAh 1jKWU8V/LCfrZU0/d/FgbG/g72oS+YuTFBHG2T77KqtMXaI82emx7hGWrnacD3YUlTy5/z+N +hYyvfLMMoHkkxPhIxyHus51qk5/dbu++ZXwwk4TnXGa1OnVuFpLnWch5Uds6RMwvpIplLzV BvQoJ9VPrKGPM6jG1kUfVJ3YuOG3PASuz/T8fVlfxmgtXEvpOKKARdIIh2BqC1BN78pYokr9 uEs5ZwN4Aulhxt2b9uL0nJO+2KXIiBSWqkrrMtGUoriiw5u204bJJKFVXWw75aIZNFBdEItJ 2bM1qbFgr1dwGvEcmYyRSeRh7sD3cxWtUAY1kIGKnSIhsHB2q090ipX/GllVQ9S1BhGj79+N 2UD25eZ/klSE+qERfSvXlxA3ylEDRydv13ukh4HzTKDCUavUWPJISs2PuPlEIX1NY5DVmAzw V1a4D+NvfXWkAXZ0S47WEojoPvmJTC03hOXg9ipRqxpALFjCQcIQcaSia4gpB7uAMd3j0rCz QWvECCcdoWjXRMtT2YH50V2GFjepN1o5ICPfB25wJ40IA== IronPort-HdrOrdr: A9a23:3cTviKMfab/Oe8BcTuCjsMiBIKoaSvp037BL7TELdfUxSKalfq +V7ZAmPHPP+VMssRIb6LO90cu7MBXhHPdOiOF7XNeftSbdyQmVxepZnPLfKlPbalXDHy1muZ uIsZISNPTASXZ9i8j+7E2DH9EszMLC2Ly0hI7lvhBQpM1RBJ2IJj0WNjqm X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.92,273,1650924000"; d="scan'208,217";a="45666685" X-MGA-submission: =?us-ascii?q?MDFAziSNvky61fqJYRgH/AcCUMLGw7MgWqZ7Hm?= =?us-ascii?q?GPD636wKeHVga8V9gFjpW8qrrA0G7HCGBxGGzNPd2qyY3hnxIphNBiPy?= =?us-ascii?q?tSEH6E6L+/xR9Wv0LfTY/AowRvU5tgK9857ZIzJpCRVf9XnoErw9VU9e?= =?us-ascii?q?n74b88eqXyZBguaHkP/+k2Fg=3D=3D?= Received: from mail-yw1-f172.google.com ([209.85.128.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Jul 2022 11:38:57 +0200 Received: by mail-yw1-f172.google.com with SMTP id 00721157ae682-31df2545d87so19125547b3.10 for ; Fri, 15 Jul 2022 02:38:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:sender:from:date:message-id:subject:to; bh=MhfuWNZOev3M/MnCJNO3JVk8bVYvm1KZOvmEGBsWCtk=; b=Ep8akRJevo0tysEUWv71sqMcyaDGxRnMCpUBYiRBbN25dtpcgPf5ZQ0y/3if8uh6Q1 wLATFrrZeHW+bqAM8CPKxMEzqNnsXY8n6BDPZCgukcwzLXQYFo43TR7iotfwhjNmIbj7 t2CHDCzq5HCQ1fzy41BngwCV5iQuNp58vlEP4z70i1yylld9QGPYip3D/29KmM4IdBVf +kwuFxvE01cjf0KiiiZlheUhrfIYoRnDLMWdXWKug1fB+azsGi97shS71aVCEchIHuht RRPCoSJu9+q5RSpnSD1+qpAErqkcXox7Fpd3LiHwkk/lSl12cpjjgDHb6CzvCRFE6+Lq ZHSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=MhfuWNZOev3M/MnCJNO3JVk8bVYvm1KZOvmEGBsWCtk=; b=jiwYHO1E22IjMFMZShToytU5uVK60DS7VIdXzeXAYZpfshHWCFh8bu6q3etVByFnAn CBzXgC0I/eLUSqG18YOrJ4Oq+/KlIHjlcf59XLtZvZSK2cSzQ+T4LQVFnPJtGzofy3H5 9s1FvquT9fumOvCd+VREBM4mgoY7Ln3fnZAgaMXbog4vYF8Uy5LuRqAWr+gjieSuFLxa o+0h0ZYdOT2wz4A6x+LPki1FYCVQClt6jCytVOfQ5Sl0FhozKT1Xn6KWwA+iyywn60EN 5j1hSQKJJ7q1hlOw5c9M/gfdr/fyQOwweXE/469mKHFHl6yJ45jWUuVMRLteoHWCuRVO 83EQ== X-Gm-Message-State: AJIora++Lwi4J3poY/GiiBQDQ4WDhTV5fRb2Wv5X9Fk7L98Fd+KXC7zO rWRlAYJdgXGmOssRAbEzhQNCAuZ8AUAgrAsuvV+fV3Wd X-Google-Smtp-Source: AGRyM1sJaJUJpxJWQ2yNw9XOjv+ZV32sTeH0qH4BzhkJxNwkrDzGHgfDuvxIEncuggy5WiJ9VuEv9tiNCoVxw27JRkA= X-Received: by 2002:a81:73c5:0:b0:31d:cbca:6450 with SMTP id o188-20020a8173c5000000b0031dcbca6450mr10678323ywc.43.1657877935918; Fri, 15 Jul 2022 02:38:55 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Fri, 15 Jul 2022 02:38:55 -0700 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Fri, 15 Jul 2022 02:38:54 -0700 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Pieter Koopman Date: Fri, 15 Jul 2022 02:38:55 -0700 X-Google-Sender-Auth: mEhkkven3xuM5QkIMa7VOSA7kTg Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="00000000000073942f05e3d4c945" Subject: [Caml-list] 2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages Reply-To: Pieter Koopman X-Loop: caml-list@inria.fr X-Sequence: 18821 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --00000000000073942f05e3d4c945 Content-Type: text/plain; charset="UTF-8" *CALL FOR PAPERS: * The 34th Symposium on Implementation and Application of Functional Languages (IFL 2022) *Submission and registration are open.* See https://ifl22.github.io/. Copenhagen, August 31st-September 2nd, 2022 *Important dates * Draft paper submission: August 7th, 2022 Draft paper notification: August 9th, 2022 Early registration deadline: August 12th, 2022 Late registration deadline: September 2nd, 2022 Symposium: August 31st-September 2nd, 2022 (3 days) *Scope * The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2022 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: * language concepts * type systems, type checking, type inferencing * compilation techniques * staged compilation * run-time function specialization * run-time code generation * partial evaluation * abstract interpretation * metaprogramming * generic programming * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * embedded systems * web applications * embedded domain specific languages * security * novel memory management techniques * run-time profiling performance measurements * debugging and tracing * virtual/abstract machine architectures * validation, verification of functional programs * tools and programming techniques * industrial applications *Submissions and peer-review * Following IFL tradition, IFL 2022 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. Notice that it is a requirement that accepted draft papers are presented physically at the symposium. After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing. Contributions submitted for the draft paper deadline must be between two and twelve pages long. For submission details, please consult the IFL 2022 website at https://ifl22.github.io/. *Where * IFL 2022 will be held physically in Copenhagen, Denmark, arranged by DIKU at the University of Copenhagen. See the IFL 2022 website at https://ifl22.github.io/ for more information. [image: beacon] --00000000000073942f05e3d4c945 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 
CA=
LL FOR PAPERS:

The 34th Symposium on Implementation and Application of Functional Language=
s (IFL 2022)
S=
ubmission and registration are open. See https://ifl22.github.io/.


Copenhagen, August 31st-September 2nd, 2022
Important dates

Draft paper =
submission:      August 7th, 2022
Draft paper notification:    August 9th, 2022
Early registration deadline: August 12th, 2022
Late registration deadline:  September 2nd, 2022
Symposium:                   August 31st-September 2nd, 2022 (3 days)

Scope

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2022 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.

Topics of interest to IFL include, but are not limited to:

* language concepts
* type systems, type checking, type inferencing
* compilation techniques
* staged compilation
* run-time function specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* generic programming
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* embedded systems
* web applications
* embedded domain specific languages
* security
* novel memory management techniques
* run-time profiling performance measurements
* debugging and tracing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* industrial applications

Submissions and peer-review

Following IFL tradition, IFL 2022 will use a post-symposium review
process to produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers
will be screened by the program chair to make sure that they are
within the scope of IFL. The draft papers will be made available to
all participants at the symposium. Each draft paper is presented by
one of the authors at the symposium. Notice that it is a requirement
that accepted draft papers are presented physically at the symposium.

After the symposium, a formal review process will take place,
conducted by the program committee.  Reviewing is single blind. There
will be at least 3 reviews per paper. The reviewers have 6 weeks to
write their reviews. For the camera-ready version the authors can make
minor revisions which are accepted without further reviewing.

Contributions submitted for the draft paper deadline must be between
two and twelve pages long. For submission details, please consult the
IFL 2022 website at https://ifl22.gith=
ub.io/.

Where

IFL 2022 will be held physically in Copenhagen, Denmark, arranged by
DIKU at the University of Copenhagen.

See the IFL 2022 website at https://if=
l22.github.io/ for more
information.
3D"beacon" --00000000000073942f05e3d4c945--