From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=VPSyw9es; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 5011E40093 for ; Wed, 10 Jun 2026 04:59:43 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:mime-version:message-id:date:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=bvV6tgmo2MVS4y2odroLnCdkXio8sKdhoyt6Zy/ak8c=; b=VPSyw9eskaeUBzn9ngrsDzcF6ocjKHtRd2pCnQJNu4YX+6HA6/6+xZld xsh9XrsGQaWGOer7HkGdWUd83cAYyl+JauP/WKLBTKcpvwsfitqrzGZcl d31Rc4y4KwOcaIpxDgCpFkOn9adtXW6urugGQTRAxbUgGT7xcpTZGIFcC M=; X-CSE-ConnectionGUID: wXu6eFNPTjG7D3Q8KimNbg== X-CSE-MsgGUID: mZ1t8TQST36eafOX7cUjiw== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; 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:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.24,197,1774306800"; d="scan'208,217";a="280661664" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Jun 2026 06:59:43 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 1EEB181FEE; Wed, 10 Jun 2026 06:59:43 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 462A281FE1 for ; Wed, 10 Jun 2026 06:59:37 +0200 (CEST) X-CSE-ConnectionGUID: F/lH0iMZS627RfCGEfXMDQ== X-CSE-MsgGUID: EbthiOKnSyizC2iAdEsYEQ== IronPort-SDR: 6a28ef38_U7ZSQzErSwrRwmgmBnJyH8JWnrmgqT4ERId6ygK3OqKr/e6 ajw3lhjtCu9BHamwHBiuUHHOVNZAK2+Oss0TdQg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GQBgBT7ihqgbZSfUpaHgEBCxIMggULgkFqIF8zBFSIJ?= =?us-ascii?q?4UshliCIYQ+hwwyi0uGV4E/FicCDwEDAQwBPRICBAEBAQIBA4R/jT0CHgcBB?= =?us-ascii?q?DIHDgECBAMCAwEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZB?= =?us-ascii?q?w47hk8Ngls7cWECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQUCFBgRLjgLIwEbDAUNAxIQASg0EQEFAUsMgmABgiIBBhABAzYDE?= =?us-ascii?q?aYGgiSBAkKLO4EXBQIWgQGCDQaBCT4FgR7XfQoZKA1wA4FmAgEGCQEMgTeEe?= =?us-ascii?q?CpPDoJbASqBNQGEFoQCgSGBY0WBFScLEII3gXSDFlWDaIIwBIINFYEMG4Fag?= =?us-ascii?q?iuBR4R/hhABBwcfEggBHAYIAgI9CwUQEgMEAwQEAQILCQoJAwMCDgIIAwIIB?= =?us-ascii?q?hkBPxIEEwIIAwYECwcFHwoCDBQKKCISKwoDNRIPFgUVAQgGAgIEBAIEDAIJA?= =?us-ascii?q?gIFAwQCBA0DBAEBCAICLQMBAxkICQgCCwURGAwLBzEDEAkDHwMUGwgRNAgGF?= =?us-ascii?q?gEaBwUGCzcVBQwRAQECRwIhBB4RCAMBEgMOGwICBAIJAQEGDQECAgYCAgEDB?= =?us-ascii?q?xgDBB0EAwMHAgIJCQQNAhAKEhUDDgMHDwIEDAcwCwMCDgIJCAwXAgICBgIDA?= =?us-ascii?q?wMKAQIBAQEBAQEBAgcDAwMCAwYXBwYDBAYBBAQDAwIDBQEDAwMFAwIDAgYHA?= =?us-ascii?q?wYJAQEBAQMCAggDCAMMCQUFAxsDHgYBAgIDAgECBgYDBwEKAwQCDQMDBAIDA?= =?us-ascii?q?wMDAwMDBAECAgEBAQIDAQMDBAMBAwMCAQMHAgIDAwMLAQIDAwMFAwUBBQMFA?= =?us-ascii?q?gIDBQUDBQICCgIDAwMCAQMCHAMIAwYDEgESAwMCAwMGAQMHAwMDAwMHAgQDC?= =?us-ascii?q?AIGBAMDBgIDBAYDAwIDDQgDGAIIAwMDAgMDAwIDAwUBAgICBAUHAwMDAwMCA?= =?us-ascii?q?woLBQMEAwMDBAICAwwCBgEBAwUDAwMDAgIDAwQEAwMHAgcCAwYEAgMDAQMDB?= =?us-ascii?q?QUDBQEGBwIDBwECAgMEAQ8LAwUDCAMCBAIDCgcDBQMCBgcBAgMRBAIFBgQNC?= =?us-ascii?q?QQCAgYCAgICEQYEAgkBAwUFAwMFAwUDCAEBAgECDwUGAwICEgMKDwUGAgICH?= =?us-ascii?q?gYDAwMDEwMLCQcBBwwBPAwHCiQEBAwqARQUBwQlGWcHBwKLZl0XD4FGAWtnO?= =?us-ascii?q?SFQSAUwBBMvGQ6BFAEBkXIPJJFCaIt7k1mBEiIJAQYCYIFngQofLoQCiB+SM?= =?us-ascii?q?IMkBC+HJZAukxiIA5EEjgqVYxNZAYQ8AgQBAQEDBwcRJBKBOQgrSYETTSN6A?= =?us-ascii?q?QZtgUk/EQMZD1eNSheDa4UTwyc3NT4BBwIHDwKBc4NbjCYzgUsBAQ?= IronPort-PHdr: A9a23:aVsoCRZFzRj7nSYS73vW/17/LTEV2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wKPBd2Qsaof27We8/i5HzBbvdDZ6DFKWacPfiFGoP1epxYnDs+BBB+zB9/RRAt+M eJ8EXRIxDWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oL BWxsA7dqtQajZFtJ6s/yhbFuGdEd/hZyW92OV6ekRXx68Wt95Jn7yhcpugt+sFOXKj1Zag0U aBUADE7OG0p+cPnsgXOQgSI6nYASGsdjwBGAxLC7BH0X5fxtjX1u+9g0ySEPsP4UK45Vy264 6lkUBHnhz4LOiA2/m/KksB/g75Vrxynpxxk3o7be5qVO+ZkfqPcZtwVW2xMVdtMWiNbA4O8a 4wPD/cdPetdsoLwqUcCoQe4CAKxAu7k1z1GiWLs3aAi0+ouDQ7J0hEjEdwArnraq874O70OX eCw1qTIzSnPY+1Q1Dzg6IbIaBchofSUUL1wb8XRz0svFwLfgV6NroHkMS2a1uIPs2ia9eVhV fyghmompgxqrTivw90jiojNho4P1l/E8iB5zZ8zKNalR0F1fcSqH4FMtyGGKYR2WMUiTnlmt isnxbMLu5C1cSsXxZk72RPSaPOJfouH7B7/SuqcISt0iGx5db+9iBi+7FWtxOP/W8Wq31tEo DZIn8XMuH0T0RHY98aJSvx4/ki72DaP0Rje6vtaLkAvi6XUMYQhzaIwlpoJq0jDGTX2mErug K+WcUUk5vSn6/7/Yrn8upCcMIp0hwfjOaotgsyyGeY1PwcUU2SG5+ix1Kfv8E7nTLlQk/E7k bfVvIjYKMkUvKK1HRNZ34Q55xqhADqqzM4UkHoHIV9DZRmJlZLmO0vUL/D9Ffq/g0qjkDNsx /3eO73uGJTNLnzanLj8fbdx9ldQyAQuwd1c+Z5YEL4BIPX0Wk/+sNzXEAU1PBCzw+biENl91 4UeVnyTAqKBMq7fvkWE6v8xL+SMfoMYuyjxJ+I46/Ptk3M1gVodcrOo3ZsTZnC4BPNmI0CBb HvinNgBF2UKvgskQ+3qllKPVT9eam29X6I5/D47CYamAZ3fSYCqhbyNxD27EYFOZmBaFlCMF m/leJmeVPcJbCKeO8thkj0fVbi9UIIhzhGvtAriy7V9NObU+ysYtYji1Ndv/eHTmwsy+SRyD 8uGy26NVX17nnsURz8q26ByuVFxxk+M0admhPxWFsZd6utHXQknLZLc1fJ1C87xVAzbZtqJT UypQtSiAT0oU90ww8ICb19zG9m/jR3PwTCmA7ASl7yMC5w09rzT02LtKMZ6znbKzLQuj1onQ stKLWConqFx+AbNCYDVj0iXkb6merkZ3CHX7meM0XKDsllBXgBoXqvJRWsfZlPYrdnh/E3PU 6KgB6k/Pgta0c6CJLNFat33glVCQ/fuIMzQbXuplWm/Vl60weaHZY/uPmEcxzn1CU4ekglV8 2zVGxI5A3KermTcDTUmQU3iZUHt+Phz+S2TQUo9zgXMZEpkgenmsiUJjOCRHqtAlokPvz0s/ m0c9DeV2tvXD4DFvA99ZOBGZth75l5b1GXfvgg7P5q6LqkkiERNOx9vsRbI0BN6Qp5FjdBst GkjmRV/L6CZ2UJMJm2w0pX5O7mRIW73r1i0c6CD4ljFy56N/7sXrvExqlHtpgasQ1Uv9Xdm2 shYgiW06ZDDDQ5UWpX0AQ4s7xYvgbbcb2Em4p/Mk31hNa7hqjjZx9cgH/co0D6ldtZbda+VT Ur8Sp1AQcepL+Mulh6iaRds0Pl60qkyMovmcvKH3PTuJ+N8hHe8im8B5olh00WK/i46S+jS3 p9DzevKlg2AHyzxilusqKWV0chNeC0SE2yjyCPlGJ8ZZ6t8epwOAHuvJMv/z8t3hprkUXpVv FC5AFZO1MiscBuUJ1vzuG8YnVsap36mkDq1nmJcnDQgr67Z1yvLgqzjeBcBJm9XVTx6l16/a YOwjt0cQA2pd112yF38vxu8l/Id/fQlfAyxCQ9SciP7Ln9vSP61v7uGOYtU7Y8w9D9QW6K6a EybTbj0p10b1TniFi1Q3mNeFXnit5Pnkhh9kG/YImx0qS+TZsx2xxbW9dGNG9Ze2zMHQG9zj jydVT3ed5G5uM6ZkZvOqLX0SG+nVJxaYCS6k6uPsSK64SthBhj1zJXR0pX3VAM91yH8zdxjU y7F+Q39bofc3KO/Ket7f0NsCTcQ8uJCE5pl2ss1jZAUgz0Bg4mNuGAAmiH1OMla3qT3aDwMQ yQKypjb+lqt1EpmJ3OPj4X3MxfVitRsYdu7a3Ibi3wV4MVDCaPS57tB1Sd4uVu3qwvNbOM1w WtbkKFzri5AxbhZ4kIk1W2FD6oXHFVEMCCJ9VzA9N24oKhNJS6ufbW2yEtijIWkBbCGrBtbX SWxcZMjEClsq8RnZQ2QliSpt8e0Ip+JPYhA03/c2w3NhOVUNp8rw/8DhC49fHn4oWVg0ekwy xpnwZC9uoGDbWRr5qOwRBBCZViXL4se/C/giaFGk4OYxYeqS99+FzMJXZL5QKP2OD0XvPXjc Q2JFXdvzxXTUaqaBgKZ5Ep8+jjQHpapNniGKShH5dpnTRiZYkdYhUpHOVdy1o58HQesysv7d U5/7T1E/V/0pCxHzedwPgX+WGPS90+4Ly05Q5+FIF9K/xlPsg3LZNeG4Ls5TEQ6ttWx6RaAI WuBa0FUAHEVDwaaUkv7MODm5MGcobfEQLPkcr2WJ+3J8LIWVu/Ul8j3g802onDVbJXJZj47U JhZkgJCRS4rQZyBwmdTG3JPxX6dMZLJ9lDhpGV2tp7tqqizBFCxtdPXWecCb4k9qVfr38Lhf 6aRnHgrc2gAicEClXWQmuRPggJA2WYzKXGsCepS736VFPCLlPcFU05FN3Ehc5YWisB0lghVZ 5yBg4uthOck06ZnVwcbCQ6z3Zz3Lc0SfTPnPwvJVkiBaezUeW2Vn5OlJv7iAatZiOEe3/Gpk RCcFUKrfjGKlj2zEguqLfkJliaQehpXpIC6dB9pT2nlVtPvLBOhYpdxinUtzLs4i2mvVyZUO CVgc05Lsryb7D9JyvR5FWtb63N5LO6C0y+H5ujcI5wSvLNlGCNx3+5d5X07zfNS4kQmDLRtn zDOq9d1v1y8uuyGyz4iXAsX7zgS1NjNskJlNqHUsJJHXDeM/R4A63mRFwVfp9ZhDY6K2egYw dzOmaTvbTZapo2Iu5JGWo6EcoTeYCByVHihUCTZBwYEUzOxYGTWhkgH1eqX6mXQtJ8x7J7lh JsJTLZfEl0zDPITTEp/T7lgaN96WC0plbmDgYsG/327+VPOScNYv5nWW6PMKfrqITedy7JDY lFbpNGwZZRWLYD910F4PxNim5/WHkPLQd1XiihobwtxrFQUtXYnHjd11EXiZQegpnQUELTn+ 3x+whs7auMr+jD25l4xLVefvyo8nn46ntD9iCyQejr8RE9RdYRfCi6xu1lod52iE1wzYgq1k khpcjzDQuAJ51OPXW9ugQ7Y/5BIHKwFJUWhSBAVzPCTIf4v1AYEwhg= IronPort-Data: A9a23:dtPugKsDF2vw10TeHXOV1NYYz+fnVLJaMUV32f8akzHdYApBsoF/q tZmKT2HbquIZmekc4wnOt6x9x5Tv8OBnd9mT1Br/CxkES4b9ZOVVN+UB3msAy7DdceroGBPv 5xPMIGYRCwXZiaB/Un1auCJQV1Uj/zgqm/UUbacUsxJbVY6Dn9n1VQ7wrBRbrdA2bCRGxmKt c75v/rRMVqk3y8cGm8P4spvkjs21BjJkG1e5ABWicxj5geEySFLVcpHfMldElOhKmVqNr7iL wr85Orhlo/p109FIs+olL/9bnoLTtb6VSCSimBbUrSVmRNLoCo/yM4TbJLwvm8K49kht4kZJ ORl7fRcey9wVkH/sL11vy1jLs1LFfEuFInvcSHu65TLp6HxWyCEL/1GVCnaNGCDkwp9KTkmG fcwcVjhYv0f7g4fLX3SpuRE36wewMfX0Iw3lDZk7WnYKMQdH8qceavhyvJW7BIcv5UbdRreT 5JxhTtHaR3BZ1hDKw5SBstuxqGngX7wdzAeo1WQzUY1yzePilUrjf69apyMKobiqcZ9xi50o krZ8mL7AxgLOY3B4TWA+3OowOTImEsXXapIROXmqKc33Qz7Kmo7JRcKVVqcgv+Cm0+scIheA kA54RsDlP1nnKCsZoKgBkXn8SDsUgQnc9FZFul/7ACW1oLP8gOBDy4FSCRAYZoorqcLqScC0 1aIm5blFGUqvuTFEzSS8bCbqT70Mi8QRYMfWcMaZSVC5/m7oaQBtUyVEextO4GYgO3QNQill lhmsxMCa6MvYdnnPphXEHjCijOo45TYF0s7v1WNGG2i6Qx9aciuYInABbnnARRofN7xorqp5 Shsdy2iAAYmU8jleMulHr1lIV1Rz6zZWAAweHY2d3Xby9hSx5JTVdsNuWkhdRkB3jcsdjjub 0ve8QJX79k7AUZGmZRfOtrrY+xzlfaIPY28Cpj8MIASCrAvL1Tv1H81OiatM5XFyhlEfVcXY s/DKZ7E4LdzIfgP8QdasM9MieZ6mXBknj67qFKS503P7IdyrUW9Ed8tWGZipMhghE9diFyNq IYNBNjA0BhFTuz1bw/e9INZfxhALmE2Cdqy44Zbf/KKaFguUmwwKe7j8ZV4caxcnoNRirjp+ FO5URRm01bRvyDMBjiLTXFBU4nRe6hDg0g1BxFxAmbw6UMfOd6uyIw9a6oIeaIW8b0/7PxsE NgAVcayItVObTXloAYiMID0k6I/Riio3zuhMzaUXzwkW5tGWQby28TFezH3/3IkFRuHtsoZo pyh2DjEQJEFeR9QMcbOZN+rzHKzpXI4mt8ue2ftPf9oZx/K4otxDi7Ans8MPMAHLCvcygug1 wq5BQkSoc/PqdQX9OblqL+lrYC7NflXBWtfQnfm6IipORng/maMxZFKVMCKd2v/UEL24KCTW vVH/crjMfEonEd4jKQkKuxFlZkB3trIo6NW6i9GH3+RNlSiNe5GE0m8hMJKsvVA+69dtQ6IQ Xmww9h9O4iSGcbbAVUUdRsEbOOC6KkuoQPsz88JeWf02Cwm24C8cxR2HwKNgyljPrdKINsb4 eM+ivU3tS27qDQXa+ijsA4F1l6iDHI6V4cfiqo7G67u0woi9UFDa8fTCwjw+5C+VO9POUgLf B6SiK7IgqxE93rGd10PJ1H/h7NdjKsRpSEQnUMjJkuIqPXBlPQYzB1cyhVpbwBZyh9Cy/pCA Uo6E2ZXNKmx7zNTq8wbZF+VGiZFHwy/xkPq7kkgzUn1fhKPbXPcCm8TNcKm3lErw0gFchd1p LinmXvYCxD0d8TP7w4OcE9Cqdm4aPdu9wfHyfuVL+7cE7YUOTPa07KTP0wWoB7aAOQ0tk3Nh c9u2M1SMaTbFyohk5cXOrmg94Y7aU67fTRZYPRb4qk2M3nWe2iy1RiwOkmBQJ5xCMKQw3CoK f5FB5xpbAu/5hasvzpAJK8rIp1IptALyucGWIvWIT8hj+PCgBtv6Ind5wrvtl8NGt9Oq/swG qnVVjCFE1GTu0dqpn/wnJFEFFaVMdggTy/g7d+x69QMRs4isvkzUEQc0YmUnnSyMSl7zi2Qp yf8XfLz9LVn7Lhjjq/pHrtJXQmvG+iuVu7SqAGXmPZNZOPpLs3hmV40qF7mHgIOJpoXeY19u oqsue7N/nHunegJQUGAvLfZDIhPx8G5fNQPA/LNNHMAwBezAp790SUM60WTCMJvkuoEwuKFW gHhSs+7VeBNaudn3HcPNhRvSUcMOZ/WMJXlizi29cmXKx4n1gfCEtOr2FnpYUxfdQ4KI5fOM RD1idn/+uFnqJlwOzFcC8FEG5NYJHrRaZkiffD1thiaCTCMqXGGsb3AixEhyG/qDl+pLcXE2 q/GFyPOLEmKhKL1zd9n6t04+lVdCXtmmuA/c34M49M82XjwEGcCKv9bKpkcTI1dlivpzpzje TXRdy0YBD7gWShfOwDJiDg5stxz2sRVUjs4GtAow69QQyK/BYfFDKo4syk5sy0wdTzkw+Wqb 9oZ/xUc+/R3Lo5BHY4uCj6T2I+LBc82AloH/En8l4r5BBN27XAiyil6BAQUPcDYO5ilqagIT FTZgUhLRUi6TQj6FsMIl7u53v0GlGuH8gjEphtjDDoSV0t3AQGAJDDC1znP74A+ IronPort-HdrOrdr: A9a23:z7xv9qDuCnWVzXvlHejmsceALOsnbusQ8zAX/mhrQx1UbcCU0+ iy9c5rpiMc6Ax6ZJhAo6HJBEDkexzhHPFOkO8s1NuZLWzbUIXBFvAR0WPNqweQbhEW3NQtpZ uJ68NFeanN5WETt7eM3OFTe+xQtuVviZrYzNv263t2VwllZ+VBwkNZAhybe3cGPzWue6BJc6 Z0l/A3wwZIIk5nEPhTb0NtN4Ovy6yoqHuMW292O/dI0nj2sRqYrJD/VzaXty1/b9qN+9YfGK r+/TDR1+GGu/G/5QTb0wbonulrcaPau6N+Lf3JrsAULzHljUKSeIFsH5mDpio4uoiUmSoXeF almWZeA+1Dr1fcZHu8rxeo+ySl8T416hbZuCWlaLLY0K/EeA4= X-Talos-CUID: 9a23:KLRnRG7FgVzsOZ4km9ss2gkQOpgkV0/mki2PGUGTJktneJi5cArF X-Talos-MUID: =?us-ascii?q?9a23=3AIIZMAw+CQcuTCO0kI2W3mvOQf+pi/6SvL2MLqoQ?= =?us-ascii?q?HqeLeNAV8FiysoQ3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,197,1774306800"; d="scan'208,217";a="280661559" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDG95J8i9udOX+bMBzMHHKYkdrwLrkCM6VPu30?= =?us-ascii?q?jIHTWY9D2hqz/EIIuhrI7XVf1T5yrWALe6KC0mwueHqy2H6mVjV9GdHD?= =?us-ascii?q?mNokGG1QPTeoJLZ8e/DI8kCSDxGArX7ym+Bpe1U2D+hO6UE/ZoFYjf3V?= =?us-ascii?q?padlkKdPsVC/4AIE6Qb+GGwg=3D=3D?= Received: from mail-dy1-f182.google.com ([74.125.82.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Jun 2026 06:59:36 +0200 Received: by mail-dy1-f182.google.com with SMTP id 5a478bee46e88-304cf518c9dso7828399eec.1 for ; Tue, 09 Jun 2026 21:59:36 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1781067575; x=1781672375; h=to:date:message-id:subject:mime-version:from:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=bvV6tgmo2MVS4y2odroLnCdkXio8sKdhoyt6Zy/ak8c=; b=qXzrPHDXoFrzARILUcYDRsNVW7ULBPjmNQfmANDi7z0F75LpleIU0w7breB06J7L3g 7lgHLC4hi1yrUEAMcvdODc1oVuBM+dTYASXmKku2eBvQmGT5zk4mRk/PdpNpYW+8gBY3 QRy8D8TsPUUL0kfmskJREwPdAcq15XhOQVAQ6TEwghf62/A/VK+MQBwO9IizFF9GruEU 3ZlidK1Vp++7wbQW8wM9d/iGuzIKYxRYQcKfjXno6v7Jw106cpB76jJWJ0x59FD0hQH3 3bOLAM2E9mGZ3nM5ML+vyHLa/LoQ+OsAf/DAVzrW7TrsHd8N1Y0U95zZdz6GsyRpaBCB +tsg== X-Gm-Message-State: AOJu0YwKAkAWgQZvG+v187/M2TUgXAiD5XcF5HdywVcXFjFHBLCt7hS3 +YddMIuvhq3e9DlEY6gMTeyDUvk8hyGbwzqXKlGboIF6J2JovzKcPtTrjmGwc2Mh X-Gm-Gg: Acq92OEACPZBxrHZxgpMH9wzla/w+CY2k9FI6l7vz5IxDNyzKZPwAXkF+puSb46yGi6 B1gRN6bBkA+blTeLFRQnwasvc3IRSmcaLcOrVSp4XZGSDD5iqxa1C27t2wKQS2fBM5vnq48+Ii/ Ag5m6DW2Xx7lKBctr/7BBy3HdKOda93tM6VVKG2EWf+cQiC1vlt7pR28adN624uMz6VGkmyBpqB bF5++eMu+DonDyP+B91ZI+lZipvrwlY21XMAfMUfu/x7sa74Jvlpv0sr5CY80AvPHQVqOVZwrXt KdobUTnbJaXHibWu7TYzzMOPa0ZMFx8HOsWt6IrOB2HkIL2DZrA8DU/mwX3Znnbq9vi9UlnC2qZ PkSI1urPLDl6/E8OHXwWROfd9py92zqnFRtFHKHXbf3Yk8MiG0TakiHU85rCuXYZrLsJglKGlON LImuJWiUEw1Fk+I3/tbrNqu8q8mA4gHwtKjo2EJm/K2CDtacJp/EHfVMjzThHqahx2wVc= X-Received: by 2002:a05:7300:1352:b0:2d9:5cd9:b8ff with SMTP id 5a478bee46e88-3077ae86decmr13259143eec.6.1781067574767; Tue, 09 Jun 2026 21:59:34 -0700 (PDT) Received: from smtpclient.apple (li82-85.members.linode.com. [74.207.240.85]) by smtp.gmail.com with ESMTPSA id 5a478bee46e88-3074dea8e8csm24012159eec.16.2026.06.09.21.59.33 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 09 Jun 2026 21:59:34 -0700 (PDT) From: Wenjia Content-Type: multipart/alternative; boundary="Apple-Mail=_AEB4D52A-3392-48C6-BA9A-4D5BA5C21AE4" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3776.700.51\)) Message-Id: <926DB0CF-9305-4842-8405-592E450E77C8@gmail.com> Date: Wed, 10 Jun 2026 12:59:13 +0800 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3776.700.51) Subject: [Caml-list] APLAS 2026 Call for Papers -- Deadline Extended (Wenjia Ye) Reply-To: Wenjia X-Loop: caml-list@inria.fr X-Sequence: 19527 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: , List-Subscribe: , List-Unsubscribe: , List-Post: List-Owner: List-Archive: Archived-At: --Apple-Mail=_AEB4D52A-3392-48C6-BA9A-4D5BA5C21AE4 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii APLAS 2026 -- The 24th Asian Symposium on Programming Languages and Systems December 1-5, 2026, Hong Kong SAR, China https://conf.researchr.org/track/aplas-atva-2026/aplas-2026 APLAS 2026 aims to bring together programming language researchers, practitioners, and implementors worldwide, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2026 is co-located with ATVA 2026. We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: - programming paradigms and styles: functional, object-oriented, probabilistic, logic, constraint programming; extensible programming languages; programming languages for systems code; novel programming paradigms; - methods and tools to specify and reason about programs and languages: programming techniques; meta-programming; domain-specific languages; proof assistants; type systems; dependent types; program logics, static and dynamic program analysis; language-based security; model checking; testing; - programming language foundations: formal semantics; type theory; logical foundations; category theory; automata; effects; monads and comonads; recursion and corecursion; continuations and effect handlers; program verification; memory models; abstract interpretation; - methods and tools for implementation: compilers; program transformations; rewriting systems; partial evaluation; virtual machines; refactoring; intermediate languages; run-time environments; garbage collection and memory management; tracing; profiling; build systems; program synthesis; - concurrency and distribution: process algebras; concurrency theory; session types; parallel programming; service-oriented computing; distributed and mobile computing; actor-based languages; verification and testing of concurrent and distributed systems; - applications and emerging topics: programming languages and PL methods in education, security, privacy, database systems, computational biology, signal processing, graphics, human-computer interaction, computer-aided design, artificial intelligence and machine learning; case studies in program analysis and verification. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The accepted papers will be allowed one extra page to accommodate reviewers' feedback. Additional material intended for reviewers but not for publication in the final version, for example, details of proofs, may be placed in a clearly marked appendix that is not included in the page limit. However, the paper must be understandable without the appendix. Reviewers are not obligated to review it. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. Accepted papers must be presented at the conference. APLAS uses a light double-blind reviewing process, with a rebuttal phase to address factual errors and minor misunderstandings. The proceedings will be published as a volume in Springer's Lecture Notes in Computer Science series. APLAS continues the tradition of the best paper award. Important dates, AoE (UTC-12h): Submission deadline: Mon Jun 22, 2026 Author response period: Wed Jul 22 - Fri Jul 24, 2026 Acceptance notification: Tue Aug 4, 2026 Camera-ready deadline: Tue Sep 15, 2026 Submission link: https://aplas26.hotcrp.com/ Further information: https://conf.researchr.org/track/aplas-atva-2026/aplas-2026 --Apple-Mail=_AEB4D52A-3392-48C6-BA9A-4D5BA5C21AE4 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii
APLAS = 2026 -- The 24th Asian Symposium on Programming Languages and = Systems
December 1-5, 2026, Hong Kong SAR, = China


