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=ikHsEDWi; 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 46D7F40095 for ; Wed, 29 Apr 2026 04:32:14 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:date:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=u6UNyo5UoWY3jsKeBQwiekbbhr0xSlAwBEETjWtiH/Q=; b=ikHsEDWivJ/fa5tUUcQkMpjfogvv1DJr0RcbPxE1USykuH11E7W3LB8T An7G+AZRGlz8dh7bnsVfGqKF1ktzc4UW1adDhU+ru5Q3h7reJfo2jZvQR ndiRCjXQSiNUyaQ8c0wkrFSo53etd4BNUBhrB9BC25i6DrP7uNlO55+Va 0=; X-CSE-ConnectionGUID: OoD1AmWmRFyd2O2S9de6ng== X-CSE-MsgGUID: xeBz5WooTWWrigKukGU47g== 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.23,205,1770591600"; d="scan'208,217";a="274549581" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Apr 2026 06:32:13 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 7316F834F4; Wed, 29 Apr 2026 06:32:13 +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 1B2F681301 for ; Wed, 29 Apr 2026 06:30:01 +0200 (CEST) X-CSE-ConnectionGUID: dAPcLKmHTmmCbL/3kITHkQ== X-CSE-MsgGUID: zgpvveJ0QeyHWigeb6oGug== IronPort-SDR: 69f18948_LtBx5tO3UWwbAEfeqleIc+CY8mQ6DXpEONjnJ150W7gQQpr kTsWoRe6j96tlSHjpduTgQxUdjjTaq+H5g2dhCw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0F0AwDMh/FpgXswZTRaDoQIMVNBAUMCYDIECxkBAS6IJ?= =?us-ascii?q?AOFLIh5njGBLBYpBgkBAwELAj0UBAEBAQEBAQOCC4J0Ao0zHwcBBDQTAQIEA?= =?us-ascii?q?QEBAQMCAwEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw47h?= =?us-ascii?q?k8NgkVRcV5HAQEBAQEBAQEBAQEBAQEBAQEBAQEBARQCDQcpLjgLIwEBLAwRA?= =?us-ascii?q?T0DAQI8JwQbARAJgmGCHQcEC0AEAg6qXAGBPQKLIoE0gQGCDAEBBgQEgQA+B?= =?us-ascii?q?dpKAQmBdAmBTYhYASqBNQGEFQGHSYEVQoJoPmsaAUyBDwSBJBEBAyeEE4Ivg?= =?us-ascii?q?RJ/FXoUgXiEAAUcL4MThTSBRCIDJjMrAQEKSxMXCwcFgWYDgQZuMh16KT4XN?= =?us-ascii?q?FgbBwWBS4MegVeBBoRgeCMsA00DC208ARQjFBsDBHs6BYleB1YeD4FbTWpWA?= =?us-ascii?q?RM8SQUwBBooAiKjAYF8jGOTdoEhBw6EEQWEa4culXAXgUqCOo0TmVREhy+RE?= =?us-ascii?q?44JlWQTCYUNAgQCBAUCEAEBBoF/IzyBIHJOgR4JgUAJCT4DGQ9XjgiDRGqEK?= =?us-ascii?q?YohtGhEND0BAQcCBw0DC4FohF6LIgEBJgcFgUsBAQ?= IronPort-PHdr: A9a23:0UUgcxFrQ59s1LPZWz/hSJ1Gf6tEhN3EVzX9CrIZgr5DOp6u447ld BSGo6k20RmRBc6LsK4aw6qO6ua8AjBGuc7A+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKwEcI oFpeWQhwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyK wi9oRnMusUMjoZvJKY8xgHVrndUdOhbxm1lKF2Skh3h4su84INv/z5ftv8v+MNMS7n2c7g9Q bdFEDkoLmc56dHkuhXEUQaB/GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjqs9 6hkRAb2hSkIKjA16G7YhNB+g6JduxKhugdww5XIb4GPNfpxZb3ScNUHTmdcRMlRVihBAoShb 4sTCucKIOhVo5Xhq1YIsBCxAhWhCe3zxjNVn3P6wbA22PklHQ3b3AEsGtQDu2nWotroLqcfS eC7wrfVwzXfYf1Y2ivy54fTfx87vf2AQah9fdbNxUUyEQ7Ok1WeqZbiPzOQzukCsXKU7+xvV eKzim4osQdxqSWsycctl4LEgYMUylHe+SR52ok4Ptu4SElhYd64EJtfqTuVN5BqQsw8WWFov jw2xaMbtp6mZSUHzoksyBHDZfKdaYeI/g7jW/iLITd+nH9odrGyihey/EW91+HxUse63EtEo CdLnNTAqH4D2h/T5MSaSfZz8Uev1SqT2gzN5exJL1w4mKrZJpMuzLM8ip4evELeFSH4n0X2i bWZdkQi+uWw8eTofK7mqYGGOI9ulg7+Mr4ulta4AeQiPQgCR3KU9vi51LH5+k35WrpKguUtk qnYv5DaPcAbqbS/AwNP1YYj8Rm/Ay+m0NQfgXkIMEhFeAqdg4f1PFHOJfb1Buq8jVS0iDpmx +7KMqf8DpnRM3TPirjscLVn50JB1gY+w8hT64xVB70dLv/+X1L9uMDDARI4NgG43frrBdZ42 48AXW+CDKqUPabPvVOV4O8kPvOCa5UPuDnnLvgo//7ugmE9mV8aZaSn2psYZXGiEPp6P0mVf 2ThjdkdHWsWowYyVuvqiECeUTFIYHayQqQ86SwhBIK+F4fDQZytj6Kd0yenH51WYWZGBkqLE Xf1a4WEX/AMaCWRIsN7jjMEUr2hR5cg1RGoqgD616JqI+rK9iECqJ7vyMV56/fcmBwx7zB4E tqR3m+VQ2FxhGwIRjs23K5loUx6z1eOyal5g/1CGd1T/fxESQE6NZnGz+xmC9D9RBjOfsyVS Fm4WNWmBys9QcwszN8Te0p9Acmtjgjf3yq2BL8Yj6CEC4Yx8qLYxnTxI8d9y23a1KQ6lFknQ s5PNXW8iaJl9gjTAZTJk0SDmKqwe6QcxjbB9GGYwmWWpkFXTBZwUbnZXXAYfkbasMz15kzcQ L+pCropKBNMxsCfJKdScN3mk0tGSvT5NtnGZmK+gWawBRKRyrKCcoXqYHkd3DjGCEQaiQ8S/ HGGNQ4jCiu8v27SEiJiGU/xb07i6+V+r267TlMvwAGNck1h0ae69gQNhfyGTPMTwqwLtzs9q zV1G1a92cjaC92dpwp9eKVcZtQ94FRd2W3FsAx9O4SsIL1hhl4fdgR6p1vg2Rp5BYtejcYns HUkwBJvJqKdylxBbS+X0IjoNLPOMmf88wija7XO2lHQyNuY4LsC5uklpVn7pwGpDkQi/G1n0 9ZL13uc4Y3HAhILX5zpXUhkvyR98oDTZCYh5orSnU9tef2ms3nT0vovA/E5yhupZMtSKqXCG QPvRZ40Hc+rfd0jnVe1bxsCdNJTvPomPoW3ftOA37S3POtphy6rl2IB7YxghBHfvxFgQ/LFi s5Wi8qT2RGKAm6h5L/AmsX+mIQeICoXAnL60y/vQohYeqx1e48PT2aoOcy+gNtk1Nb2Q3AN0 lmlChsd3dOxPwKIZgnv3EtB3GwRpma7mSax1CB5iTdvo6aCj2TV2+q3TBMcISZQQXV6y1LlI Iy6ldcfCVqpKRkgvB2i/1r6yqFAuKllKS/eTVobNzPuITREVa29/qGHf9YJ6J4stnBPV/+gZ FmBVrPniz4ljRvZRzF1+WhjLnetp4nzmAF8hCSFNnFvoXHFeMZ2gxDC+NjbQv0X1T0DLMVho R/QAFX0f9yg/NHO0ozGrvj7TWWqEJtabSjsy4qE8iq9/2xjRxOlzbi1nZX8HA423DWetZEiX DjUrBv6fojg1rireeNhcE5yAVbg6s18Uohgm4o0jZsU1DAUnJKQtXYAlG7yN51c18ecJDIfR HgayvbT5xL52EBqNW6E3YS/W3mAg4Nga9S8fmIKy3cl9ckZbcXcpLdAnCZzvh+5tVeMO74kx m5blatosSRB0IRr8EI3wy6QA64fBxxdNC3ozVGT6sym6b9QbyCpeKSx00x3mZagCquDq0dSQ iWcGN9qEClu48F4KF+J3mf079SuatiWfNs7sBqOjxfNhvNJJYg30PcGmGA0XAC19W1g0OM9g RF0iNuovc6WIk1r+7ilAhNRLSH4fcVV9z3wx/U7/I7ez8WkGZNvHS8OVZ3jQKezET4cgv/gM h6HDDw2rnrz9aP3JQaE8w8mqnvOF8ruLHSLPDwDyt4kQhCBJUtZiQRSXTMgn5d/GBr4jMDmd U544HgW6Dua4lNey6R5PjH5VX3DpAqhcSs5Up7ZIRZLpg1P/EbaN8WC4/k7Qnsep8X46lDdb DXBPExBFikRV1aBBkz/M7XLh5GI6OWeCuekbrPPbbiIte1CRqKNzJOr3JFh+mXEPcGOM39+S vwjjxcZGykhQoKFy3NWEXdE8kCFJ9SWrxq95CBt+8W28fCxHRnq+ZPKEbxZd9Nm5xGxh66Hc e+WnidwbzhChfZujTfFzqYS2FkKhmRgbT6oRP4StGjcRYrWnbVLDxMScD9+Ls0O4q4hlFooW 4aTmpbu27h0g+RgQUVEE03osseuf9AKLmimKF7dAgCGOKnMdlipi4nnJKi7T7NXluBdsRa97 C2aH0HUNTOGjzD1VhqrPLIEnGSBMRdZoo34bgd1BD2pUof9chPieowS73V+0fgui3jNL2JZL TVsbxYHsOiL9S0ByvRnRz4dtjw0d6/c3X7etrSQK45K46czRH0syKQCpix9kuUwjmkMReQpy naI6Ic2+xf+1LHIk2cvUQIS+GsRwtvT5wM6f/2er8cIWG6Yrk9XqzzIUFJS4YMiU4KK2egYy 8CTxvurdHEerJSMu5NbXpecKdrZYiAoaUO7QWeNXgVZFWb5ZyaD1yk/2LmT7iPH9JFi88q1w cNcROMDDw5nUa9LQkV9Qo5YKc8uDGp9yOyV0JZTtyrm9EGDFoIH5/WlHrqTGau9cj/B1OsdP kJaz++gdtYYbtWjiR4lNwAynZyUSRDZBYkf+3Q4PAFo+B4f/iAmFj9hnB+/Ikak5HtZfRKtt jgxjAY2IeEk9TO2pkwyOkKPviw71k84hdTihzmVNj/3Nqa5G49MWWLysAAqP5X3ThwQD0X6l FF4NDrCW7NajqdxPWFthgjGvJJTGPlaBaRaaR4UzPuTar0my1NZ4imgwEZG46PCB/4A3EMyd oWwqntbxw95RPsKe5TqfPBi8wAI3+SJozOi0f03zEkGPUER/WiOeSkO/ksVKr0hICnu9etpq Gng03NCdGUKS/s2s6dq+0c6aKyLyyPt1aIGK1jkarbZdvvA/TSQ05fSGQBVtAtAjURO8Llo3 N12dkOVUxpq176ND1ETMsGELwhJbs1U/XyVfCCUsOyLz4gmWuf1Xu3uU+KKs74Zx0y+GwN8V ZYNqNUINp+ryl3YIM78MLMfz1Mg6BmhdzDnRLxZPQmGljsKuZT11JhswYxUPS0QG01YDnuP3 O6NjTJy2KPFW8oqaHAHWIdCLmgxRMCxhy9euTJHESWz1eUajgOF6nWvw0aYRCm5ZN1lavCOY BpqA9zj4jQz/Z+9jlvP+4nfLWX3XTyNktnI8/8aqp+cF/5OS/9wv1qOwuGwplSPbDD3K4bvD KWoM9BqasHoAHGnVFD5kygyU8r6INeqKO6PnB3sQoFX9oKc2WJ7XSdYPjcZAQtwqugY+K9mY 0sOb4dpOXbV IronPort-Data: A9a23:12h0/6nj+bZAcZ0NPP53ZIbo5gzxLURdPkR7XQ2eYbSJt1+Wr1Gzt xIcDWmAOqneN2Lwfd52YNzkpExS78fQmoRgHVQ9+CE9FC4T+ZvOCP2nc3v9bniYRiHhZBI+v p9GMrEsD+htEySC/k/1WlTFhSMhvU1dbuOkUIYoAggoG0k8Dntn0Us98wIAqtYAqcCjBA+Qs s/FrcTaOVu0sxZ5KWt8B5ir8XuDh9ys/mlD1rACTaoT5gGGyyNFVMh3yZyZdhMUfKEERoZWe M6YlNlVzkuBlz8xB9WslKrMc0Fiatb6IQiUh3NKbLOpix5EqzZa+v5T2C00NC+7Ix3Q9zxA4 I0lWa6YEG/FDYWV8AgpaCS0JgkjVUFw0O+ecCLn6aR/+GWdG5fk660G4EjbpuT08M4vaY1F3 aVwxDzg8nlvLg95qV62YrAEuygtECXkFI82gnpE7jT5MfMjaprnBP7JxON43w5l06iiHd6GD yYYQR9QMiz6O0dkBw9PUdQ5gfuigWT5f3tAslWJqKEr4m/VigtszLzqN9mTcduPLSlXthvC4 DuepiKlUldDbof3JTmtqhpAgsfdnGXqUaoUE6ek9vNjm0Ge3GpVBRELPbe+iaPm1hPiCokBc iT4/AI8orAs6kGJFuDwTj2HoXGJtEAbdMdfRrhSBAalkfGOv1nx6nI/ZjVIbdhjsM4tWRQxx 1qRlpXoAyZuufubUxqgGqy8qDqzPW0KIHQeeDReRBkC5YC6+Ntp10iUCNF+DKSyk9v5Xynqx CyHpzQ/gLNVitMX06K8/hbMhDfESoX1ohAd6izvVUaG6yNFYYuObajvslv60dZDFdPMJrWeh 0TojfRy+wznMH1gvCmEQeFIA7yy++ueajTOhlg2RsF7rW33oDikYJxa5yx4KAFxKMEYdDT1Y UjV/wRM+JtUO3jsZqhyC25QNyjI5faxfTgGfqmKBjarXnSXXFPXlM2JTRLAt10BaGB2zckC1 W6zKK5A90r29piLPBLtHL1BjtfHNwg7xGjJQov8wQjv2r2EfBaodFvxC3PXNrpRxPrc/m39q o8DX+PUkUk3eLOlOUH/r9VMRW3m2FBhVPgaXeQMLrbbemKL2QgJV5fs/F/WU9U7xPsPy7qXp irVt40x4AOXuEAr4D6iMhhLAI4Dl74lxZ7iFXV0Ywj66Gtpeou18qYUer0+eLRtpqQpzud5Q 7NBM4+MC+hGAGaPsTkMT4jPnKo7fjSShCWKI3WEZho7dMVeXADnwILvUTbu0ygsNRCJk/UCj Yeu7D6GfqpbdT9eVJ7XTNmN02KOuWMsnbMufknQffhWVkbe0KlrDC3T0PYMfpw9FD/ezGC4j w+5PxcT/tPJqIpp7ev2v/mlrpioIcR6DEF1D2nW1pfoFCj4r06I455Mb/aMRh/ZDFjLwaSFY f4P6ePRK9gFoQp6iJV9GLNV0q4O3dvjiLtExABCHn+QTVCUJp5/A3uBh+9ji7Zsw+JHhA6IR U6/wNlWFrGXMsfDElRKBg4EbPyG5M4EiAvp8vU5D0Xr1hBZpIPdfx1pACCNryhBIJ9eEoAvm 74hsfFLzT2PsEMhN9Legx1E82iJEGc7bJwmkZMnG67utBsgzwBTQJ7bCxKu2qq1Vfd3DhAIL AOX1Y34vJYN4mrZcnE2K2rB4voFu7QKpyJx7QEjI3anp4P7o8EZjTxr3xY5dAB39il88vlSP zFrPnJlJK/V8DZPgtNCbl+WGApAJUO4/FTp710NlFT2ElejUFbKHlITK+qiwlET8j9YTBhm/ ZWz6mXsYRD1du7fgwowXk9alNL+f4dL7jz9xM+YGseEEaIlYDHjvLScWGoQpzbjAuIznEfhp +J62MpRMIrVbTUxpY8/AKmkjYUgcgiOfjF+cKsw7ZE3EnH5UxDs/zq3cmSaWN5Hft7O+m+GU /1eHNpFDUmC5XzfvwIgJPA+JpFvl6QU//sEQLTgIFAGv5a5rjZEtJHx9DD0tFQ0QudBwNoMF YfMSw2sSmCgp2NYu2vonvl2PmCVZdolZgql+MuX9O4PNYwIscAyUEUU/4a3gU6oM1pcz0rJh D/AWq7Y9Pw96IJOm4C3LL5PKT/pIvzOVcOJ0juJjfJwUf31P/zjiSYpu3j8HgEPPbIuS9V9z ruMl9js3XL6hrU9UkGHuprYJ49Nz/6XcMh7DP7eM1xhwDWOaPXt6UA95lKTdINClYIF1PaBH wKHOdaUcI9MV/hN2ncPcDVvSUcBKqXob5XPoTG2gOSMByM8jy3GDoKD3l34YV5LchQnP8XFN Tb1nPK19PV0kZ9pBiJYI91XWLhGeETCX4kifP3P7QioNHGi2A6+i+GzhCge5iHuIVjaNdTx/ rbuZAX0LTa2s4H2lOBpiZR45EArPSwskNsLXxwv/vBtgGqHF08AF+MWNKsGBrxykiDf0JLZZ inHXFA9CBfSDCh1ThHh3OvNBguvJPQCGtPcFAwb+0m5bySXBoTZJJBD8ixmwWl9exq97eWBB OwdxEbNPUmK8sk0fdoQ2/21v742jLeSjHcF4lv0nMHOEg4TS+dCnmBoGA1WEzfLCYfRnUHMP nI4Xn1AXFr9c0PqDMJ8YDRALXn1Zt80I+kANk9jAeozurl3CMVl96PHAbmp+YBbNJ1MI6MST 3TqQWfL+3qRxnEYpaouvZQunLNwDvWIWMO9KccPgOHUc76Ysgwa0wEqxELjj/3OPCZZFEnBl jSl+GQzHkLDJUxMsFFT4Rtc4Ip/CxrgEBmQ5DMSZlb6fdgRyd/DZxinxRnnJIv27aXvoi20h dvUgFm5+zWridcvmdWyWjn3aLBK7QH92EQoihwVc64= IronPort-HdrOrdr: A9a23:SZIBB6PLpczU/MBcTtKjsMiBIKoaSvp037BL7TESdfUxSKelfq +V7ZAmPHPP6Qr5O0tQ+uxoRpPwJE80nKQdieN9AV7FZmnbUQCTQ72Kg7GP/9SZIUPDytI= X-Talos-CUID: =?us-ascii?q?9a23=3Ae8fVv2h9u392tokl4tsJUkP9/jJuflTlx1PzJm+?= =?us-ascii?q?EDGNCQpnSElyxxINnqp87?= X-Talos-MUID: =?us-ascii?q?9a23=3ASb0K/g2R3D9wZjB8lk3vI3/3BTUj8au2Fl4As80?= =?us-ascii?q?/ttikCi1/Nj3DixuqTdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,205,1770591600"; d="scan'208,217";a="274549361" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDErgi/VjST736wkths4yeUqGH36tv/Uj+qxpV?= =?us-ascii?q?H5uGBs2ycqGP+mBoRXqRWtzxskrTxAludY3ph0qifdD/SDSp52vrwCZa?= =?us-ascii?q?bLEPgggT8/di5eWuTQpxtRSKfGF714UolbiL+1nWYgDvGldvwonrcKaL?= =?us-ascii?q?PpaU+CwmWFo6pfBl815Q2DXg=3D=3D?= Received: from mail-westus2azon11022123.outbound.protection.outlook.com (HELO MW6PR02CU001.outbound.protection.outlook.com) ([52.101.48.123]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Apr 2026 06:29:59 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=F4nzrLTOnDbpcFcfVxrFzRwGSqO2rWImU2IPRTIUGmhg+b62EO0pzbZSmx5KP/UnCdtQLNHSV4YD/UGYpmAcWJ0i/l+F2rqwH5ZB8On6/ezv55sFmYXoNuqu4jbny/SQd63KJLpogTdoi5ZGJIzdmondtJF2wMx/+MlolQyQbv/6vtogZQZjQnRfb43p7elmeYPnKT0H41sUBTxf1w397qa2Z4aeeWTDX+WZCPn6KpmMQL/oOQJqKtm/mp7/jJe3wBUOFvJ4y9B0i4Os8vZBHx1Jj5Q3oeb/jnrKMs3w+rKKi5cGi2cZiAYjPqfzzUCPYT3N7ovQtnN0RQdWba0Mxg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=u6UNyo5UoWY3jsKeBQwiekbbhr0xSlAwBEETjWtiH/Q=; b=Ea5UDRD8CRMBa8JPUZpJCWfmEID+BuUE4Uya4dDfj1zKaYHoo0IHdUz2v0ifJEQ0PU2TrgeKTXoUM0Kz/9eegtTeU1BFrx8d/WRFn/yfdA7VB2Y87ClmC5wC+JpwQVRSpAmpqpfvk0O1m8/P50jgZM8iDBEdCclSJcIUXVh9WuesEwIdJkf44U+PWEY5e2mkdIVZ4GDZ+kIH8SwEHxcebStnIU/EZMRcwTdRJlQFejPQ9hkM+30ZOSTtaT+H5vENtTmKqmb8Ek8ymlWajN2mQQ3qEp4QwqFh5f5KGp0KXrElJWwblJxf0mQfUZcGFCdrlcWl59cUZ+gIjqIW5nDjzw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=northeastern.edu; dmarc=pass action=none header.from=northeastern.edu; dkim=pass header.d=northeastern.edu; arc=none Received: from BLAPR06MB6996.namprd06.prod.outlook.com (2603:10b6:208:293::11) by CH8PR06MB10974.namprd06.prod.outlook.com (2603:10b6:610:2b6::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9870.19; Wed, 29 Apr 2026 04:29:53 +0000 Received: from BLAPR06MB6996.namprd06.prod.outlook.com ([fe80::ffb5:9e03:3784:98a]) by BLAPR06MB6996.namprd06.prod.outlook.com ([fe80::ffb5:9e03:3784:98a%6]) with mapi id 15.20.9846.025; Wed, 29 Apr 2026 04:29:53 +0000 From: Yangtian Zi To: Yangtian Zi Thread-Topic: Request to distribute: CFP: 1st International Workshop on Specification-Driven Development Lifecycle (SpecOps 2026) @ SPLASH/ISSTA 2026 Thread-Index: AQHc14/AQyuFz0jnLEmgPy5Vn8Gx2A== Date: Wed, 29 Apr 2026 04:29:53 +0000 Message-ID: Accept-Language: en-US, zh-CN Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: BLAPR06MB6996:EE_|CH8PR06MB10974:EE_ x-ms-office365-filtering-correlation-id: a125e11e-eec2-4f41-458f-08dea5a7f5b7 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|366016|786006|7416014|376014|1800799024|38070700021|8096899003|18002099003|56012099003; x-microsoft-antispam-message-info: cwKuvSRl4HOsiUFh/gPREpZ+x3clw3TLlHd+3DgCTVxpzpEj4cnEwxVbK0GnoRwpg4UFJHXZ28AtoYQocOlH5PLc4fCRR4sQsI0Nei6EwXLsgPMtIH5Itf0fj/EUsJHbbsND16Q4bgWz8FaG58ZIvwnMyfGlc7Nkh/0FlNXcgMQYew4odoidhBjlC+XtGwZW5E5M68MNj42o1m6HeD6FUhK+KR/aDuLkAPpJXyg4Abp6y4kUHbhQVsl8tvUAXlKH5wyqw9X9FnGx8VIxYHhLSkp8zQXhIEDPmpF7A3JfClS+BYsC6r08xE18RLRQTa+e10pBL7SRd6QRtxH/qhdWu3d/LZOwiy+TVVSNDzMuQcMUSlWZKKo7ZgtMXf3NaEu+sKwq11IRyRhuViS9db22kTN6cwxQ+kfFvJ9FklzcUBKQ/gKxgCwiJZqa1NvMBF3gi16iWIX4Y1QSBlTC41axNJbm+WafY8GMnSvsrJqdD9zsPWuns9VJ5vbYAfTxcYT5Er/rnSNECgaXkslSNVUYh2IYZaE47W6CT1bBW4eQdjfIR8hul7A1lfBkoUf/AjqhAptUSyy2wT1DRXzDjSpYWRYgw2FybsBm2USVFhDqRgxlo3w2YHmv/FRuRIDmaq6crgC8QWkvMHA+Cph7avchD+6h+5nAhap/9RlmSPOfwPEBf6qc4DGHteaXIROdu4gAghhsPSxVKdEr5QfcWiY9EQnSgIfJYMpS+cNGZxTq+/c= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:BLAPR06MB6996.namprd06.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(366016)(786006)(7416014)(376014)(1800799024)(38070700021)(8096899003)(18002099003)(56012099003);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?bGkAOru+Ds8AhMpolUUBRgso466Nhlg34JlWgcQdTeapDm4+yZK9P11Kbk?= =?iso-8859-1?Q?lzaGyNFcxDhk8lHvUdDO+yDi5cSIkaVr6JA1DoLNwz/RwCEn3qYauXEVTY?= =?iso-8859-1?Q?/WzJNTNNDjbIPJJNN2heUBakW1J0fos6J3UpPq57NEOezLO1qXhW953zv2?= =?iso-8859-1?Q?Lolk0lMOalSqdfX/Sty/jJlcJ04K+8spibjzb42YAVcn+hTFW2jfE8SbYp?= =?iso-8859-1?Q?VPkZAkGszVu3YN3ssW3paKFwS8K7T1+poNKEo4knaBeDfcKuHk+Z3mNhW2?= =?iso-8859-1?Q?hZCgOKoOfp+orwhVGM9/FYYC3ltjY6hh7fJpGFM/53y5aJnAhE/B4dOoAK?= =?iso-8859-1?Q?tI/EU6jpgRl2Kw6HVnaT0stagkteFQV/OTlilCJzVfiazFge7SaU9ZJW4E?= =?iso-8859-1?Q?SafRFt+BFmRSDipmSbDp9s5vWJxA/7TI7Z7kdGLv0gr/YmRho1urAuRCvo?= =?iso-8859-1?Q?QpTov3+mCfd9jH6QBX6Ay82jcVlWqzpx/yCIktcFpLsA/eG9gGKIsKTrU9?= =?iso-8859-1?Q?aqoEzsIILWkskt1gMJQm1c4APTTMWYQXThuH+N8b1MTcNS16/7kD8GBNnz?= =?iso-8859-1?Q?4xx87ylPVgs3XE9lPBii4ze55qdNozSZrKIlrMVupJro73mYtRH8ThxMF+?= =?iso-8859-1?Q?7f4xh2Nk2lahd4X7u5E1UrUhICpBjBwpOjUCC9AyzpKldLc6k0QV/ASTT2?= =?iso-8859-1?Q?pIvSeXG47yeplk5uzKy7BymRCe9JjsNSBOBT7saySEhBStGE9kWBVC7Ukq?= =?iso-8859-1?Q?LpNe7QMDIiTLOPU7hdmKtIz7jiNcBXkiYcScThEIh3VIrKK66jJ8fkZfyh?= =?iso-8859-1?Q?XrEJVMj0FQBeN3RncbPX0V9L7R6ScWBRjkXoLE2fkz+IdfUx0nNuZ5a5iK?= =?iso-8859-1?Q?TG5NwqOw1irQxVBBpXx6bJUN1wP5rvzfdACi5FXYGfCVTXGp0B+APdvj54?= =?iso-8859-1?Q?Mp/qZx0dEHAGLyzCiCV+uNTgDslb7BzozmbuDZVjBnaZwNDrFw9bsuguqs?= =?iso-8859-1?Q?8Lbh5kh7kRULfETzliq34BtimhfKEwbMjNhnIEZjfgJM/eicGkESZeZotT?= =?iso-8859-1?Q?pAnrGmD4mqfb+rkdyjm5fBEoJ8QY1zWlPvCkESQl9MsuIJVrn+r8Da0YJ/?= =?iso-8859-1?Q?GsYasB7SnFsImVVq3uX2XijVufD62wAPIN0lAiBBDZX0QpZriunA3H2/2O?= =?iso-8859-1?Q?DFk/4amLQTwG0h3P0vZOyDw+u0tVLtzlG+czR90wR0lAqjvou9eGFUTZXr?= =?iso-8859-1?Q?m5RTaCHyq179EZqwl5fXwYYrbMaUogEvaS+6savX17ocMJu59XTiah9Nqc?= =?iso-8859-1?Q?udN95tD6Sizzq5e8vXXrrA6M5Dum0/r43jZ+16WHLbOasvu8Yx5OdLEPTV?= =?iso-8859-1?Q?m47Yduyx8GpDSPw8g/yBW5oo2Y0CPny9+Oi74wmKoR/YDwS7o7xCrFf/9i?= =?iso-8859-1?Q?5KuFXlxXqmfHfi7jWiaXRFUsexfhbYKIkyTYBu76m4M5cis4z4UOunHaQ/?= =?iso-8859-1?Q?d/N/M0ULxAnA3ZjKmtjfoVGGNYpmUsXaM0L2K6KsExhmhgREU88bPrRx2F?= =?iso-8859-1?Q?HcchSqX77MRSDQWrTpaltgk47sqlZlW8naZEpIeUNy4gzvs0eZ57+117Si?= =?iso-8859-1?Q?VcHaYosQ2ITofPwjdYeR21J1j0MpCD1N3YuM0yXj4vcMgHN4eRZYyefoac?= =?iso-8859-1?Q?aI9kPTMMe1n9+cDjVMV+zocylQVgS0yfy0s1OIjHXad26KN+VtnaCUbEcm?= =?iso-8859-1?Q?ZQ7YtIz2o8aXbNNcVopKSjHFKWSw7zYSYAzxwbBkF8kuyk?= Content-Type: multipart/alternative; boundary="_000_BLAPR06MB699696495B3EAC5BE8E4792690342BLAPR06MB6996namp_" MIME-Version: 1.0 X-OriginatorOrg: northeastern.edu X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: BLAPR06MB6996.namprd06.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: a125e11e-eec2-4f41-458f-08dea5a7f5b7 X-MS-Exchange-CrossTenant-originalarrivaltime: 29 Apr 2026 04:29:53.3496 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: a8eec281-aaa3-4dae-ac9b-9a398b9215e7 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 89jGdV9eu9S9VugX79CfKAUnTptP81p9bLYVTTcuDWuAMnJRdO/XTw5Jrtz2XFXmA7C6Tz5FrkBh7ZdYV0oCyA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH8PR06MB10974 X-Validation-by: zi.ya@northeastern.edu Subject: [Caml-list] Request to distribute: CFP: 1st International Workshop on Specification-Driven Development Lifecycle (SpecOps 2026) @ SPLASH/ISSTA 2026 Reply-To: Yangtian Zi X-Loop: caml-list@inria.fr X-Sequence: 19499 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: --_000_BLAPR06MB699696495B3EAC5BE8E4792690342BLAPR06MB6996namp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear mailing list maintainers, We would be grateful if you could distribute the following call for papers. Please let me know if any changes are needed to meet the posting guidelines= . Thank you for your time. Best regards, Yangtian Zi Northeastern University SpecOps 2026 Web Chair ************************************************************* 1st International Workshop on Specification-Driven Development Lifecycle (SpecOps) October 6, 2026 https://conf.researchr.org/home/splash-issta-2026/specops-2026 Oakland Marriott City Centre hotel, Oakland, California, USA ************************************************************* Overview =3D=3D=3D=3D=3D=3D=3D=3D=3D As software systems grow in complexity and autonomy, the gap between stakeholder intent and system implementation widens across the entire development lifecycle. This is a challenge at the heart of modern software engineering: the specification gap. Requirements are often informal and scattered, architectural decisions drift over time, test artifacts only partially capture intent, and legacy codebases frequently lack reliable ground-truth specifications. Recentering the Software Development Life Cycle (SDLC) around specifications offers a principled path toward alignment, correctness, and maintainability. SpecOps 2026 advances a vision of specification-driven SDLC (Spec-Driven SDLC), where specifications serve as first-class artifacts spanning requirements, design, implementation, testing, deployment, and evolution. The workshop explores how foundation models (e.g., GPT-4, Claude, Codex, Code Llama) and agentic AI systems can synthesize, refine, validate, and operationalize specifications from heterogeneous sources -- including natural language requirements, source code, execution traces, and architectural models -- while enabling continuous verification and lifecycle-wide traceability. Bringing together researchers and practitioners from Software Engineering, Programming Languages, Formal Methods, and Artificial Intelligence, SpecOps 2026 aims to foster dialogue on how AI-powered tools and autonomous agents can transform specifications from static documentation into living, executable, and lifecycle-spanning drivers of modern software and AI system development. Areas of interest include but are not limited to: - Spec-driven development for AI-assisted programming - Formal/semi-formal specifications for LLM-based systems - Verification, validation, and alignment of autonomous agents - Specs as interfaces between humans and AI systems - Industrial experiences and emerging practice Important dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Abstract submission deadline (optional): June 10, 2026 Paper submission deadline (optional): June 15, 2026 Notification: July 15, 2026 Workshop: October 6, 2026 Paper submission guidelines =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D We invite three types of submissions: * Full Papers (page limit: 10 pages, including appendix + 2 pages for references) describing original theoretical or empirical research, new techniques, methods for emerging systems, in-depth case studies and industrial experience reports. * Short Papers (page limit: 4 pages, including appendix + 1 page for references) that fall into the following categories: - Short Research Papers: Preliminary results, Vision papers, Position papers. - Tool Demonstration Papers: Descriptions of tools and systems with live demos at the workshop. - Dataset Papers: Descriptions of benchmark datasets and evaluation corpora with an associated artifact. * Extended Abstracts (page limit: 4 pages, including appendix + 1 page for references) that fall into the same categories as short papers. While the content is the same as short papers, extended abstracts are not subject to Article Processing Charges (APCs; see https://libraries.acm.org/acmopen/article-types). Submissions must adhere to the ACM SIGPLAN style (acmart format - sigplan subformat, see http://www.sigplan.org/Resources/Author/#acmart-format for detailed instructions) and must be submitted via the SpecOps 2026 author interface of HotCRP: https://specops26.hotcrp.com Submission should be in the two-column proceedings format, usually following the LaTeX document class acmart with option sigplan (SIGPLAN/SPLASH-associated) or sigconf (SIGSOFT/ISSTA-associated). It is recommended to use the review option when submitting a paper; this option enables line numbers for easy reference in reviews. All papers (Full research paper, Short research paper, Tool demonstration paper, Dataset papers) will undergo a double-blind review process. Author names and affiliations must not appear in the body of Full Papers, and self-reference should be avoided and made in the third person. We welcome both academic and industry contributions and aim to foster a vibrant discussion at the intersection of software engineering, programming languages, and AI systems. We look forward to your submissions and participation! Organizers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Rajdeep Mukherjee, Amazon Anastasia Mavridou, KBR Inc at NASA Ames Research Center Saikat Dutta, Cornell University Program Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Jose Pablo Cambronero, Google Cristina David, University of Bristol Marie Farrell, The University of Manchester Alessio Ferrari, CRN-ISTI Divya Gopinath, KBR Inc at NASA Ames Research Center Eunsuk Kang, Carnegie Mellon University Andreas Katis, KBR Inc at NASA Ames Research Center Martin Kellogg, New Jersey Institute Of Technology Pascal Kessell, Meta Pardis Pashakhanloo, Amazon Web Services Brandon Paulsen, Amazon Chao Peng, ByteDance Corina Pasareanu, Amazon Prime Air Ajitha Rajan, The University of Edinburgh Baishakhi Ray, Columbia University Marcel Sousa, University of Oxford Michele Tufano, Google He Ye, University College London --_000_BLAPR06MB699696495B3EAC5BE8E4792690342BLAPR06MB6996namp_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Dear mailing list maintainers,

