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 AFD955D5 for ; Mon, 13 Jun 2022 20:25:25 +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=8PI/oAzDbqXPAHBohJUchzoiDKhV5tRdUznBqTWrRYk=; b=qLz4SUX4WYv25mBeqFaxOE4nPHsURfJymGEula+YjwVRKZNUJo0YoIc7 1liT6hwjj6H4OEqIN8RI0JSyBP1lfMwpr5f0aQo/T9qiUxlnHzdR9kraX CBx3CWjNpf6l03UzvFYaLnWE9LO5i8WJEXaewvoDNmplrIrz6m5/NEmhx 8=; 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.91,297,1647298800"; d="scan'208,217";a="40832058" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Jun 2022 22:25:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 784E8E0038; Mon, 13 Jun 2022 22:25:24 +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 ESMTP id BA503E010B for ; Mon, 13 Jun 2022 22:25:18 +0200 (CEST) IronPort-SDR: Cg9C4cDMu6VOQ85dv39U8DAqYbmzUbEZOk/lwzsFpE8i22Q1OJEIN0PpujMrGQrMfItew/MGeK hvcNBUMGzlRM9xxhiz2kKbQleVRtujWRqQDFBSEaYhKH2ps3sWO9wQR0fIvTa5Qb+lZzgUDD5w YYXktL5ZdxZAWr6y8OuFWcejYEtkU774tj9JQ6oRZSJz+guIVfT0n2MZjvx4AxPu0/1AfuD/BZ 7PMLTPQB/f/JYN9RJzrufT1BZbyN7Cm9h/vwDHrbT+6+HL+LgivrKlTd5pDDXOgIlf7HzVFTE/ ILkgdlUXUdtOiL+nmGKHYGQR X-IPAS-Result: =?us-ascii?q?A0CPIADsm6dif6rbVdFaHgEBCxIMgzt4MwFNVS8EC0SDA?= =?us-ascii?q?oFMgSONRYIliyqBCYl5h2QDVAsBAwENNA4EAQGFAnMGAoROAh0HAQQ0EwECB?= =?us-ascii?q?AEBAQEDAgMBAQEBAQEDAQEFAQEBAgEBAgQEARMBAQ0LCQcICgcODgVgAWEDA?= =?us-ascii?q?USBT4FPJQsDMQ2CNQyEGgsGHQEbGAYDDQUDBgcwBwIkAREBBQEiNYJcgmQBA?= =?us-ascii?q?zADDzcBkUyMfYIfgQRCizKBFQUXgQGCCQaBQAGDCgoZKA1qgVkCAQYSgRQXh?= =?us-ascii?q?h2BJwEBh1CBGYEQgRU2gkSDUAICgTVWgykXgk4Ek1uEXwQHAwQFAQYOAwMCI?= =?us-ascii?q?gECAUYjAgIBAQsCBgYEBgMBAQYDCQIEAhICAgQHGAoSCBQDAgYCIAUBBwUBB?= =?us-ascii?q?AMSBgwRAQgGBgEEAgoBAgIFBQwDAREBBAIGAgQEBBgUBAIEBwYCCQkHBRYLB?= =?us-ascii?q?AoCFgEcAgYMCAICAgICBBUHAQ0FAgIEDwIHBgMLAgMFBwMDBAcMBgwOAQMBB?= =?us-ascii?q?wEEBQMNBAEBBgILAwUKAgECAwwBAQcECAEBAgIKAgEEAgcBAgUDAgMIAwIDA?= =?us-ascii?q?wICAQEEEQIHAwQCAwEFAQEFAwIFAQMDAgEDAwMCAQQDBgkKBAgBBAQBAQERA?= =?us-ascii?q?gcHAgYDAwICAgIFAQINAQIBAgQDCAYCAxQBAgQBCgEFAgMJAgcDAQECBwUKA?= =?us-ascii?q?gcFAgcCAgQBBQMNAQMFAgMBAQMDAgQBAgEDAwkBAwIDAwICAgIFAgMCAgIJA?= =?us-ascii?q?wQBBwMCAQEEBQEEAwECCgQEAwQCBAIHAgcCBAcCAQQGAwcGAQMCAQcBAQQKB?= =?us-ascii?q?AMDAwEBBwECBQICAwIGEgYHAgQBAwQECgICDAIHAQECAQEBAQIDAgcFDAEBA?= =?us-ascii?q?QMCAwYCBQICAQEDCAgDAgEEAQUDAQQFAwcCAQUJAgkDAwkDAQEFAQMBCQMDA?= =?us-ascii?q?wIJAwECAgILBAMIAwMCAwQCAgICAQMCBwUIBAEECgICAgECAgYCAQMaAQIDB?= =?us-ascii?q?QICCQwBBAICAwEDAQECCAQJBAIDBAIBAQMCAQICAQUCAw0GAQEBAQIDAwECA?= =?us-ascii?q?wEBBgcCCAIzEwEDAwIBAgICBQICAQIDAgINAQEBBAIBAgECBgEDAQICAwEDA?= =?us-ascii?q?QICBgIMAwgCBwEFAwMCAgMBAQUPBQIBBAIBAgYFAgEBAQQBAwQECAICAQMDA?= =?us-ascii?q?g4CBAEEAQIBASMDBAIDAQMXAQIBAgMDAwQGBwYCAQITAQIBAQEFAQIBAQQCB?= =?us-ascii?q?AQHCgMCAgIGAwMFAQECAwIBAQEHDAICAhMCBAoJAwEGAQoGBhUDAgQCAgECA?= =?us-ascii?q?gIKAwECAgEDAgkCAQIBBSQDAQEPJAEBAgIBAgIDBAcCAQQGAw0CAgEBAQUGD?= =?us-ascii?q?QMCAwgMAgkDAgIDBQMCAgQBAgQMCgECAgECAgQFBQMCAQgGBQ0FCQsBAgIBA?= =?us-ascii?q?wgBBAMRAgYDBQUDAwIBCgUCAwECAQEDAQQBAwQGAQECAwICAQgCAgEBAwMEA?= =?us-ascii?q?wECBgICCAIDAgEEAgMDAQEBBAICAgICBAMIAwIBCAcFAQYBAgEEAwICAQIHA?= =?us-ascii?q?QQBCQIBAwMFAwQBCgMPAwUDAQMDAhUKBAQBBQgEBAkCBAUCBQMCBAIDAwICC?= =?us-ascii?q?AUCBAMCDgMCAgYDBAIIBBAHAgIFAgICBQICAgICBQYnAQZkkF2HAoJyUwVKT?= =?us-ascii?q?hcZBBMvAhdLA5IekCWeOAcBg1CLHpR0MahbAYcij0mNLYRaj3MCE4UUECMSg?= =?us-ascii?q?UOBfjMaI4EBgjdOAQIBAQENAQIBAQMBAgECCQEBAi4mjUk3gzuCZIgaJDE7A?= =?us-ascii?q?gYBCgEBAwmMNQImB4IZAQE?= IronPort-PHdr: A9a23:rdNzeRZIqTrs9rc9rfjwF27/LTGk2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gSPBNyEoKsY16L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNbQhEniexba5wI Rm5sAncucYbipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2TxDmlToHNyUh8G7JlsNwkKxVoBWkpxNlwo7UZpyeOP5xc67ZeN8XQ3dKUMRMWCxbGo6zY JAPAeoPM+hbsofzuUcBoACkCgWwHu7i0CNEimP00KA8zu8vERvG3AslH98WqnrUrcv6NLsMX uCv0aLGyDLDb/RO2Tf48ofIdA0qrPaNXbJ+dcrd11QjGxndjlWNsoPlOzKV2fgMs2iH7+ttT u2vi2s9pAFwpjij3Nsjio7Mho8MzF3P6Cp2zpovK9KiVE57fcCrEIFWtyyCOYV4Td4uTW90t Sg117AIt4C3cTYFxpoo2xLSaviKfoyV7x/jW+icISl0iXZ4dLy/gxu/8kqtx/HzW8S001tHs yxImcTCuHAK0hzc8MmHSv1l80eu2DaPywDT6vxfLkwulKrbLJgsyaMzmJoLqUnPADP6lUHsg KKVdkgo4Pak5/njb7n8u5ORNZN4hwfjOao0gMO/G/43Mg0WUmib5+u80Lrj8FX8QLpQj/02l rDVsZDBKsgGv6K5DRJZ34Q/5xqlADem19MYnXYDLF1bYh6Ik4/pO1TWLPD5C/ewnUisnS91y /zaOrDtGJbAI3jZnLv/YLpw71RQxBcxwNxD/55UD6sOIPP3Wk//rtzYCRo5PhS1w+bpDNVxy J4SVXiXAq+EK6zStV6I6f4uI+mQZI4Yozn9K/0/6P7viX81g0MSfa6s3ZcPbnC3BexpI1+Fb nr0ntcBDWAKsxIjQODykl2NTSZTZ2quX6I7/jw0FJipDYLHRoy0hLyB3Ty7HoFNa2BdClGMF G/oeJ+eV/cNbiKSOM5hnSYeWbivUY9ynS2p4STzzr4iCuvP5mVMvpvm0J1x5vbPvRA07z19S cqHhTKjVWZxy1sJSiM7xuhcpktlz16Fmfx5jfgCTJpL+vlNUww7KY/0wOlzCtS0UQXEKITaA G26S8mrVGliBuk6xMUDNhoscz3DphXK3i7wRqQQi6TOHps/tKTVw3n2Ic95jXfAzqgoyVc8E YNULWPzoKl5+kDIApLR1V2DnvOre6BGhWjV6W2HzGGPoFBwXwt5UKGDVncaNQPNtdqs3krZV Pe1DKg/dA5IyMqMMKxPP9zniQ8fAu/+MtDfaGOtik+/AB+JwvWHa4+5M34F0nD7D04J2xsW4 W7ANQU6AXK5pHnCCTV1CV/1S0bl8O07uXniC0FtkFnMYEpm2L64vBUSgJRwUts12bQJ8Gcko jRwRhOm2s7OTsCHrExndbldZtU05BFG03jYvkpzJM7oKacqnVMYfwlt2iGmnxxqFoVNl9Qrp 3I23UJzL6yfylZIazKf29j5JLTWLmD4+B3nZbTR3xnS19Of+6FH7/pdyR2rvQ+tTBNk62ht1 9he0meNzprPBQsWF5n2Vwd/9hR3oa3bfjho/5ndhhgOeeG/tj7P3c5sBfNwkE7xOYcCdvndR UmrTJVJYqrmYPYnkFWocB8eaeVb9apuetija+PDwqmgeuBpgDOhi21DpoF7yEOFsSRmGYuql 94Ixe+V2gyfWnLyllCk54r2l4QePHcKA2C7yCPlGJ95aah7fIJNAmCraZ7SpJ02l9v2VnhU+ UT2TVII3JXwPwKPZVj81gxMxGwYpHWmnW2zyDk+wFRL5uKPmSfJxerlbh8OPGVGEXJjgVnbK o+xl9kGXUKsYmDFjTOd7F3hj+heraV7dSzIRFtQOjLxJCdkW7exsbyLZ4hO7okpuGNZSrb0b VefQ7/76xwUtkGrV2pQwGpiMSm3sJH4lB1mmUqSKX9yqDzSfsQ4yRrE5dPaTOJcxXJcHHg+2 WSRXAHteYD2pZ2djPKh+qimWnikV4FPfCWj1o6GuCahpCVrDRC5g/Gvi4jiGAk+3zX80ooPN 22ApxL9b4/3kqWiZLg/Lw84WRmmsps8Q94mwe5SzNkK1HMXh4uY5y8CmGb3a5BA3L7mKWAKT 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 TOSEkumLz7a0jewCEjpPuZLgyWWehdZvcD1cxpgD3TiUMOzahC/N4wS73V+yrk1i3XWcG8EZ GIkIgUd8/vKtHIe26onSAkjpjJ/IOKJmjiU9bzdI5cS675wBzhs0vhd6zI8wqdU6ydNQLp0n jHTp5hguQLD8KHHxzx5XR5JsjsOipiMuBAoOKvdrMAGQWvO+BMG7HmBIxsPrtphTNbovuoDr 7qH3LK2MzpE/9/OqIEEANPILcucLHc7GR/gGTqRHQFcCDDyajmZiEtan/WfsHaSq9Jpz/qk0 IpLQbhdWlsvE/ocAUkwB90OLqB8WTY8mKKahsoFjZJbhBbUTcRe+JvAU6DKaR0OADOQjL0Bd hFRhL2hctxVOYr81EhvLFJ9mdaSc6I/dd9IqyxlKAQzpRcUmEU= IronPort-Data: A9a23:dVbZsaJ6LA6l04xXFE+R65MlxSXFcZb7ZxGr2PjKsXjdYENS02RRm DNMD26PPP6LYzT9ftkkYdvj908Bvp7cm4NlGVQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M68wIFqtQw24LhXVrW4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhnoFJ4 s5g75eKCigvLo7uvf4gUwNZDHQrVUFG0OevzXmXtMWSywjXeSKpzawxVAc5OooX/usxCmZLn RAaAGpVP1bT2qTsmeP9E7Y07iggBJGD0Ic3u39kl2ifFessRZHIQrnbzdBd1TY0wMtJGJ4yY uJFMWo0NUWZM3WjPH9KLJkO3/qt2EXGLT5XuVmaufEb5zfcmVkZPL/FaYKJILRmX/59lU+do ifC/n/lKgoLMcSWjzuD6HOlwOHV9R4XQ6oXHby8s+9g2RidnzNLThIRUlS/rL+yjUvWt89jx 1I8+3sWh7MfrkeRDfb7Tz6ahWS5vgQdRI8FewEl0z2lxq3R6gefI2ELSD9dddAr3PPaoxR6h jdlePu5VVRSXK2ppWG1rejL8GvjUcQBBSpTOn9eFFptD8zL+dlr1nryosBf/LlZZ+AZ9Bn1y jGO6Tk03vAd1JFTkaq8+l/DjnSnoZ2hou8JCuf/DjPNAuBRPtbNi2mUBb7zs6oowGGxEAXpg ZT8s5LChN3i9LnU/MB3fM0DHauy+9GOOyDGjFhkEvEJrmrwpif/INgKv2sneC+F1/ronxe5M Cc/XisBtPdu0IeCMMebnqrqV5hwkvC+fTgbfqmLNYEVCnSOSON31Hg2ORT4M5HFn08rnqUyU ap3gu79ZUv2/Z9PlWLsL89EieFD7nlnmQv7GM6mpzz6juL2TCPEEd8tbQrVBshkvfPsiFuPr 753aZDRoz0BC72WX8Ui2dRMRbz8BSNrW86eRg0+XrLrHzeK70l8V66Nnel4ItINcmY8vr6gw 0xRk3RwkDLX7UAr4y3TApy6QL+wD5t5s1whOikgYQSh13Q5MNSg6a4ec908erx+rL5vyvt9T v8kfcScA6QXGm6XpWhFNZSt/pZ/cBmLhB6VO3X3bTU6ealmTVOb99LheDzp6yRTXDG8stEzo uH72w6CGcgDSg1uAdz4cvWqy1/t73ERlPgjDUTNK9hXPk7r9dEyeSD2i/Y2JeAKKAnClmPKj VbIXU9AqLCU8YEv8dTPiaSVlKuTErNzThhAAm3WzbeqLi2FrGeuxIl3VuzXLz3QUWXD/rr7O bdYwvT6B/0wnFhQtr16Hbs2n7k14MHipuMDwwlpQCfLYlCsBu8yK3WKx5MT5KhEx7scqAHvH 0zWpYEcNrKON8foVlUWIVN9POiE0PgVnBjU7Og0cBqmvn4ppOLfXBUAJQSIhQxcMKBxbNEvz 9AntZNE8Ae4kBcrbouLg3wG7WiKNXBcAawruotAXN3ugwsvj0BIONnSU3Cupp6IbNpIPw8hJ TrN3PjOgLFVx0zjdXsvFCiSgbAM28xW4B0ankUfI1mpm8begqNl1hNm9zlqHB9eyQ9K0r4uN 2VmX6GvyX5iI9u1aAl/s2GQ98VpARSY/gngwQJMmjSGFw+nUWvCKGB7MuGIlKzcH6SwYRADl Ix0Ck68OdopQC019iQ3UE9h7ffkSLSdMyXczdu/EZ3t84YSOFLYb2zHWYbMgxTiCMI1wkbAo IGGOQq2hbLTbUYtnkHwN2VWOXn8hvxJyKyujMyNJJ80IFw= IronPort-HdrOrdr: A9a23:vNerxak6PpLGJ0T+rwMmoaxCPYjpDfIN3DAbv31ZSRFFG/Fw9v re58jzsCWftN9/YgBFpTntAtjkfZq+z+8X3WByB8bFYOCOggLBR+AD0WLM+UyDJ8SUzJ8l6U 4PSdkHNDQyNzRHZATBjTWQIpIPxt+I9aztv+vYwnt3CSl3dqAI1XYfNu9WKCJLrcB9a6YEKA == X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,297,1647298800"; d="scan'208,217";a="40831918" X-MGA-submission: =?us-ascii?q?MDGWQlWauDKTqOvg0PVPnNon3SXHkyYv0A5GW5?= =?us-ascii?q?VUz7OCOAHIc2vDYM9xvAMWQrlUEWrtNBaM4XwoCwBqj+U/ttDjWqLHb4?= =?us-ascii?q?43umRYDT2Bundc86utKhyTSEHzvu2cBnG/0jsdc3qm+CC262aPzJxNsf?= =?us-ascii?q?t/PNJN3Xmu1K/M+uWAI/TepQ=3D=3D?= Received: from mail-yb1-f170.google.com ([209.85.219.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Jun 2022 22:25:17 +0200 Received: by mail-yb1-f170.google.com with SMTP id x38so11725580ybd.9 for ; Mon, 13 Jun 2022 13:25:17 -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=8PI/oAzDbqXPAHBohJUchzoiDKhV5tRdUznBqTWrRYk=; b=CvimSB1DOadHMC1JbTWxnlUciB1/G6awr/5upFayhak785wUEDGk2maCEs7y31gn48 SeyZd93e7Cy3KyHZ69kQLkR0phAQswc2HhxPCc3DyVTx76r8zomQpWocG1buM5r5l2jN x+su9gaSnmGOttYFyP45vC54GuL9EZxRDh6R5ewZtvr/w2/u3GhwClzrNWvLx9v1PIHp CDFGUtTAlmzb2c++GE9MVMJ3O50JT+vvrxK4JkKkQ/IBjga12JJ8+a4JLxivZ5jkTSQ4 ATqgTlNfKD5GQgsuzzWo3SlmgfI2Q9YJwVYwqNccGtjdiP2P0Y1ErkVF8VabR99eop++ +NkQ== 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=8PI/oAzDbqXPAHBohJUchzoiDKhV5tRdUznBqTWrRYk=; b=EzZAVFv3OaeWUPfp5/AGWd+jxLaiLt7llhv8IWKsFIlRlCaMiBTb1liVpOXB00Tiqp POx65u0hmMxySnLTwwg9pRGX/TioKsUP/AkygeBWg5RzePWqybPEcJATqXwi+UaCw17N rtgHk5dmMbDH5WQTk1Xj4HSDbqXcQfMl3ylaQ/cXKalwrB8a081vaXHrgipPV/7LCFjX B3bt2ifNO1098+MNxVwwp+cpYw/8NKcmOG8ECah0ogla+9vfj/9wFWqoWhbv1CUZtHY5 NVTS5/9/2A2h2d4PA/TuH+UALtjYYbs8aBDhvdKj90bT1nIirBZ49U3zpWDw13kIjrEb OQIQ== X-Gm-Message-State: AJIora/CDJVCalEnr8eN2ri5YKilxbVIvLjtiDvmZQ1anTz0KIJWuCXZ YQEIGQGzIxaxC6o+4c8uM3jW/AmCiQnLKfoSp3bPTh6A X-Google-Smtp-Source: AGRyM1vmBT20KKz7TRGpmpK9Xl3N9RZKiPeTkny/H9vP+5x1x0V1NPFpE5rEtoJCVz2jNg/D+2hrdDd/1owtArp8MrQ= X-Received: by 2002:a25:5589:0:b0:664:38bc:9acb with SMTP id j131-20020a255589000000b0066438bc9acbmr1412344ybb.156.1655151916756; Mon, 13 Jun 2022 13:25:16 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 13 Jun 2022 13:25:16 -0700 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 13 Jun 2022 13:25:15 -0700 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Pieter Koopman Date: Mon, 13 Jun 2022 13:25:16 -0700 X-Google-Sender-Auth: lw1WOsOVYbFN5bFXOiH0upcrhEw Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="0000000000000c311105e15a16a8" Subject: [Caml-list] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages Reply-To: Pieter Koopman X-Loop: caml-list@inria.fr X-Sequence: 18790 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: --0000000000000c311105e15a16a8 Content-Type: text/plain; charset="UTF-8" *CALL FOR PAPERS - The 34th Symposium on Implementation and Application of Functional Languages* *Important dates* Draft paper submission: 7th of August 2022 Draft paper notification: 9th of August 2022 Registration deadline: 12th of August 2022 Symposium: 31th of August to 2nd of September *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. 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. *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] --0000000000000c311105e15a16a8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
CALL FOR PAPERS - The 34th Symposium on Implementation = and Application of Functional Languages