<= /div>
APLAS 2026 aims to bring together programming language = researchers,
practitioners, and implementors worldwide, to = present and discuss the
latest results and exchange ideas in = all areas of programming
languages and systems. APLAS 2026 is = co-located with ATVA 2026.

We solicit = submissions in the form of regular research papers
describing = original scientific research results, including = system
development and case studies. Among others, solicited = topics include:

- programming paradigms and = styles: functional, object-oriented,
  probabilistic, = logic, constraint programming; extensible programming
  = languages; programming languages for systems code; novel = programming
  paradigms;

- = methods and tools to specify and reason about programs and = languages:
  programming techniques; meta-programming; = domain-specific languages;
  proof assistants; type = systems; dependent types; program logics,
  static and = dynamic program analysis; language-based security; = model
  checking; testing;

- = programming language foundations: formal semantics; type = theory;
  logical foundations; category theory; automata; = effects; monads and
  comonads; recursion and = corecursion; continuations and effect
  handlers; program = verification; memory models; abstract
  = interpretation;

- methods and tools for = implementation: compilers; program
  transformations; = rewriting systems; partial evaluation; virtual
  = machines; refactoring; intermediate languages; run-time = environments;
  garbage collection and memory management; = tracing; profiling; build
  systems; program = synthesis;

- concurrency and distribution: = process algebras; concurrency theory;
  session types; = parallel programming; service-oriented computing;
  = distributed and mobile computing; actor-based languages; = verification
  and testing of concurrent and distributed = systems;