We would be grateful if you could distribute the following call for papers.=  

Please let me know if any changes are needed to meet the posting guide= lines.

Thank you for your time.

Best regards,
Yangtian Zi
Northeastern University
SpecOps 2026 Web Chair


*************************************************************
 1st International Workshop on
 Specification-Driven Development Lifecycle (SpecOps)
                    Octob= er 6, 2026

 https://conf.researchr.org/home/splash-issta-2026/specops-2026

  Oakland Marriott City Centre hotel, Oakland, California, USA
*************************************************************

Overview
=3D=3D=3D=3D=3D=3D=3D=3D=3D

As software systems grow in complexity and autonomy, the gap between
stakeholder intent and system implementation widens across the entire
development lifecycle. This is a challenge at the heart of modern
software engineering: the specification gap. Requirements are
often informal and scattered, architectural decisions drift over time,
test artifacts only partially capture intent, and legacy codebases
frequently lack reliable ground-truth specifications. Recentering the
Software Development Life Cycle (SDLC) around specifications offers a
principled path toward alignment, correctness, and maintainability.

SpecOps 2026 advances a vision of specification-driven SDLC
(Spec-Driven SDLC), where specifications serve as first-class
artifacts spanning requirements, design, implementation, testing,
deployment, and evolution. The workshop explores how foundation
models (e.g., GPT-4, Claude, Codex, Code Llama) and agentic AI
systems can synthesize, refine, validate, and operationalize
specifications from heterogeneous sources -- including natural
language requirements, source code, execution traces, and
architectural models -- while enabling continuous verification
and lifecycle-wide traceability.

