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=l5my8yOn; 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 10BA440085 for ; Fri, 16 Jan 2026 13:25:04 +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=qa15gQdUzMEUYuT800yZnzFeCcNjKKPlU3kYRJ+T/6w=; b=l5my8yOn8dj5a1U8A98YJABmirKL6RR9Iu8K5qnvff9qtbg3wE3As5yV jFy+xdVDsuNwnXKMswEkVHmGGhJeXV91z3QsKGzo9P83RtcC0x2guxG+0 XIDCIivKAbs9IhpBmZZ1eqVS0YGj5hbAteZCtZHEPjPwMq5FEADdqyfNb s=; X-CSE-ConnectionGUID: mnMptYpwTae/q561ErTuRQ== X-CSE-MsgGUID: LbpClO8YR8Sr98ulhfIGpg== 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 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com 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.21,231,1763420400"; d="scan'208,217";a="258956231" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jan 2026 14:25:00 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 481DD835A6; Fri, 16 Jan 2026 14:25:00 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id D673B8357D for ; Fri, 16 Jan 2026 14:24:11 +0100 (CET) X-CSE-ConnectionGUID: 60tMy/rmS+2cLvkf6bwVaQ== X-CSE-MsgGUID: uDMAjdr8TLyyK+OYRa9tHQ== IronPort-SDR: 696a3bfa_b5RoEqOTlzzgwIh72DmKcrpbmt+T5okX49EPkNUNfjJrFOd rb2ahal73UUwut3SB+AqAVGgarESK71OQhK8Khw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HqFgBsO2ppgx6Z50MWBSUaHgErCwYMIoFQAoE7MVOBB?= =?us-ascii?q?QKBEgQLGQEBLgSIIAOFLIh5njGBLBY4AQMBCwEBNB0EAQEDAQOCDI9uHwcBB?= =?us-ascii?q?DMGDgECBAEBAQEDAgMBAQEBAQEBAQENAQEFAQEBAgEBAgQGAQIQAQEBATkHD?= =?us-ascii?q?juGTw2CRVFxYwg6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQETAg00BiQBNwsjA?= =?us-ascii?q?QEmAwkGEQEYZycEGxqCYAGCHQcPQAMBAgIMjROWfkNnCwEeNiMBSAJWQokSA?= =?us-ascii?q?QEBdoE0gQGCDAEBBoEIPgXaXoFnAwaBTQGFbYJlASqBNAGEEIR4QoFJRIFXg?= =?us-ascii?q?jWBdk2BDwICGIEMEQSEOoIvgiZ6FB2CLIFsiGaHCYFEIgMmMywBVRMXCwcFg?= =?us-ascii?q?WYDgQZuMh2BIz4XMlgbBwWBUIkED4oqZAMLbT03FBsDBIE1BY5HW0eCJx02C?= =?us-ascii?q?0IhTyIsExUIFzBjklqPZ4F8oXqEJoFkDIoulXAXqmuZBo4JlWQThRYCBAIEB?= =?us-ascii?q?QIQAQEGgX4kPIEgMxojL4E/BQSBQBM8HA9XjXCDWoUTvChFMwIBOQIHCwEBA?= =?us-ascii?q?wmRajSBSwEB?= IronPort-PHdr: A9a23:auXk0Ry3ldPzuYLXCzLcw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xCZva0m1QWYBdmTwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezbr5+N gm6oRneusULn4dvLro9xxTUqXZUZupawn9lKl2Ukxvg/Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRfMVQWA6WIQX3sZnBRVGwTK4w30UZn3sivhq+pywzKaMtHsTbA1Qjut8 aFmQwL1hSgdNj459GbXitFsjK9evRmsqQBzz5LSbYqIM/VzYq3Qcc8HSWZYQspdSjFKDoehY 4YPCuYMO/tToYvgqFsUtRawBReiCv7zyjFGhXH5waI13v87Hg3awAAtBc4CvGjJoNjzKawcU fq1zK7NzTjbc/5W2jD96JPVeR4ju/6MX69/cdfMwkQoDQzFjVKQqZflPzyP1OQCrnWb4vFlV e2xl24osRt9rSSoxscpk4TEgJ8exV/Y+ytj2ok1OcG4R1BhYd6iCJZdtT+WOpVrT84mXmxkp SI3xqAatJOneCUHzJsqyRDCZvGFcoWF4hztWeSfLzp7mH9oZq+zihS8/0S+1uHxUse53VBXp SRLldnMs2oC1x3V6sWfVPRy4kCh2TGX1wzJ7eFEO080mbLAK54gzb4wjp4Tvl7FHiPsn0X2l qCWel069eey8OTmYqnppp+GOI91kAHyKKMumtawAek+LwMAXHCb9Py92bDh50H1XrtHguAsn qXEsJ3XK94Xq6ClDwNNzIou6gqzAjmj3dgFgXUIN1NIdReHgoT0J13DJe30DfmhjFmplTpn2 v/LM7v8CZvXNHfDiq3ufbNl5k5c1gUzyddf6opRCrAOPP78QFb9uMDEAhMlMAG43efqBMlg2 o8EQWKPGq+ZMKTJsV+U+O0gPvOAa5MSuDb4M/Ql5vjugmElmVIFfKSk34EbZG62E/h7OUmVf Hrhj9kbHWoEogYyVOnqh0eDUT5XaXayRaU85jQjBYK+F4fDWJutjaSF0Sq0HJBbZ25LBk2WH nrqeYWJW+8BZziRIs9miTwEVaKuS4082hGzrwL6zqRoLvbO9SECqZ3j09116/XJlR4u7Tx0E 9id02aVQm5ohGwIQjs20Ll7oUx80VeDzbN1g+dYFNxW//NGSB02NZ/az+xgCtD9QBjNftmTS Fq+RNWpGik+TsgtzN8Wf0Z9B9Kigwje0yayDL8aibuLCp8u/K/E0Xf/Ot5xy2zY26k/jFcoW NNCNWiph6Jj7AffHpLFn1mFm6upa6gR3TLB+HqZwWqWpEFYUAlwUb7ZXX8Be0Tat8j25kTHT 7O2FLsnMQpBycuaJ6VSZdPmg0tISuv/NdrYe26+hmKwCgySxryQdIfkY3wT0j3SBkQciAAT5 XiGOBAkCCq9vmzQESRiFUn3Y0Pi6eZ+qG20TkszzwySd0NvzqK79BFGzcCbHtoQ2alMmC4jp yg8SF++2MnWAtiMuiJkcblVJ9g65QEU+3jesllUPZu7Z4BrhFIDO1B+vET11xx1BpholMU2p TUhyw8kevHQ609Iaz7NhcO4AbbQMGSnpU3Hg8/+31jf1I3T4aIT8LEjrE2lugi1F00k+nEh0 t9P0nLa6I+ZRBEKX8fXVUA6vwN/u6mcejM0sorX0mZsOKu4rxfH1s4gQuAiz0XoZM9RZZuND xS6CMgGH46rIe0ulUKua0ccJv5Jof9oYJ39LvLZ1vP+NeVnhzKvj2hayIVwzkvK/C15GabTx 5hQ5fae00OcUivkylestseigYdfeTQbBXay0wDhFNZYI/UqJdZRVz/3ZdWvxtJlm5PhHXVf8 TZPHnsg38mkMVqXZl35hkhL0FgP5GeggW2+xiB1lDcgquye2jbPyqLsbkhPPGkDX2RkgVr2R Or8x9kHQEilaRQonxq59A77waZcvqF2M2jURw9BYSH3K2hoVqb4uKCFZoZD75YhsCMfV+rZA xjSQ736uBsT0S/+N25T2Dl9fDav+934kxF8lGOBPSNrtnOKMcp0xBrZ+JndXasPgXxcH3A+0 GSMQAPkbLzLtZ2OmpzOs/6zTTekX5xXKmzwyJ+Y8TC8/StsCAG+mPa6npvmFxI72Gn1zYoPN 22AoRDib43sz6n/P/hgexwiHEXi8J8rRt4gydI5259NjHEZgY6V9HgLjE/2PMlSn6n5aTBeI FxDi86Q+wXj1EB5eziAxIXiVnyfztZJYtSmayUd3Sd3vIhaTayT6rJDhy58pFG1+BnQbfZKl TAY0fIy6XQejonloSIVxz6GSvAXFEhcZmn3kgiQqsu5tONRbXqudr650Ax/m8qgBfeMuFMUV HH8c5YkVSh+i6c3eErWzmamu927JoKJZI0d60idkBDbj+FXJI8Zk/cWjGxsPme1sXA+yuE9h ABjxtnk487dcDwrpf/iREUAU1+9L8oIsingl6Nfgtqb08i0E5NtFy9KFJrkQPS0ES4D4PHuN gKACjo5+RL5UfLUGQ6S7lsjrmqaTc/tbSrOYiBElpM5HEr4RgQXmg0fUTQkk4RsEwmrwJeka 0Jl/nUK4Ua+rBJQy+VuPh25U2HFpQ7uZC1nLfrXZBdQ8AxG4F/YdMKE6ecmVTlC4Ib0/VDSd DfCbltGUDQAWUufB1nhMqSG4NTc+q6TAe/0fJ6sKf2e7PdTUfuF38flypF45GPdaprRZSBrU PNmj0NAWmt5EsbVhh0KRjAe0SnKaoTIwXX0sj0ypce5/vPxXQvp7obaELpeP+Jk/BWuiLuCP eqd125pbCxV3ZQWyTrU2aASiRQM3jp2eWDnQtFi/WbdCbjdkahNA1sHZjNvYYFWurkk0FAFO NaH2I2qkOQj17hsVgwDDgSpm9n1N5JVZTvmbRWeWBvNaO7MTdHS6+fwZ670CbhZjeEP8ga1p S7eCEj7eDKKizjuURmrd+BKliCSehJE6sm7dV52BG7vQciDCFXzOcJrjTAw3bw/h2/bfW8aP z9mdkpRr7qWpSpGi/R7EmZF4zJrN+6B0yqe6uDZLN4Rv54JSmxskPlG5X0h17ZPxCRUHPUww HOK/oQw+wjgivGPzSF7XRYIoTFOxcqKsUhkJaTF58xAVHLDr3dvpS2bDxUHoccgC8W65f8Wk IOW0vuuc3EZq4Gxn4NUHcXfJcOZPWB0NBPoHGWRFw4ZVXuwMnmZgUVBkfaU/3nTr54gq5Gql oBdL90THFEzCP4eDVxoWdIYJ5IiFCs+j6XO3ZJXuyHnpUbfGZBTvZfcVvuQDejHLTuFhP9PY B5CktaaZcwDc5b23UBvcAwwhIPRB0/ZRsxAuAVkflc95R0VqCgkEDVqnVr9agS2/HIfU/Wzm 1Rl72k2KfRo/zDq7VAtI1PMryZli0g9l+LuhjWJeSLwJqO9NWm5Iy/5q0F3OZT+EV8dheiam EF4PXHPQLcD19OIlEhumFfV/MMXQa4GE/UdJgcIxfaMe/gkl19br3f/rXI= IronPort-Data: A9a23:jgnvoauAaBGZEHddZxQ7YrYuB+fnVLVaMUV32f8akzHdYApBsoF/q tZmKWmCOv7fZTTzftsiYYrj8k0F7JbXnNRkTwA9pSwyQi9DgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOhTrOCY2YpGFIMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8koHUMja4mtC4ARnPK4T5jcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgpo Dl+ncDYpTMSA0H5sL91vy+0vM1JFfYuFLfveRBTuCEIpqHMWyOEL/5GVCnaMWCEkwre7K4nG fEwcVgwgh6/a+2enuqnb/grnMEYb5PgGJ0ctC9q0g/QNKNzKXzDa/2iCd5w2Sdoj4UWRa6OP ZRBMHx3dBTHeAFCNhEcD5dWcOWA2Ca5KWYB7gvI/uxsuwA/zyQpuFTpGMLPZMffFJkKwB3Br z3IojHwARYBNNWdxSet93+wj6nEmiaTtIc6TebmrKY62ATDroAVIAA6cHK5rePptmqvSvEcD H0u83syjZFnoSRHSfGmBUHg/CHZ1vIGYPJbGug+rQWM0bb8+BecHmFCTzhbadVgutVeeNAx/ lqZx9msXWQ34OfLESvb7q+UqiiuNCRTJmgHDcMZcecby4e7vKQiyQjKdZU5G4qrjdOrEy7Oy gnf+UDSmI4vYdg3O7JXFG0rbhqptsDDC1ZtvlWNADr8qBthZIm+e4Gkr1Pc6J6szbp1rHHR5 BDoeODEtIji6K1hcgTRG43h+5n1vJ643MX02wIHInXY323FF4SfkX9sDMFWfx01appbJFcFk WfLowRW6odUPX22Ja5xaMTZNvnGOZPITIy/PtiNNoQmSsEoKGevono0DWbOhD+FraTZufpmU XttWZ31VS5CYUmmpRLqL9ogPUgDnH9umTqIG8imlnxKE9O2PRaodFvMC3PWBshR0U9OiFy9H w93bpPRm0dsQ6flbzPJ8IUeC1kPIDJpTdr1ssFbPKrLaAZvBGhrWbebzKIDar5Vuf1ftt7J2 XWhBW5e6l703kPcJSuwN3tMVbLIXLREl0wdAxACB1iS5iUcUd6d15tHL5oTVps7xdNn1s9xH qUked3fI/FhSQbn2jU6bLvhnrxYdDCuoxyEBAu+QT0FZ5U7bRf4ytzlWQrO9Sc1ESu8s/Ulk YCgzg/2RZkiRRxoKcTVd9aD7gqWlmcMv95fRG7KIYF3VHz81ol1OgvdivMTCOMdGyXpnze1+ V6fPkYFmLPrvYQwzujsuYmFiIWYS81FAUtQGjjg34acbCX10DKq/t5dbbyuYzvYaWLT/Zeib 8Vzy9XXEqUOvHROgrpGP4db94AMzPqxmOYC1SVhJmvBUHqzALA5InWm49hGhpcQ+pBn4zmJS mC90fgEH46WOfHVMk8bfyskSeWh6cs6uBfv6dYNHUGrwxMvoZSmVx1JMgiumR5tCuJ/ELkYz NcLvO8U7A2CiSQWDOuWsxAM90mxKi0vbqZ2kLAbH47htSQzwH5gf5H3K3H78bOPWfp2I2goJ T6eu5Sato8BxECYK3sXPlrO1Np7mp4hlk1rzlgDBlLRgfvDpKY98yNw+AQNbDZ+70t4wcMuH 0N0JmtJKr6r/TR4oORiAkaHBFlkOCyC307+lmsyi2zSSne3Wlz3LGESPfiH+GYb+Tl+egd30 a65ymG/dxrXZ+D0gzUPXHB6p8zZTdBe8hPInOalFZ+nG7g4eT/Uvb+8V1EXqhfIAdIDu2Ofn LNEpN1PUKzcMTIch4YZCIPAjLQZd02iFVx4GPpk+PsEIHHYdDSMwgOxEkGWeP5WBvn04ES9W t1PJMVOakyE7xywjAsnXIwCH7wlu8QSxosmWqjqLms4obegvmJXkJbPxBPf2k4vYftTyPgYF K2AVgi/AlSxhGRVkVDjtMNrGHS1SvhaaRze3NKayvQoFZUCutFjbnAJiqSRk1zJFQlW4Dev4 RzISK/IxLdYzbZHwonmSP1CIy6WKtrDcvuC3y7uktZJbPLJadzvsSFMoHbZHg1mB5kjcPUpq qaor/j2wxnjrpstdmLkx72tJvJu252pfex1NsnXEiFrrRGaUpWx3ypZqnGKF5NZtfh8uOy1T BScQ+mtf4c3X9x9+iVkWxJGGUxAN5WtP7bSngLjnfGiERNH7BfmKumg/nrXbW12UC8EFpn9K w3sscaV+dFqg9VQNSAAGs1ZLcd0EH37VYsiUu/Bhz2SI22ro1GF45/Jtx4r7xPVAXilTuf+x 7/4RSbFSRfjg5GQkellsLFzsCNOXTw5yaM1c1kG8tF7tyGiASRUZa4BOJEBEddPnja0yJj8Y yrXYXA/DTnmGw5Jagj4/M+pSzL36jbi4TslDmdBE4KohyaK6EeoBas5/2I4uy8mIGW7lae/M dEZ4WH9Ml66xZQBqSP/IBCkqb8P+x8Y7itgFYPBfwjaBhsCCPMB03kJ8M9lS3ncC8+U/KnUD TFdeI2HKX1XjWb0HNppPXVSHXn1ed8pIyoANU+y/ToUh2lXICCsBhEy1yEfH4DvtPg3GYM= IronPort-HdrOrdr: A9a23:l1u/q6yrXbjEVD392DICKrPxTOgkLtp133Aq2lEZdPULSKKlfp GV88jziyWZtN9IYgBZpTnyAtj6fZq8z+883WB1B92ftWbdyQ2Vxe1ZnOjfKl7bambDH4xmpN 5dmsFFYbWaYDkbsS+Q2njcLz9U+qjhzEnev5a7854Cd3AJV0nihD0JTDqzIwlTfk1rFJA5HJ 2T6o5svDy7Y0kaacy9Gz0sQ/XDj8ejruOqXTc2QzocrCWehzKh77D3VzKC2A0Fbj9JybA+tU DYjg3C4Lm5uf3T8G6R64aT1eUYpDLS8KoDOCW+sLlUFtwqsHfqWG1VYczNgNnympDs1L9lqq iIn/5qBbUI15qYRBDJnfKq4Xir7B8er0b4z1mWmH3iptG8ag4bJqN69MZkWyqc0lEnut5k1q JNwia+jLp4ST39vAmV3amQazha0nOup3wsiOgSiGEaa5IXbPt9oZEW/EZOVLsGFkvBmcca+S 1VfZnhDPo6SyLnU1nJ+mZlhMarQm84En69Mzg/k93Q3D5MkH9jyUwEgMQZg3cb7Zo4D4JJ/u LeL81T5cZzp+ItHNdA7d06ML+KI32IRQiJPHOZIFzhGq1CM3XRq4Tv6LFw4O2xYpQHwJY7hZ yECTpjxCcPUlOrDdfL0IxA8xjLTmn4VTPxyttG75w8vrHnXrLkPSCKVVhrmcq9pPcUBNHdRp +ISeRrKu6mKXGrFZdC3gX4VZUXIX4CUNcNstJ+QF6KqtKjEPyZigUaSoehGFPAK0dUZoqkOA p9YNHaHrQ/0nyW X-Talos-CUID: 9a23:L4K9OW7fXXV/T/t1ntssqhYIP9FiaHjmjy3bB1G7BzhjV4OccArF X-Talos-MUID: 9a23:Fo2Kjga2ynPUnuBTqhPJrTNuLpdUx7W/KwMqoK8P6tWkDHkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,231,1763420400"; d="scan'208,217";a="136208018" X-MGA-submission: =?us-ascii?q?MDHrZ3yM2neo9PdELPLIhcMGDCQ2WLuJb8FZna?= =?us-ascii?q?r/tYWEQcRowxEC/3mNdbG2P0xq5FJ/of54VJJcEZeT8WF2T3UtrUzuE+?= =?us-ascii?q?GaDKCBRheRiAPX6h/p7rT5Qw4HYM+XG0dETgw1NtIgqTt/zM+cvuaaH1?= =?us-ascii?q?nIwcdeyQlRGI3fIf1TQ4QNNw=3D=3D?= Received: from mx0b-00082601.pphosted.com (HELO mx0a-00082601.pphosted.com) ([67.231.153.30]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jan 2026 14:24:10 +0100 Received: from pps.filterd (m0089730.ppops.net [127.0.0.1]) by m0089730.ppops.net (8.18.1.11/8.18.1.11) with ESMTP id 60G1PLB63879618; Fri, 16 Jan 2026 05:19:58 -0800 Received: from dm1pr04cu001.outbound.protection.outlook.com (mail-centralusazhn15010018.outbound.protection.outlook.com [52.102.139.18]) by m0089730.ppops.net (PPS) with ESMTPS id 4bq9cqvn7p-2 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Fri, 16 Jan 2026 05:19:58 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=f+H2GlDrLU81xVF4Pqhw6+hYOY7NzHWAs7Me/dqNF/puRf2Wcyf2vLmeo8ameQnQFZGtdofD1+oNfElUNZDCFEt79cC8Jk62x2XSSMhIICoChmlJw3yWNl5PfInQlYG8YGNM/N3u+kIBJwC1bdEfeN5xtM9ngbUHl7ILZ8FcOPnQ935rZBdsXDOjuojxv1Th9cW+JoXpaUApAfX9NFfRBtCkBzuAY5QI7IKjpXeMbhxjcFKCB7Ztf5JRncJrYY0t4i1K7xJ7U3HmKj9+Bpi7X+IPpouX6R54zErM+w+hp89H+mZz93VcpN/tSsj+Ww9oWCRyaSAV9K8oQKZDvOXGoQ== 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=qa15gQdUzMEUYuT800yZnzFeCcNjKKPlU3kYRJ+T/6w=; b=KGJRkgpEBXJMiOsHoEGqU5GJosQLD8c6LI/obzmi9u48DR+ZKUy9bb8upAEhntdE2TwfmSlTQpgUuQD91q3XZ8s3eA575VVk3tngkQciTf04ZzIFBVOPunkKh4uUmt5J6CsUh6zf6Nr67DCL4ELFmiGCeKuWoamV89sCitL4NPWqKDY7IEOAfICujr27TE//85rEqpYmFESUhbqKWGWAf19VIrspO0mOTQvplslwGuu4aZsMz4SheRtyY/wSAsv0NWsQ3Y969BpuFZFFEHFfRIVg6DQn7riS4sE6c/87GFf7dp0GQyKLk5n6PlnZAyYBRcbIxlxNe58W0llmReJYjA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=meta.com; dmarc=pass action=none header.from=meta.com; dkim=pass header.d=meta.com; arc=none Received: from PH7PR15MB5426.namprd15.prod.outlook.com (2603:10b6:510:1fe::14) by BY3PR15MB4852.namprd15.prod.outlook.com (2603:10b6:a03:3b7::23) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9499.6; Fri, 16 Jan 2026 13:19:52 +0000 Received: from PH7PR15MB5426.namprd15.prod.outlook.com ([fe80::76ea:90aa:8395:f7ec]) by PH7PR15MB5426.namprd15.prod.outlook.com ([fe80::76ea:90aa:8395:f7ec%4]) with mapi id 15.20.9520.006; Fri, 16 Jan 2026 13:19:52 +0000 From: Akos Hajdu To: Akos Hajdu Thread-Topic: FTfJP 2026 at ECOOP Call for Papers Thread-Index: AQHchuqU6lbxfPr1vkGMk+SpTENsBA== Date: Fri, 16 Jan 2026 13:19:52 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: PH7PR15MB5426:EE_|BY3PR15MB4852:EE_ x-ms-office365-filtering-correlation-id: 72214349-bebf-4ba4-74ae-08de5501eecc x-fb-source: Internal x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230040|7416014|376014|1800799024|366016|8096899003|38070700021|740100014; x-microsoft-antispam-message-info: =?iso-8859-1?Q?450WGtGJ3xf9hO2x/3IliQMus4s9tcgVxo9aHLPYj0M/3qiEUYTFfw/EZ+?= =?iso-8859-1?Q?nadOzvJY6womslg4SNQrBcG5gsO3teBZoRLEjQILF5m6GoAsl+/Uc8V/IJ?= =?iso-8859-1?Q?hk1WqW1dl8zvcbfJ2BqQBbjARNLXmMbRLktlRREk7OhQu+s9amPJZLgW/u?= =?iso-8859-1?Q?2pPFkN/4KIhRSYq6gJ87FVyjTsQtDqVlTj3zQ1MMPEtaKw0+0xHmMt51vG?= =?iso-8859-1?Q?ePiN0b+dIK3LuoFHktuflOjkx9ZwM/U7L8sa/FCYPKpE1ogh72DIcsUVWL?= =?iso-8859-1?Q?6J0+D+lNusJRD/OH0AIj/BpNVaH9aPIzXb8J3SycxZwoO1SSY0geQFYXQS?= =?iso-8859-1?Q?doh/HMyFGzN04XYF+ozjS9Hy3uTcQT3WPzAy+r4Vmhqz1EPlLsdcg7NlcJ?= =?iso-8859-1?Q?JwIYOvVtKxrAF+SZDH2gORQGnS2haoEDQoXKUfZY9iH6s3YueFMO4ooHEN?= =?iso-8859-1?Q?uUXWGSzBTJNQCLv+aBpJVK31r+tJNLSYf98wgVmWaq+sHKjxSbdNp/SGnt?= =?iso-8859-1?Q?djBDJYVcojUe53jjKJFB+UTZh/pBaDvx/h5S2LY9Nq5mrLJCpRlZejiEj1?= =?iso-8859-1?Q?eowkLFt7WEGE4+gnKRyK7r1NV9Yff0Rw2AYV/fIhlbe/uiyE97A+jSPU0N?= =?iso-8859-1?Q?Og+Qk1WwLpfkaGuOP4GuMZb3+y42nYfOZheeml3lhc05facZEBuk6VhQa8?= =?iso-8859-1?Q?IEpVdtSAHaaGTGhCyGjzCiq1/6P4IMLbF80rKuaw9gyAKOfaCSCiQZzRQV?= =?iso-8859-1?Q?znw3O8ZAdo6j7weACh6NWC/csgOHjUZVRKOnrLmTbdKnMtMWnUdWHGVCba?= =?iso-8859-1?Q?d4M+lGZ4Ydm7yy3EA/iJC40ehKpXdTKWpEK4fdVfLlTnKvazbSyfVMh1EQ?= =?iso-8859-1?Q?nZs6Nk1OFibyi7M77QfBD0ri0BLZXJGytIgNVPAmQ0axjscaQUfEx5BKHO?= =?iso-8859-1?Q?Q5gUZLnntR1XXAqgW7k9bi1cIAzDfQPimLq4JMBh1SHRQGvPzf4L4ofKBf?= =?iso-8859-1?Q?I3YlEvgGq5hUJvtSnUDKiAuqQUDkWbaGYpuVUsIuMEdpNGygabkUV5EUt2?= =?iso-8859-1?Q?5IMM04kabaG1HuOq3FxLNe06IF7HgoQ0Ybi37SoAALu5LK80ZjyNuoeGRl?= =?iso-8859-1?Q?aE4NW7m3sQyCvB2vImbGMf27Unnrc2E0CLYcIaO8qVybPpwHQDppWre/0h?= =?iso-8859-1?Q?1+z1YvOTUep5C5T5ub7ao8UjiTZThVNiLB7M+7jhj4Gfz/ybloDEPuFHtk?= =?iso-8859-1?Q?9MVi3jFsJgcdWNSJQXhkqXZuVm99mkhRfGQh0uuE8tIabkD6Ycr8Zl4+rx?= =?iso-8859-1?Q?dce9E7Cy6qL34MIgroDN+Rk9COPoIhA81Jfp0oJj3QiqbihXArL59pRSKu?= =?iso-8859-1?Q?Nm9hrSZjDZ48dp9IzixTuUHoUwxBfacutLkFBF/ErThkJmVYs+lJ+ENcuZ?= =?iso-8859-1?Q?XXuYzZRTMfy53BUl/Q9MT/cN1vT/G6xjsDSP2X+GkWIQpF99pbrQ3R5FWV?= =?iso-8859-1?Q?NeKNTrK5ldZB/xKJKWUtzo6M1Wogj1NMkdNzLFeFeQevTZ+29hUPaYY7fM?= =?iso-8859-1?Q?SdkmBpSneWtzI1u6FfMMM+8TCOt1nYfDCmbIEeT6N9msxO7Bx3KpbhKl2n?= =?iso-8859-1?Q?BTl7AKCKKHgE0=3D?= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PH7PR15MB5426.namprd15.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230040)(7416014)(376014)(1800799024)(366016)(8096899003)(38070700021)(740100014);DIR:OUT;SFP:1501; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?ePv+3vMHQW5+HHVjJ4BW7Dl5aY731/SJhjZDwmn3tt7220OQUeW9tg0dI2?= =?iso-8859-1?Q?zpLETe7a4r1nutwVnyj5nD26IgDMym+VHUt43R++HOw3F9AsLEz1uj970E?= =?iso-8859-1?Q?TEYoZJZFNsmNWeLNPE+Ngebvg8gDaK2AMaKB03ZW3pNQ+A3/y9x4IcD/wo?= =?iso-8859-1?Q?YidsUgoaiT63NHOl4q2UU+aAAO/Do2qhAuZfl67H+xF1YYwrP/K66JWdY5?= =?iso-8859-1?Q?qwdXyMZZgbVvnduNo2y3bnSm7MLD+nuBF23JFnvf0JGC/J+61ESsse/+Ma?= =?iso-8859-1?Q?nvS1Y/FUrq0eMTesk+lZnUWH/HmTVW6NJGK3VwmcnYnhfYsZqwf9gi2985?= =?iso-8859-1?Q?NzhBwKgpS3aFc2y7IGC+rthHrdLW8wiCxoJWlBAHekIHBxLcAhthKI7W2/?= =?iso-8859-1?Q?j/vyOBgVGlH187GVPrV6pwJGWnagmMrDWNdtn3VHDb/p8W+orwNfKQ3PX0?= =?iso-8859-1?Q?CC1JnLxX6LYOYL/MksQtOMkoxGsDts0IaZot2EjzADG/QhqUHftQGt0ANn?= =?iso-8859-1?Q?vnTm+6zXa7axtRm5pLiwot1nAtD7GYQVQtaKa228tpA2Zs0RMblkPlO9Wa?= =?iso-8859-1?Q?3ZEZsTlBIxSMJfzjLzp/Kz1zOSOu+X/2jIHW1X6KKS/H1ID/7kEfJ+xTCM?= =?iso-8859-1?Q?U3oyssg2poS2JBg6HBGU77tS5OGU1jxpof9iAi3zUn85PvExOU15IR3EQN?= =?iso-8859-1?Q?ijfIwYWaRkI3JlOX/w36wFwTpp2suS87LCUNF9XPvhDU2Z2a9vaNxpXTqu?= =?iso-8859-1?Q?ol0jLAsYL6ecIEFTmAPUCJb2SZ/rDsSwb1YYBrH3/N4+StWPRUErRqmf5N?= =?iso-8859-1?Q?0+m73xNgn96GF5/dK3vVhD1iHfsBt03Ivz/V+OdjZ66VphKYprgtKRcpjq?= =?iso-8859-1?Q?u0UaVp5nM96r8JLm44TZaoQkT0zMlqnb/WW89mSMacn2Ht5znprV2kiD4w?= =?iso-8859-1?Q?oY9wJRCjCiylQnNEx4qjiYZU3xLkiOR7pmjNOEmPjIIOSFI87KAx4nzdS1?= =?iso-8859-1?Q?J74R51wZ1Sq2FZnwkatJuIwlEHhiPo71Rb5Bv45HeF5dUDF0n44Mhd95pt?= =?iso-8859-1?Q?0EGE0eskijM5AuIHgp8SCy5v/xNFH6E2EvLbpjQ5+V3FxkVLaexit0sQsT?= =?iso-8859-1?Q?2muzlZUb+VGrtA12x6HusXmjwfK0X4ne36FofvcI37WKHkMv48+2WxSra/?= =?iso-8859-1?Q?/qVr0mGlWieZlfJUSvx/1ViAGj0XjiL4IL0Uf4u4ReMp7Q87C+jDOTYxTO?= =?iso-8859-1?Q?Hy43tfuZD8mK84VM5/YaQ3CFHpiq3L8k2HEseTKdAMyH10/ndCGQR51tv/?= =?iso-8859-1?Q?bDDiMnTLORBLnDJXF/HSFKaT4DL5dR6+Ysl9JgySclzQaogci7TpjuKAxE?= =?iso-8859-1?Q?wGweZuR27rR62ePOupmzsBZD+sQLfRQuj/A2MqCmftcoyVri0RTcWbmAhg?= =?iso-8859-1?Q?8Kg/KAmZCt1LO/Z2lO37/4iJtBmYzDMALvDQEWkunrGR4nwwxdJRwq0V5H?= =?iso-8859-1?Q?2bEwlKFjGM1vf42Izsj1s3xJaFo5s6Ml+ynu+qQWPBDRSHdh27z1moXKXg?= =?iso-8859-1?Q?9VhktgRnJyd42PS28UgYx/YG1sTE4lkubYbjS+oR5vF56AfZNRoHl86BKO?= =?iso-8859-1?Q?vRn14YqWi1Eu53SbYe+2cBIN7N0B2l3DBPlIRo1G5tB4ScasS1ZN9ExXDk?= =?iso-8859-1?Q?cIEMcbYwp+E6WX9UiJQqiGbJRTSbne3olLFwELCavNjs0475Kufgn8H7NW?= =?iso-8859-1?Q?7JfvH76BsTGSZcIXI5SBKljBSq0Or45yQVCxevXYcw6ilV?= Content-Type: multipart/alternative; boundary="_000_PH7PR15MB54266B41795B7E459D4C2CE9CC8DAPH7PR15MB5426namp_" MIME-Version: 1.0 X-OriginatorOrg: meta.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: PH7PR15MB5426.namprd15.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 72214349-bebf-4ba4-74ae-08de5501eecc X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Jan 2026 13:19:52.2812 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 8ae927fe-1255-47a7-a2af-5f3a069daaa2 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: iu4zp0Rn8b0c8d7PxrUN2SnglG6pivHNYjckD9fwH0KIji5ZXxQTX6k8saREIMq+itMjX0+sFP0PhIRpEINsYg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY3PR15MB4852 X-Proofpoint-GUID: 9FttYwAAB3tGCfw7dslBiE1g2unm_r7Z X-Proofpoint-Spam-Details-Enc: AW1haW4tMjYwMTE2MDA5MyBTYWx0ZWRfX+XvvkLGuAqL3 DgWwKE31WjhZ/L0AbnajM5IpZk9PGcawDg3E2YgdkhI4thUFXsRADVimzr7MbuOs43LDN2NWqRW JmNpB0SymDr5RBjktHcWjOCwwBJClCHkdHUegTS9QzEI0AY7K93VSoXfDzFnL/DczJCTyNDsdUl vbqMIpaEPe8XDGB6E80bJ8/GGm2BMnF0wIblLE4va859bmIj0//ubNyXrXCZOQQ7XJXMMBE1ICh 7sxOBqbyQdQGRev9BQ+aPKpfiFAosRD9OeqvkGTBRoG9AjViaPzudvIGi7Aa7hTQ14jdorxcFK7 6onFTC+K1v+DVH+G6Kho2P+7jNx9Pd471At8L0cJBTV7lvgFVbanmVFRiVpS/qvDAcWVjSnyJJs jiaTmX77GH+RXC0qByjjSF7OD1umuH+i2pW/35W/Q++fLgNV23KfMS6dgybVKgmjxXaUK3vNm3A anHb66Vao0wfeVJT0LQ== X-Authority-Analysis: v=2.4 cv=ea0wvrEH c=1 sm=1 tr=0 ts=696a3afe cx=c_pps a=SGQLlLndXmGkGWTBDvOvVw==:117 a=z/mQ4Ysz8XfWz/Q5cLBRGdckG28=:19 a=lCpzRmAYbLLaTzLvsPZ7Mbvzbb8=:19 a=xqWC_Br6kY4A:10 a=vUbySO9Y5rIA:10 a=VkNPw1HP01LnGYTKEx00:22 a=rZ5RKEERAAAA:8 a=_sK4B7cgAAAA:8 a=DIuwlW7QAAAA:8 a=X2zyVXyjpJ9U02mWyP0A:9 a=wPNLvfGTeEIA:10 a=1XWaLZrsAAAA:8 a=c-Q1zOwkb-aaIqlw:21 a=frz4AuCg-hUA:10 a=_W_S_7VecoQA:10 a=TssTZV_SuRnlhkurg6Uc:22 a=5STwkIUDmYIYeu0U5EL7:22 a=1ZZb5QvCDXP2RM4y_ECg:22 a=HLfNx0bOKXAkRfsRpIst:22 a=Lcw6dl7kLhG240Z2xKZo:22 X-Proofpoint-ORIG-GUID: 9FttYwAAB3tGCfw7dslBiE1g2unm_r7Z X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1121,Hydra:6.1.9,FMLib:17.12.100.49 definitions=2026-01-16_05,2026-01-15_02,2025-10-01_01 X-Validation-by: akoshajdu@meta.com Subject: [Caml-list] FTfJP 2026 at ECOOP Call for Papers Reply-To: Akos Hajdu X-Loop: caml-list@inria.fr X-Sequence: 19429 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_PH7PR15MB54266B41795B7E459D4C2CE9CC8DAPH7PR15MB5426namp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear researchers, We would like to invite you to submit your work as a paper to FTfJP 2026 (h= ttps://2026.ecoop.org/home/FTfJP-2026). The Formal Techniques for Judicious= Programming (FTfJP) workshop is an established workshop which has run annu= ally since 1999 alongside ECOOP, with the goal of bringing together people = working in both fields. Important dates - Submission deadline: 18th February, 2026 - Notification: 1st April, 2026 - Camera ready: 30th April, 2026 - Workshop: 30th June, 2026 Paper categories We solicit two categories of papers: - Full Papers (12 pages, excluding references) present a technical contribu= tion, case study, or detailed experience report. We welcome both complete a= nd incomplete technical results; ongoing work is particularly welcome, prov= ided it is substantial enough to stimulate interesting discussions. - Short Papers (6 pages, excluding references) should advocate a promising = research direction, or otherwise present a position likely to stimulate dis= cussion at the workshop. We encourage e.g. established researchers to set o= ut a personal vision, and beginning researchers to present a planned path t= o a PhD. Both types of contributions will benefit from feedback received at the work= shop. Submissions will be peer reviewed and will be evaluated based on thei= r clarity and their potential to generate interesting discussions. Reviewin= g will be single blind, i.e, submissions need not be anonymized. The format of the workshop encourages interaction. FTfJP is a forum in whic= h a wide range of people share their expertise, including experienced resea= rchers, industry practitioners, and early-stage PhD students. Submission guidelines Papers must be formatted according to the guidelines for ACM sigplan papers= (\documentclass[sigplan,screen]{acmart}), see https://www.sigplan.org/Reso= urces/Author/ for details. Submissions should be made via Easychair (https:= //easychair.org/conferences?conf=3Dftfjp2026). There is no need to indicate= the paper category (long/short). The accepted papers will be published in the ACM Digital Library, though au= thors will be able to opt out of this publication, if desired. At least one= author of an accepted paper must register to the workshop by the early reg= istration date and attend the workshop to present the work and participate = in the discussions. Lightning talks In addition to papers, we also invite lightning talks (~10 minutes) on topi= cs related to the workshop goals that allow participants to present prelimi= nary work in academia and industry. Examples include but not limited to - Proposing a research problem/challenge - Presenting a tool/demo - Presenting a short summary of a work already published elsewhere Submission information will be announced closer to the workshop, but we pla= n it to be a lightweight process (e.g. title/abstract submission via Google= Form). Invited speakers Bart Jacobs (KU Leuven) Julien Lange (Royal Holloway, University of London) Akos Hajdu Software engineer Meta/WhatsApp PC Chair --_000_PH7PR15MB54266B41795B7E459D4C2CE9CC8DAPH7PR15MB5426namp_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Dear researchers,