Important datesDraft paper submission: =C2=A0 =C2=A07th of August 2022
Draft paper no= tification: =C2=A09th of August 2022
Registration deadline: =C2=A0 =C2= =A012th of August 2022
Symposium: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A031th of August to 2nd of September

Scope
= The goal of the IFL symposia is to bring together researchers actively enga= ged in the implementation and application of functional and=C2=A0function-b= ased programming languages. IFL 2022 will be a venue for researchers to pre= sent and discuss new ideas and concepts, work in
progress, and publicati= on-ripe results related to the implementation and application of functional= languages and function-based=C2=A0programming.

Topics of interest t= o IFL include, but are not limited to:
* language concepts
* type sys= tems, type checking, type inferencing
* compilation techniques
* stag= ed compilation
* run-time function specialization
* run-time code gen= eration
* partial evaluation
* abstract interpretation
* metaprogr= amming
* generic programming
* automatic program generation
* arra= y processing
* concurrent/parallel programming
* concurrent/parallel = program execution
* embedded systems
* web applications
* embedded= domain specific languages
* security
* novel memory management techn= iques
* run-time profiling performance measurements
* debugging and t= racing
* virtual/abstract machine architectures
* validation, verific= ation of functional programs
* tools and programming techniques
* ind= ustrial applications

Submissions and peer-review
Following= IFL tradition, IFL 2022 will use a post-symposium review process to produc= e the formal proceedings.

Before the symposium authors submit draft = papers. These draft papers will be screened by the program chair to make su= re that they are=C2=A0within the scope of IFL. The draft papers will be mad= e available to=C2=A0all participants at the symposium. Each draft paper is = presented by one of the authors at the symposium.

After the symposiu= m, a formal review process will take place, conducted by the program commit= tee.=C2=A0 Reviewing is single blind. There will be at least 3 reviews per = paper. The reviewers have 6 weeks to=C2=A0write their reviews. For the came= ra-ready version the authors can make minor revisions which are accepted wi= thout further reviewing.

Where
IFL 2022 will be held physi= cally in Copenhagen, Denmark, arranged by DIKU at the University of Copenha= gen.

See the IFL 2022 website at https://ifl22.github.io/ for more information.
3D"beacon" --0000000000000c311105e15a16a8--