Bringing together researchers and practitioners from Software
Engineering, Programming Languages, Formal Methods, and Artificial
Intelligence, SpecOps 2026 aims to foster dialogue on how AI-powered
tools and autonomous agents can transform specifications from static
documentation into living, executable, and lifecycle-spanning drivers
of modern software and AI system development.

Areas of interest include but are not limited to:
- Spec-driven development for AI-assisted programming
- Formal/semi-formal specifications for LLM-based systems
- Verification, validation, and alignment of autonomous agents
- Specs as interfaces between humans and AI systems
- Industrial experiences and emerging practice

Important dates
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Abstract submission deadline (optional): June 10, 2026
Paper submission deadline (optional):    June 15, 2026
Notification:                  = ;          July 15, 2026
Workshop:                   &n= bsp;            October 6, 2026

Paper submission guidelines
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D

We invite three types of submissions:

* Full Papers (page limit: 10 pages, including appendix + 2 pages
for references) describing original theoretical or empirical
research, new techniques, methods for emerging systems, in-depth
case studies and industrial experience reports.

* Short Papers (page limit: 4 pages, including appendix + 1 page
for references) that fall into the following categories:
- Short Research Papers: Preliminary results, Vision papers,
  Position papers.
- Tool Demonstration Papers: Descriptions of tools and systems
  with live demos at the workshop.