We would like to invite you to submit your work as a paper to FTfJP 2026 (<= a style=3D"color: rgb(17, 85, 204); text-align: left;" data-saferedirecturl= =3D"https://www.google.com/url?q=3Dhttps://2026.ecoop.org/home/FTfJP-2026&a= mp;source=3Dgmail&ust=3D1768655789221000&usg=3DAOvVaw0XUsgMM34G_e7s= 1_5n6-lK" class=3D"OWAAutoLink" id=3D"OWAb8752a93-2567-105c-192a-620d8b2453= 9b" target=3D"_blank" href=3D"https://2026.ecoop.org/home/FTfJP-2026">https= ://2026.ecoop.org/home/FTfJP-2026). The Formal Techniques for Judicious Programming (FTfJP) workshop is an est= ablished workshop which has run annually since 1999 alongside ECOOP, with t= he goal of bringing together people working in both fields.

Important dates
- Submission deadline: 18th February, 2026
- Notification: 1st April, 2026
- Camera ready: 30th April, 2026
- Workshop: 30th June, 2026

Paper categories

We solicit two categories of papers:

- Full Papers (12 pages, excluding references) present a technical contribu= tion, case study, or detailed experience report. We welcome both complete a= nd incomplete technical results; ongoing work is particularly welcome, prov= ided it is substantial enough to stimulate interesting discussions.
- Short Papers (6 pages, excluding references) should advocate a promising = research direction, or otherwise present a position likely to stimulate dis= cussion at the workshop. We encourage e.g. established researchers to set o= ut a personal vision, and beginning researchers to present a planned path to a PhD.

Both types of contributions will benefit from feedback received at the work= shop. Submissions will be peer reviewed and will be evaluated based on thei= r clarity and their potential to generate interesting discussions. Reviewin= g will be single blind, i.e, submissions need not be anonymized.

The format of the workshop encourages interaction. FTfJP is a forum in whic= h a wide range of people share their expertise, including experienced resea= rchers, industry practitioners, and early-stage PhD students.

Submission guidelines

Papers must be formatted according to the guidelines for ACM sigplan papers= (\documentclass[sigplan,screen]{acmart}), see https://www.sigplan.org/Resou= rces/Author/ for details. Submissions should be made via Easychair (https://easychair.o= rg/conferences?conf=3Dftfjp2026). There is no need to indicate the paper category (long/short).

The accepted papers will be published in the ACM Digital Library, though au= thors will be able to opt out of this publication, if desired. At least one= author of an accepted paper must register to the workshop by the early reg= istration date and attend the workshop to present the work and participate in the discussions.

Lightning talks

In addition to papers, we also invite lightning talks (~10 minutes) on topi= cs related to the workshop goals that allow participants to present prelimi= nary work in academia and industry. Examples include but not limited to
- Proposing a research problem/challenge
- Presenting a tool/demo
- Presenting a short summary of a work already published elsewhere

Submission information will be announced closer to the workshop, but we pla= n it to be a lightweight process (e.g. title/abstract submission via Google= Form).

Invited speakers
Bart Jacobs (KU Leuven)
Julien Lange (Royal Holloway, University of London)

Akos Hajdu
Software engineer
Meta/WhatsApp
PC Chair

--_000_PH7PR15MB54266B41795B7E459D4C2CE9CC8DAPH7PR15MB5426namp_--