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=FKOI4Sdp; 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 94EE140093 for ; Wed, 16 Sep 2026 14:32:16 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=l3vJUA/aHCNqAVkGYMPWDKSakmXG0NVWFne9eFkQN4Q=; b=FKOI4SdpiGFN+TYidEMPyvYWdmwGlqZL/oHZpTMhdmafAlmgyLGnNQ/0 vJIMJEOc2XRikBl8QgVA7RTocN9U7ifFjkLxEVrVFL+nt6eMniiVPxSDh AGT6BQ2cFKHM+XjVUV8+EilBgrwwjRjaaom8xcOlD9qgoABT9yu9IvyY3 w=; X-CSE-ConnectionGUID: UWcHethYR02ZyH1DCYU5OQ== X-CSE-MsgGUID: 5t0ACWgwRWGXQx3eLmSsSg== 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.27,103,1787004000"; d="scan'208,217";a="295314037" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Sep 2026 16:32:16 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 0976881EF3; Wed, 16 Sep 2026 16:32:16 +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 CE27681EDD for ; Wed, 16 Sep 2026 16:32:08 +0200 (CEST) X-CSE-ConnectionGUID: g+efuxfFRSKe1cP4XSESEA== X-CSE-MsgGUID: t9HaE2AvRxef7S7fCy2VMQ== IronPort-SDR: 6aaaa868_gun9DE0RK9sp3WyV5TQz4pFFh76VxD1igzHdDNvsD1aLhES 2K8+/ofqEDdjjxLHS3LNufv6Ts3AipqNQqvy2aA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HxBQAxp6pqfIzkfUpaDoUMgQtgNAQLSYRYgSOCLIwDg?= =?us-ascii?q?iGXR4UCgVaBPj0CDwEDAQ0UAQEBAiQUBAEBAQIBA4ILgnOOCgIeBwEERwECB?= =?us-ascii?q?AMCAwEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw4SKYZPD?= =?us-ascii?q?YwTO3FhAgUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEFAg0fP0MGHQEbDAMPAxIJBzcCIwERAQUBI4MVgiIBBhABAzcDEbc6i3KBF?= =?us-ascii?q?QUCFoEBgg0GgQo+BdkeChkoDXWBDFwCAQYWhi8qXYJfAYFfAQIOhAg7hGgbg?= =?us-ascii?q?g2BFTWHTlaDLoJqBIMugmGHZYlZJggHFwMHBwkFBBwGBQUCPwkFAQ8SAwQDB?= =?us-ascii?q?AQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMFAooIhICKQoBAgEfC?= =?us-ascii?q?iwDFBkBAQcGAgIDAQQCBAwCCQICBQQDAgoEAwMEAQEIAgItAwEDGQgJCAILB?= =?us-ascii?q?REYDAsFAgonAw8BCQMfFxYIETQIBhYBGgYFBgs3FQUMEQECGwIfBB0RCAMBG?= =?us-ascii?q?wICAgEJAwQWBAIUCiEDAwIDBQEDAwMFAgIKBgcBAQEDAgIIAwYDCgkCBQMbG?= =?us-ascii?q?AQBAgIDAgECCAMHCAMNAwQCAwMDBAECAgEBAQIDAQMDBAMBBgIBAwcCAgMDA?= =?us-ascii?q?wsBAgMDBQMDBQUCAgUFAwUCAgoCAwMDAgEDAhoIAwYDEgEQAwMGAQMHAwcCB?= =?us-ascii?q?AMJAggDAwgIAxcDAwUBAgIEAwMICAQDAwQCAgMMBQMCAwMFAwMHAgQCBAMDA?= =?us-ascii?q?QUBAgcCAwcCARgDAgQIBwcFAgsEAggEDQkEAgQCAg8EBgMDBwEBAgEHBQYDA?= =?us-ascii?q?gIQAQgKBQYCAgIcAx4DDwYBCQUCAQUOBwUCAhgDBgIDBgUBAwEKCwEBAgMKA?= =?us-ascii?q?QIEAgUDAwEDAgMCBgMDAgUFBQMJBwUOCQEDAwYFAgIDAgMBAggEBgUDAgIDB?= =?us-ascii?q?QEEAwQDCgMCCAMDCAMMAhoCBQMDAwYJAwcHAgMHAwIFAgcFAwMFAwYBAwIBA?= =?us-ascii?q?wMICxUfAwMBBQMDAgEDAgUDAxgCAgQFAwMDAwMIBAICAQcGBAICAgEFBQUEB?= =?us-ascii?q?QYCBAMIAQEFAwMKDQECBwwDDAYDBwMDBAQDAgUKAgQBBw0HCQcDAgMIAQELB?= =?us-ascii?q?AEDAwoDAwUCAQEHBQMGAwcCAwMDBQQFAwILAwcCAgMDAwIpAQEBAwMDAwMEA?= =?us-ascii?q?wEDAQMDBwMFAwIQBwEBCgMCBgMHBgMFAwMCAQIDAwURAwYEBQYZAgYROgEIA?= =?us-ascii?q?gMDARQEBAUFAgUVAggBAwMFAwMDAwIFAwEFAQEDAwUDAwMDAwMEAQMEAgMHB?= =?us-ascii?q?ggBAQECCAMDAgUDAwMEAwMCAQINBAIFAwYCAgQCBAEHAwkJCBM9AQsHMgQ2A?= =?us-ascii?q?QYPFAUpIV+PUh+CWV4dLhhPfkYBDAxLxjppgz+Ec4cvlVQzhASNFJlVmQgjj?= =?us-ascii?q?WebKBEkEoFcAQ+BXDMaI4EBgjZQAxkPkiSFE4ohvGQdKzI9AQEHAgcOAwuBa?= =?us-ascii?q?JAANIFMAQE?= IronPort-PHdr: A9a23:058RfRXxsFrN7wuR03/+rx/SPVvV8Kz6XDF92vMcY1JmTK2v8tzYM VDF4r011RmVBtuds6gP0LuN6ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvQu8UMnYduNKk9xxXNr3ZGZuhd2H9lK0+Ukxvg6ci8+4Ju/T5NsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQSXH0ZnRZRHQXL4wz0Uo/+vSXmuOV93jKaPdDtQrAvRTui9 aZrRwT2hyoBKjU07XvYis10jKJcvRKhuxlyyJPabY2JKPZzeL7WcNUHTmRDQ8lRTTRMDYy8Y YUBDOQPIPhWoJXmqlQUsRezHxOhCP/zxjJKgHL9wK000/4mEQHDxAEuB9MOsHLbrNXzNacSV ++1x7TJwjXCcfxdxDDw6YfOchAnoPGMW71wcMXQyUYxDA7FgVCQppbkPzORzOgCr2+b7+95W O+plmUopB1/rCK1yccwlonGmJgVylbc+CllwYs4Odm1RUBnbNOgEJVcqj+WOYRoTs48X21mt ik3xLMbtZOncyYHx5oqyhzfZvKHb4SG7Q/uWeSRLDp4mn9ofq+0iRi18Uil0OL8V8+03U5Rr ipEndnMrnQN2AbV6sSdTft95Eih1DCS3A7Q8uFJOUI5mKXBJ5I83LI9loAfvVrdEiL1gkn6k aCbelki9+O18eroeK/mqYWZN4JsigHxLKAumsunDOQ9KAcOXmyb9f2i273h40H1WbtKguAon qXDv5DaIsMbpqG9AwBLyIos9xG/DzK+3NQZm3kIMk5FdQqFgoXmIV3CPe70APelj1iyjjtmx OrKMqDuD5nRNnTDla3ufbd5605S0gozytVf6opbC7EHJvLzW0nxtNPXDx84LQO52OnnCNBn2 YMfXWKDGLOWMKTXsVOQ/OIgP/GMZJMJuDb6M/Uq++ThjXo9mVMEeamp3IAXaGyjE/R9I0SZZ GLsjc0bHWcLuAo+Vu3qh0eYXT5dfXa+R6Q86SojB4K8EYjDXpytgKCG3CqjA5Fafm9GBU6LE XnrbYuJQ/kDZj+KLs97jDMES7uvRZU52BGrrgD6yr5nIvPK9S0aq57vzdZ16/DNmR0o+jx0C MOd026JT25qhG8HWzg23KVnrUNgyVeD0K14juRAG9Jc6fxHTBs0OILaweBiFt/yXxjOfs2VR 1u+WtuoGCk/QN0pz98Ve0Z9Fc2vgArf0iS3HrEZj6eLBIQ68q3E33j+OcJ9y3He2ac5llcoW sRBZiWagft0/g3XQorIiFmxlqCwdK1a0jSJvGyE1C+FuFxSeA92S6TMG34FIgPfotjwzkfDV KO1T78nOw9ExNSZbLBHLpXphE5FSfPnfd/XbW+Zm26rBhuMwvWLdoWuM3kMxCjGTUEClQcO+ 32LHQw/HTu65XnTBScoCEriZUWq/OVj+12hSUph6QCMYEtg0bX9yh8YzaiMTfUS2L0UuSoJp DB9HVL71NXTXYnT7zF9dblRNItuqGxM0njU4lQV1v2IKqljggRbaAFrpwb00B4xDIxckM8sp XdszQxoKKve3kkSPyiA08XWPbvaYnL34Ajpc7Tfj0HY1teQ9bcO5dw3rlziuEeiEU9xu25/3 Yxt2mCHro7PEBJUVJvwVkgt8B0vt7fcYy8y94LZ/XJpOKiw9DTF3oFhH/MrnzCnedoXK6aYD EnyHskdUtCpM/AvkkO1YwgsOelT8Os5PZnjeaLcnqGsO+lkkXStimEvDJlV9EWK+mI8T+fJ2 8xA2PSExk6dUDy6il69s8fxkIQCZDcIH2P5xzK2TIhWLrZ/e4oGEwLMa4W+28l+ipjxWnVZ6 E/rBlUI39WscAaTaFq11BNZ1EAeq3iq0SWiyDk8nzYsp6uZlCvApoaqPAoBPG9NS3ljgH/jJ IG1i5YRW03pJwklmR255FrrkrBBrfc3JG3STEFUOinuej4+FPLq6/zYOZ4Jsc9w4kA1GKymb FuXS6DwuU4f2iLnRS5FwSwjMiutsdP/lgB7j2SUKDByqmDYcId+30S6hpSUSPhP0z4BXCQ9h yPQAw32L9+v/NObh5bOmu+7XmOlEJZUdGO4qOHI/Dv+/mBsDRClyrqjnNvmFwcq0CLT2NxjV CGOpxH5KNqjx+GxNuRpeVNtDVn35p9hG41wpYA3gYkZxXkQgpj9EWMvqW7oKp0b3Kv/aCBIX jsX25vP5wOj3kR/L3WPzoa/V3OHw8InacPoKm8R3ys86YhNBsL2pPRUmy10pFWorA/5bv10n zNbwvwroHIXmOAGvgMxwz7VXexURBMFe3a2x1LRs4j2pb4ffGu1dLmsyEdy+LLpRKqPpA1RQ jexe5svGzNx8tQqNVvN1HPp7YS3MNLUbN8VqliVi0Kf064Mcs93zKBaw3M7YTGY3zVt0eMwg B1w0IvvuYGGLz8o56elGltCMTazYcoP+zbrhKIYn8CM3onpEI8yf1dDFJbuU/+sFyof8Pr9M APbWi06rHadFqreECeQ7U5nqzTEFJXhZBT1bDEJiM5vQhWQPhkVkAYSXTM1jp80Pg+vzc3lN kx+43pCgzyw4gsJweVuOR7lV27Zrwr9cTY4Rq+UKx9O5x1D7UPYYoSOq/h+FCZC8ti9vRSAf yaFMh9QAzhDCSnmTxjze6Oj7t7a/62EC/qierHQNK6Wp7UWVu/Ul83zlNI8onDUcJ3IZycqD uVniBAbDDYpRoKAwWVJE2tOyEevJ4aavEnuoHUv95LjoKqzCl6/u9fdWfwPb51u407k2/vba 7zO1H4he2oIiM9elziVlt19lBYTk388LWf1TuYO5SSVHv6AxPMFXVlGNWtyLJUatfJkhlsWN 5aJ1oOriuwqyaNrbjUNHV35xJPzbJRScTjhaQuVWBbVaObUYmCVi8DvP/HmQuVe3ute6kXi5 WbFTx2xeWnd3y/gUxTlWQ1VpAecOhEW+IS0cxI3THPmUMqjcBqwdtl+kTwxx7QwwHLML28Vd zZmIQtLqfWL4CVUj+8aeSQJ52d5LeSChyeS7vXJYpcQv/xxBy1oluVcqH0kwrpR5StASbR7g izX5tJpplinlKGIxF8FGFJWrS1XgYuQoUh4EaDQ950FVHSeuRxUtyOfDBMFo9YjAdrq+uhRx tXJiKPvOWJC/tbTrq5+T4DfLMOKNmZkMAK8R2KSVVFYC2TxZSeG2xQO9ZPavmeYpZU7tJX2z Z8HS7sBEUcwCutfEENuWtoLPJZwWDog17+dls8Bo3Sk/3yzDI1XuI7KUvWKDLDhMjGc2PNUY R0Jx7zoLIk7OYjy2kgkYV5/1teveQKYTZVWryttYxVh6l1K62R7R3Yv1ljNbwqs5DoeF6Txk EdszAR5Zusp+XHn5FJ9dT+o7GMg1UI2n9vimzWYdjX8ebyxUY9hAC3xr0EtM5n/Tm6dgiW9m EVlMHHPQLcD1tOIkEhkjQbdvd1EHvsOFcWsgTcVzPCTIvgqixFS83/hykhA6u/IT5BlkVlyG aM= IronPort-Data: A9a23:VzKxsqiZ/GiOLVjwwE6Ni75KX161hxQKZh0ujC45NGQN5FlHY01je htvDDjUO/2OYGP2Ktt0bt+0o0gCusPcn95mQFBrqy80Ey4W8JqUDtmwEBvMMnLJJKUvbmo3t pREMoGowOMcFyKH+E/1atANiVEmiMlkk5KlULas1hhZHFEiEGF9z0k7wYbVu6Yw6fChGQSBp NjulMPWPV6hylZcP3kdg065gEoHUM/a5nVC4TTSWdgR5AWAzyhMUMpFTU2MByKQrrd8TrbSq 9nrl+nRElPxp38FFt6jm7DnRUwGKpa6FRSOkHdfR5+5iRFEoCEouo5jXBbLQRo/Z52hxrid+ f0V3XCCYV5B0p7kwYzxZyJl/xRWYcWqzpeXeCnl6ZT7I3ruKBMAy902ZK0/0BZxFuxfWQmi/ tRBQNwBg4zqa0tbD9tXR8E17vnPIvUHM6sQ+Xxu0CHXI8wdYp2aSJ2W1eR15xoZ05Um8fb2P 6L1aBJqZRXEJhBNYBIZUch4k+CviX3yNTZfrTp5p4Jovy6KllE3iuK9doOJIrRmRu0N9qqcj nLA+WX/DQEbOfSQzDOE9jSngeqncSbTAtNPT+Tjp6I66LGV7nBCKBQ7D3Klm+m0hBGFBNx0O hYq3xN7+MDe82TwE4ClAEzmyJKehTYXUt9UVuk78x2l0bvR+w/fB24eTzcHZsZOiSMtbTkj1 1vMktGzQDI26vuaTnWS8rrSpjS3UcQIEYMcTSBHQAUY89fNmroQg0vEdopTK4OOo/SgTFkc3 Au2QD4Ca6L/ZPPnOo2+9FHDxj+u/N3HF1Rz6QLQUWaoqAh+YeZJhrBEC3CEvZ6sz67AEDFtW UTofeDBt4ji6rnTzkSwrB0lRu3B2hp8GGS0baRT82YdG8SFoCP6Jd8BvlmS1W9mNcELfTKhY UnY/2ts2XOnB1PzNfUfS9vpVawClPG8ffy7DKy8RoQVOfBZKlTXlByCkGbKgwgBZmB2zPlnY f92sK+EUR4nNEiQ5GbsH7ZAiOZwn3lWKKG6bcmT8ilLGIG2PBa9IYrp+nPUBgzgxPrc/F+Hw MUVLMaQ1RRUXcv3ZySdo8ZZLkkHITJ/Tdr6otBePLzLaAd3OnATO9mIy5MYeqthg/t0kMXM9 SqDQUN28gf0qkDGDgSoUUpdTo3Tc6xxll8BBhx0D22UgyAiRa2N8JYgc4AGeOh71e57kt9xY fo3W+SBJfVtFj7CpiwXaJWhpbNcXSbx3AKHADW4UWJuY79hWA371dv2dST/9CQ1L3SWtpYmq bisywrkHJwiaQR6Pv30OdaE7UK9gmgZo812B3D3G9h0fF791rRlMArzhaITD+BWDC7c1B626 QqyKjUJl9nn+oMa3oHAuvGZkt2PDeB7IHt/I0DayrSTbgzx4WupxN57YtaiJDzyejv9x/S/W L9z0fr5DfwgmWRKuapaF5JA7/o3x/nrlo9g4jVUJlf5RHX1Neo4OViD59dFiYNVzLwAuQeWZ FOGyuMHBZq3YvHaAHwjDyt7SN+c1MMkuCjYttU0B0TY2BVZ3pS6VWdqAh3drxAFcZVUNts+z PYDqfwmzVW1qiAXP+asigFW8GWxLUI8bZg3i6FCPqjVjlsE91ITR73dFS7837+XYfpuLEQBA 2GZlYjCtZtm12vAdHs+OiXQ1NUAg5khvBRz41MeFmuNgf7AoOE95zxK0DENVg8O5A524+FyH WlKNkNOOqSF+QlztvVDR2yBHwJgBgWT307Ml38lpTb+dFa5cG7gN0gvEL+9x18Y+GdiYTRrx rGU52L7WzLMfsuq/C8NdWN6iv7kX/pj3xbjnZ25IsG7AJUKWzrprauwb24uqRG8I8cQhlXCl NZ67tRLdqz3Gi4BkZIVU7DA++wrdymFA2heTdVK3qADRzjccQ7v/wm+ERm6f8cVKsHa9UO9N ddVGftOcBaDzweLkCEQAP8dAr1zncNx3uE4RJHQGTckvYec/x1Ti7CB0gjlhWQufcdirtZlF KPVaAC5MzKxgVl6pjbzifdqa0uCXMk8RQzj3eqK3v0DOLAdvcpNL0wj8LuGkE+EEQlg/hirk hvJTPbSxu5D1bZusprIF6ldDV+4MuHICeaCqliyl/9sbtr/F9jEmC1Ii1vgPiVQZaAwXfYun 5uzkdfH5mH3l5dobHL4wr6vT7Jo4+e2V8ppavPHFmFQx3a+aZW98ik99HCdAr0XttFkv+2MZ RayMem0fv4rA+Zt/mVfMXViIkxMGpbMT/nSoA2mpK6xETkb6wvMKe2n+VLPbW12ciwpOYX0O jTrusSBt8xpk4BROCAqX/1WIYd0AFvGa5sUc9fcsTq5DG7xpnigvrDktwQr6BCVK32iPfv53 6n4RUnFREzvgJ3L8dBXjdUj9FlfRnNwmvI5cU8h6sZ7wWLyRnIPKeMGd44KENdImyj1z4v1f yzJcHBkMyjmQDBYal/p1bwPhOtE6jAmYb8V5wDF/n94rw+zDYKERbZjrGJuui0wdTzkw+Wqb 9oZ/xUc+/R3Lo5BHY4uCj6T2I+LBc82AloH/En8l4r5BBN27XAiyil6BAQUPcDYO5ilqagIT FTZgUhLRUi6TQj6FsMIl7u53v0GlGuH8gjEphtjDDoSV0t3AQGAJDDC1znP74A+ IronPort-HdrOrdr: A9a23:OWCF1K4UnwzTB3sIlgPXwOvXdLJyesId70hD6qkRc3Bom6mj/P xG88516faKslgssR0b+OxoEpPhfZqkz+8X3WBJB8bBYOCEghrMEGgd1/qH/9SIIUSXygc679 YGT0EUMrDN5DZB5/oTFGODYrAdKaG8gdmVbWy09QYUcenhAJsQlDuQs22gYzdLeDU= X-Talos-CUID: 9a23:AnqKd2+GFJvMeXEuvCmVv0FXF844YnPz9kzzLhazMTpZc5CuZHbFrQ== X-Talos-MUID: =?us-ascii?q?9a23=3AEjTZTg+KaAx6bmftpCW9J5yQf9s5w62DUmkTq4U?= =?us-ascii?q?LtZa/aiJbKm2jqQ3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,103,1787004000"; d="scan'208,217";a="295313948" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDExpFXzcUaJaUlkbWd55RrttGtkq5u/nW5IEK?= =?us-ascii?q?BxadWsHR1Y5scawW672HABj2E9ftX028jtnGv9iRhbsJnO8iysM4vMAs?= =?us-ascii?q?XRxdGfaFMACqwf02vhahBPAmQgWJMs/5o6B1lkPJIk/WsJEzCCGeljnQ?= =?us-ascii?q?v4ry1h7etr/hSJYvDOgC5l4Q=3D=3D?= Received: from mail-ej2-f12.google.com ([74.125.228.140]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Sep 2026 16:32:08 +0200 Received: by mail-ej2-f12.google.com with SMTP id a640c23a62f3a-c254f705536so222797366b.1 for ; Wed, 16 Sep 2026 07:32:08 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1789569128; cv=none; d=google.com; s=arc-20260327; b=p22MI3qrBE7+5QS6gwKqbgME4aABuuiL2xWIr8+4Exp9nvHJP67XsPr6ictQQ++yrQ XDpD8//0BGiNaw8Lzfwt2NsLsM5ugwhp4I0M56XlBcM1WEaPgPvGkaVSS1JgBodlCEqc 8/TYzMSqCTiXUN1fyNfPd2sP/83Hf/dP1bqR6M1rG1a/LNq4RSN6+UV1IjnC64t6O31f N9xjlTK0eqjHwgJIKz/k0dACMqM3Jtak3CAphwWeEpTe5cluG1WOqMHT8D4gjLIclddE kngaOlk50V2kXJ3sd2vh85zbn5quTMyok/dpBf1lAhMGN0Fs9chOUWlOki1XrBfsQ4GP D0LA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=l3vJUA/aHCNqAVkGYMPWDKSakmXG0NVWFne9eFkQN4Q=; fh=rUoelaXUACdJCARjLH8F6YAKRdhiho/FopSJU736r68=; b=PWlY8KN96yG42SG25ieey+Okaf7nK3kvKNXsYiJNsX3aL+w/LeI20Sl3R8uhxctEDq 7o6dHmnZdVu61/9R+KMU1/nLkimdMC0bFf1T/v+gH/lX+6YJacXTe2z62JxcSjCWxrOJ VkA4GJBtQIww3nY4uvDAroQyJc8CTuwFj/d/LN8eBFLe9+qsqpuKK/bFapLaKmroNDcx twcir7sWubF6/P1Ogp4NsckicmaR4NvwnhkLYDCKPr2TqCBbg6ejFJ+xLMTt4csDIjtC Urm2AAXfHl6o3SVEtaEss9QpVVlAmfjMixvAOccAn3Zc+6E4A77iceNvdinblluij5wW p7AA==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1789569128; x=1790173928; h=content-type:to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=l3vJUA/aHCNqAVkGYMPWDKSakmXG0NVWFne9eFkQN4Q=; b=tk5yWi9tXzSldywVkBkotmLyK+eVcAqNQsVYRWObL+fB1Notu3dcJXX6CLRUWKxcmq 35b44UYWSE7oTD8gLKrX5jKn16cNN+wVHdKv5y9/TUnr8zfffOl7dt9XPwOh0jvKi/1I tNYcy80Fy+1/9hifzSmWnIpIFUJs4tFEKsQvjZJhS3Qh4UsKHSC6mpvFpoCsFH5fJ8Bc gUI1AgtylQtbqT0oeI7hS00eNqNP/dpDdTNsYBWWUlXSE1iM1GnHqdXt8lKwT6S5CfGM ql6CcQsInTyNGSBtpyBW2D9OtDbGLFxA+gHcGFVnE54FF8r7cEwtuxfFi6QnRWZ0YynO rKWQ== X-Gm-Message-State: AFuF++ljWgDiaVAoiQkOG9XS33+ZkOQ+5tF63ZcZg//FU3qBoj+SMKEe XI3V7gu8bvajghFKw6FUn5pNHFX4GwitqKY94phux89oyMX1RLOCcWLje/rk5haixxUdMsXuoEF aHGZ+DpzLaN0hyL7RrcTE5ci7q7ekiEkrrAC3SZM= X-Gm-Gg: AYBFou3Pz2dF0RJ5ZCWTDIKY/JPLK2ZW7pJ6JdKtZaEX6ICWFHauTjgD5K2Ws77hfa+ Xc/bua07UbSQW0CobIpZNHmHR3jlS3OMsJQW2Q2mvUb4OONTHXLvsyeO+XmpvIfsajZ7h6dUnmW cxI3pmy4vN+H5bY8ZbSgTTNRbBi0Qgd9ZvsqOOGGL1WH30M6P7CQmUmZHWft9Ys8cWL4cj60bIa lGq8QuDUIOWyrV3y/mVPkmYw6r6b4LZOo2zqvuY/8pJ01GOJ91YboQeq+Q1dgUwXQL9LLaYANT0 xK5xadK4gLsb3H1j1ekkLs3plbBL14TisMt92Ptrmkmw2RJDhDFnBKHkjLnLW3ABhnFe+Oe0dIJ 5Y/zBN6ssQTJrSZNx8KiYtw== X-Received: by 2002:a17:907:6094:b0:c25:32b0:e56c with SMTP id a640c23a62f3a-c29e51e1e2fmr213222966b.4.1789569127453; Wed, 16 Sep 2026 07:32:07 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Wed, 16 Sep 2026 10:31:55 -0400 X-Gm-Features: AcwNN1X-ms2npk6VmgvjbYPfv19FEOvMUoymPpmx5VzOXiC1ViOJeDaf2615gG0 Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="0000000000002497f2065b9a88cd" Subject: [Caml-list] PAgE'27 Call for Papers (co-located with POPL'27) Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19581 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: --0000000000002497f2065b9a88cd Content-Type: text/plain; charset="UTF-8" PAgE 2027 Call for Papers https://popl27.sigplan.org/home/page-2027 PAgE (Principles of Agentic Engineering) aims to bring together the formal methods and AI communities to advance the principles of safe agentic engineering. It will feature peer-reviewed papers and invited talks from experts in the field. We welcome submissions describing research results, artifacts, datasets, case studies, and experience reports. Topics of interest include, but are not limited to: - Specifications and type-safe interfaces for tool use - Memory and state management for agents - Reliability & groundedness in planning and tool use - Static & dynamic analysis and verification of agentic plans - Safe integration with software engineering workflows - Testing and debugging of agentic workflows - Runtimes, compilers and virtual machines for agentic programs - Evaluation methods and benchmarks for trustworthy agents and agentic software, including safety, reliability, and cost/latency tradeoffs - Safety, security, and privacy of multi-agent systems - Neuro-symbolic and formal methods approaches for agent reasoning and control We also welcome submissions that explore the use of AI agents in the research and development process itself, including agent-assisted ideation, implementation, experimentation, artifact generation, and writing. Such submissions should clearly describe the workflow used, the extent of human oversight, and any lessons learned regarding reliability, reproducibility, and safety. We encourage submissions describing work in progress, position papers, experience reports, negative results (with detailed analysis and hypotheses for future improvements), demos, artifact or dataset descriptions, and talk proposals. Accepted submissions will be presented at the workshop but will not appear in the ACM Digital Library. You are free to submit work for presentation that is or will be published elsewhere. Please ensure that all submissions are anonymized for review. Submissions may be up to 8 pages, excluding bibliography, and should use the standard SIGPLAN conference two-column format. --0000000000002497f2065b9a88cd Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
PAgE 2027 Call for Papers
https://popl27.sigplan.org/home/page-2027
<= br>PAgE (Principles of Agentic Engineering) aims to bring together the form= al methods and AI communities to advance the principles of safe agentic eng= ineering. It will feature peer-reviewed papers and invited talks from exper= ts in the field. We welcome submissions describing research results, artifa= cts, datasets, case studies, and experience reports. Topics of interest inc= lude, but are not limited to:

  • Specifications and type-safe i= nterfaces for tool use
  • Memory and state management for agents
    • <= li>Reliability & groundedness in planning and tool use
  • Static &= amp; dynamic analysis and verification of agentic plans
  • Safe integr= ation with software engineering workflows
  • Testing and debugging of = agentic workflows
  • Runtimes, compilers and virtual machines for agen= tic programs
  • Evaluation methods and benchmarks for trustworthy agen= ts and agentic software, including safety, reliability, and cost/latency tr= adeoffs
  • Safety, security, and privacy of multi-agent systems
    • Neuro-symbolic and formal methods approaches for agent reasoning and cont= rol

We also welcome submissions that explore the use of AI age= nts in the research and development process itself, including agent-assiste= d ideation, implementation, experimentation, artifact generation, and writi= ng. Such submissions should clearly describe the workflow used, the extent = of human oversight, and any lessons learned regarding reliability, reproduc= ibility, and safety.

We encourage submissions describing work in pro= gress, position papers, experience reports, negative results (with detailed= analysis and hypotheses for future improvements), demos, artifact or datas= et descriptions, and talk proposals.

Accepted submissions will be pr= esented at the workshop but will not appear in the ACM Digital Library. You= are free to submit work for presentation that is or will be published else= where.

Please ensure that all submissions are anonymized for review.= Submissions may be up to 8 pages, excluding bibliography, and should use t= he standard SIGPLAN conference two-column format.
--0000000000002497f2065b9a88cd--