- Dataset Papers: Descriptions of benchmark datasets and
  evaluation corpora with an associated artifact.

* Extended Abstracts (page limit: 4 pages, including appendix +
1 page for references) that fall into the same categories as
short papers. While the content is the same as short papers,
extended abstracts are not subject to Article Processing Charges
(APCs; see https://libraries.acm.org/acmopen/article-types).

Submissions must adhere to the ACM SIGPLAN style (acmart format
- sigplan subformat, see
http://www.sigplan.org/Resources/Author/#acmart-format
for detailed instructions) and must be submitted via the
SpecOps 2026 author interface of HotCRP:
https://specops26.hotcrp.com

Submission should be in the two-column proceedings format,
usually following the LaTeX document class acmart with option
sigplan (SIGPLAN/SPLASH-associated) or sigconf
(SIGSOFT/ISSTA-associated). It is recommended to use the review
option when submitting a paper; this option enables line numbers
for easy reference in reviews. All papers (Full research paper,
Short research paper, Tool demonstration paper, Dataset papers)
will undergo a double-blind review process. Author names and
affiliations must not appear in the body of Full Papers, and
self-reference should be avoided and made in the third person.

We welcome both academic and industry contributions and aim to
foster a vibrant discussion at the intersection of software
engineering, programming languages, and AI systems.

We look forward to your submissions and participation!

Organizers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Rajdeep Mukherjee, Amazon
Anastasia Mavridou, KBR Inc at NASA Ames Research Center
Saikat Dutta, Cornell University

Program Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Jose Pablo Cambronero, Google
Cristina David, University of Bristol
Marie Farrell, The University of Manchester
Alessio Ferrari, CRN-ISTI
Divya Gopinath, KBR Inc at NASA Ames Research Center
Eunsuk Kang, Carnegie Mellon University
Andreas Katis, KBR Inc at NASA Ames Research Center
Martin Kellogg, New Jersey Institute Of Technology
Pascal Kessell, Meta
Pardis Pashakhanloo, Amazon Web Services
Brandon Paulsen, Amazon
Chao Peng, ByteDance
Corina Pasareanu, Amazon Prime Air
Ajitha Rajan, The University of Edinburgh
Baishakhi Ray, Columbia University
Marcel Sousa, University of Oxford
Michele Tufano, Google
He Ye, University College London
--_000_BLAPR06MB699696495B3EAC5BE8E4792690342BLAPR06MB6996namp_--