- applications and emerging topics: = programming languages and PL
  methods in education, = security, privacy, database systems,
  computational = biology, signal processing, graphics,
  human-computer = interaction, computer-aided design, artificial
  = intelligence and machine learning; case studies in program = analysis
  and = verification.

Submissions should not exceed 17 = pages, excluding bibliography, in the
Springer LNCS format. = The accepted papers will be allowed one extra page
to = accommodate reviewers' feedback.

Additional = material intended for reviewers but not for publication in
the = final version, for example, details of proofs, may be placed in = a
clearly marked appendix that is not included in the page = limit. However,
the paper must be understandable without the = appendix. Reviewers are not
obligated to review = it.

Submitted papers must be unpublished and = not submitted for publication
elsewhere. Papers must be = written in English. Accepted papers must be
presented at the = conference.

APLAS uses a light double-blind = reviewing process, with a rebuttal phase
to address factual = errors and minor misunderstandings.

The = proceedings will be published as a volume in Springer's = Lecture
Notes in Computer Science = series.

APLAS continues the tradition of the = best paper award.

Important dates, AoE = (UTC-12h):

     Submission = deadline: Mon Jun 22, 2026
     Author response = period: Wed Jul 22 - Fri Jul 24, 2026
    =  Acceptance notification: Tue Aug 4, 2026
    =  Camera-ready deadline: Tue Sep 15, = 2026

Submission = link:

=

Further information:

= --Apple-Mail=_AEB4D52A-3392-48C6-BA9A-4D5BA5C21AE4--