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=qCCOzUQw; 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 6556B400A6 for ; Tue, 9 Dec 2025 16:18:19 +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=Rx1jiYIRVcuAYkR52PrhZE7xgEcosGql1dfgNlx6PEY=; b=qCCOzUQwcYHXEEzNzx/Civ1lgaXbRCEN1Cpd9nOYI6JkD9dVh0ZT6XV3 K59DlooLIfoyMF+cLtXDWhDQI45aFv1Bvc4+SoegAnxGyZ4uXEAGju2yH haZXCsWTw3Cv0npB+VM+g/IYlsaqRuJAIL8sQdvaNSIWM3A8oEpEk9TM4 M=; X-CSE-ConnectionGUID: AitwNAiWQZebe68e1i51+A== X-CSE-MsgGUID: kPIrsjfmSliPvhmyrPtVaA== 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.20,261,1758578400"; d="scan'208,217";a="253603990" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Dec 2025 17:18:19 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 2A91A80E90; Tue, 9 Dec 2025 17:18:19 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (dsi-ha-lb1-dmz.inria.fr [128.93.162.100]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 638CB80E29 for ; Tue, 9 Dec 2025 17:18:11 +0100 (CET) X-CSE-ConnectionGUID: bjhpE+DoTHW0EP11uKRmiw== X-CSE-MsgGUID: cyZf35HTQMixMFJ+bZJnyA== IronPort-SDR: 69384bc2_3DdEnQDCAJlOoEsrx6DVhyPuIgiYTXxTLRsuHdyhxDB9N+w uyropau3WGmXII3A7X6fgpw67/bBXLU1ktnSNRw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0F/AwBVSzhpfCyhVdFaHQEBAQEJARIBBQUBghCCGCiBB?= =?us-ascii?q?l40BAtJhFWBI4IsCEuLMYIhl0YBiCwnAg8BAwENRA0EAQEDAQOEOkaMagIeB?= =?us-ascii?q?wEENBMBAgQBAQEBAwIDAQEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAEBIhkHD?= =?us-ascii?q?hIphk8LAoJFGjdxgSUBAQEBAQEBAQEBAQEBAQEBAQEBFwINBxgUKwEWIQsGH?= =?us-ascii?q?QEgBxIDEhA3AiMSAQUBKAEMCQsOOYFPWAGCIgEGEAEDNgMRokSCJIEFQos+g?= =?us-ascii?q?TKBAYINBoEJUEHYSApBDW6BZAIHFIE3hHZ4gmUBgUQaAg6EAIN+eicPgVVEg?= =?us-ascii?q?RU1gkRvgQUBgVALBAEXgXODLhaCUwSCInoUhh+EHoczaoZMIwMmAwcHDitGD?= =?us-ascii?q?gEhAyYzLAFVExcLBwUtVAoDVQECAWQIHm4BAi8GF4EjPhchBAICFhMCEg0EA?= =?us-ascii?q?wMLBggrRhUEUQIKAgoOAwYKCQMDAhoCAwQNGA4CZQkGHC0FGSoDAwMGEgQDF?= =?us-ascii?q?g8GCh4DAhADDARAAQ8qAg9LAw8dAh4WJAIDEgMYFAMDFAMCFQMQCQMaLjwDC?= =?us-ascii?q?wsDAwMDAwMDCwUDFAUEDRYCGgIDBBQDAwMDAwYDDgsCSRMHCgMMCggDGQMDC?= =?us-ascii?q?AoFHgIJAwMpAwMDAykTBAUDBQMDBAcNCQMCBQUBFQUCAgMEJwQCDAQDAgMCA?= =?us-ascii?q?gMDAwoDAgs6AwMCLQoFBANTAycCAgYFDgUqBgIZAwMDB0AYAgMDBgMgCAMDI?= =?us-ascii?q?gMDDRYGAwMSBwomCgQDAwgPAwUDAg4VAwUCBFQIAwMDAwUZAwMDBhQHAhADB?= =?us-ascii?q?wUJAwwDBwNTIwIDAwMEAwMGBQMCAhcFAgUgAwJVAwM0DQIHBgMFCgMGBx8FA?= =?us-ascii?q?wIDAxY1AwtiCz03L0yUek6BP4EdOjUdAwETgS8PQh82D4RjjXeST6BaNAcrg?= =?us-ascii?q?3SBZAyKLpVTM4FOgjaNE5lUpw6VYhUJhScRJIFbI4ErAR0DCQc0GSNQMW0Jg?= =?us-ascii?q?QwBMwkKPAMZD1cBjUkXg2mFE7tdHygyPAIHAQoBAQMJkh6BSwEB?= IronPort-PHdr: A9a23:s2m2EhGsCgqQ9YwzVxFGI51Gf9BFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k20BmRBc6Bs6ocw6qO6ua8AjdGuc3A+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKwEcI oFpeWQhwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyK wi9oRnMusUMjoZvJKk8xgHVrndUdOha239kKU6Pkx3h4su84INv/z5ftv8v+cNMS7n2cqo9Q bdFEDkoLmc56dHkuhXEUQaB/GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjqs9 6hkRAb2hSkIKjA16G7YhNB+g6JduxKhugdww5XIb4GPNfpxZb3ScNUHTmdcRMlRVihBAoShb 4sTCucKIOhVo5Xhq1YIsBCxAhSsBOXyxT9JnX/5wak60+M6EQ7YwQMrAtYCvXvIoNnwMqoZT OK7w7TSzTjbYPxY2Tnz5ovVfB89vPyBRqh/fdbLxEQ1Cw/JkledpIr4ND2VzOQNtG2b4vJjW ++xi2ApsRx6rCKyxsg3jonJh54aylHY9SR53Y04Ity4R1J1Yd68CpdQrzyaOJByQsMjX25ou To6y70dtJ60eygKz5snxxrBZPyCaYeI4xbjWPyNLjd/gXJoYbSyjAu9/ka80OPzTNW00EpUo SpflNnBrmwB2wDO5sWEVvdx41mt1DaS2w3N6u9JL145mK7ZJpMjzLA9l5odvErAEyPrhkn7j K+Ye0Yq9OS25enqbanrq5+aOoRphA/+NaEulda+AeQ+KgUOX2+b+fig27355U31WqlFjvozk qXBq5DaJMsbpra9AwBP1IYv8RG/Dy2p0NgAnXkHMUlKeAmfj4juJ1HCOuz3DfC6g1mqjTxlx OjGM6X/DpnRKnXPirTscLZn50JByQc/0MpT6p1bB7wHPfn9QFX+tMbCAR88KwG0w/joCNF61 o4GXGKAGK6ZMKfLvV+P4eIjPvCAZIEatTvyMfQl6PnujXg2mV8ZY6alx4cYaHe9Hvh+IkWZZ 2TjgssZHGsUogYzSPbmhV6CXDJJenq/Xr8w6is0BY+pFYvDQ5qigL2F3Ce1BJ1WYWVGB0iNE Xj0eYWEQ+0AaDqPIsB6ljwEVKSuS4491RCurwL6xL1nLu3b+i0cq53j0cJ65+zXlR0o6TN0C MGd33mXT25ohmMIWyM23KdnrENh0FiD1Kx4j+VcFdxS/PNJThw3NYXczux/E9D9QBjNftaPS Fa8Q9WpGys9Ttwrw9MWZUZyAM2tjgrf0CqyH78Vi7uLCYQp/q7E0Hj+OcF9xXXc2qQ5gVYoX 9NDNXe4ia5h9AbdHZbEk0CDmKarcaQQxSnN9GCewWaXskFVXwF9Xb/KXXAYYUvWotD56V3YQ 7CyDrQnNxNNxtOBKqtLb93klU1ISvjtN9rAf2y8h2G+CQ6VybOJdoXqYXkS0T3FBkYdiw4d8 m6KNRMmBievu2/QFiBjG0/ybU/06ul+sH27QVc0zw6Ua01h0KK49AYMi/KERP1Alo4D7Tonp zRvF1K6xN/aTsCNrAt5fahafchvswRpz2Xc4i1WEKToF71ogl8Vchhm9xfv3BtvTJ1dm8wrp 3I23SJ9LqWX1F5EfjKcm5v3P+uEeSHJ4BmzZvuOiRnl29GM9/JTsJzQyn3mtQCtTA859ml/l sNS2D2a74nLCwwbVdTwVFw2/l50veKSeTEzsqXT03AkKqyoqnnawdt8BeAr0lC4Yt1bMaiFC B7aHModCMyjLeUrnx6iaRdXdPtK+vsMNti9P+CDxLbtOe9hmDy8imES4YtzygSU6iB4S+XJw 4ctzPaf0Q+KUj79iBGqtcWk0Ztca2Q0GWyygTPhGJYXZqB2etMTDnyyJsSs2thkr5vkWnod8 1n6Ql1ahImmfh2da1G71gpVvagOiVqgnybwjzl9kjVz67GawDSL2ePpMhwOJm9MQmBmy1bqO 4m9yd4ADgCuaEAymR2p6FyfpeATrbljL2TVXUZDfjTnZ2BkXKyqs7OeYslJoJo2uCRTWe64b BiUULn46xcd1iriGSNZylVZP3mrsZvh2QRngmacJ3dvvVLWfsZ/wRra7d3YA/VW23tORSV1j yXWGknpJ8OgrrD239/ItuGzUX7kV4UGK3G6i9Pd8nLlvCs2XU7a/bj7gNDsHAkk3DWu0tBrU X+NtxPgeszx0K/8N+t7f05uDVu66sxgG4g4nJFj4fNYkXUcmJiR+mIK1GnpNtAOk6P1YmJLX SMBx9/e4RT08EJkKX2NyofwV3HbycxkLYrfACteymcm4sZGBb3Bpr1PkzMzukeyqQPaYORst jgazvQq5XsTguVPsw0ohHb4YPhaDQxTOirikA6N5ta1ofBMZWqhRrO30VJ3gdGrCLzqThh0Y H/iYd9iGCZx6p86K1fQyDjp7YqiftDMbNUVvxnSkhHajuETJohj3vYNgCNmPyr6sxhHg6Y6h hJ2m4mntoyGIGRx7Yq2BRlXMjDwbsIXvDrqiO5Sk92X0IamAph6Um9TDd24ELTxTmtU6aivP h3rcnV0snqBHLvDAQKToFxrqX7CCdHjNn2aImUY0cQ3QRCcIEJFhwVHFD4+n5M/CkWr3Jm7K BY/tm1XvwCh7EcQmYcKf1HlX2zSpRmlcGIxQZmbdl9N6x1aol3SOoqY5/5yGCdR+tugqhaMI yqVfVctbylBV0qaClTkJrTr68PH9r3SB+GwN73WfL+KqOdfS+agypWo3Y9r+j+NMoOEOXwoX JhZkgJTGGt0HcjUgWBFSicZj2TVcsSfpRy95jxfoce4//DmXQvu4c2EDL4YYrANs1imxKyEM eCXniNwLz1Vg4gNyXH/w78axFcOiitqemrlAfEauCXKVq6Vhr5PAktRdXZoLMURpfFZvEEFK YvBh9jyzLI9kvMlFwIPSwn6gs/wLc0SfzPiaBWeXhvNbPLeYmSVi8DvPfHmEewW3LgS7kfg/ 27cShCGXHzLliG1BUr2b6cR3GfCbUYY4MbnKl57AGznBroKczWdN9l6xX0zyLww3DbRMHIEd CJ7eAVLp6GR6iVRhrN+HXZA5zxrN7vMnSHR9OTeJpsM1JkjSi1pi+JX5mg7wLpJ/WlFQvJyg i7bst9ppRmvjOCOzjNtVBcGpCxMgcqHukBrOKOR8ZclOz6M5BUW8WCZEAgHvfNgA9zr/qdXk 53ByP61JzBF/NbZu8AbAomcKc6KNmYgLQu8GDPQC1hgL3bjPmXeikpB1fCKoyfN/95q9961x sNIFuMIMT59XukXAUlkAtEYdZJ+Xzd+1KWekNZN/3216h/YWMRduJnDEPOUG/TmbjiD3twmL 1MFx631KYMLO8j1wUtnPxN7l4rSXVLNV9RMqSx9fyc7p0JC9HV7R2w3nUnib0n+hR1bXe7xh RMwhgZkNK418yzw5l4sOlfQjC45kU10ntK8xD7NLHj+K6C/WYwQAC3x/RtUUNuzU0N+agu8m lZhPTHPSudKjrduQmtsjRfVpZpFHfM0pUJsbxgXyvWaYvwp1RJXrSD1nCevBMPAAJpm0QwtK Nui8y4G1AVkY9o4Y6fXIfgRprC1rq2JuSCs2+U4wQtYLEEIojv6RQ== IronPort-Data: A9a23:sDmivKmArZHQcF2AtDE3PV/o5gxCIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIdUDzVaa2PYjOjL4hzYYm1pktUuJaHz98wGlE4/i42HltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRG/yhTreCYn0sLeNdYH9JoQp5nOIkiZJfj9G8Agec0 fv/uMS31GWNglaYCUpKrfjbwP9TlK6q4m5B5ARvPakjUGL2zhH5MrpPfcldEFOjGuG4LsbiL 87fwbew+H/u/htFIruNjrbhf0QWdaXZNA6Ih2A+c/DKbs9q+0Teeo5iXBYtQR8/Zwehx7id+ /0R3XCEcjrFC4WX8Agrv7a0JAklVUFO0OevzXFSKqV/xWWeG5fn660G4E3boeT0Uwu4aI1D3 aVwFdwDUvyMr+i0wKqWCcVruuQcdOTTZdoCmUtlzC6MWJ7KQbibK0nLzdpR3TN1gccXWPiCO 4wWbj1gaBmGaBpKUrsVIMhmzaH42z+mLWQe9A79SakfuwA/yCRw27b1dsLIcNiLTsRJj26Xo WXJ+2n8CxAecteYzFJp91r227SRxXiqANl6+LuQ/e9YjgbO5lAqLRwGcHWZ4vOLqEivcocKQ 6AT0nFz9PBtpRLDosPGdxaxpXrBuh8HR/JLAugi4UeMzLDV6kCXHAA5oiVpbdUnsIoxQmVv2 APV2dzuAjNrvfueTnf1GqqoQS2aMyoVNUJBSSg4bTRdzuG6+ZwQtBfOUYM2eEKqteEZDw0c1 NxjkcTTr7AajMpO0KLiuF6b33SjoZ/GSgNz7QLSNo5E0u+bTN/5D2BLwQGEhRqlEGp/ZgTQ1 JTjs5XOhN3i9bnXyESwrBwlRdlFHcppzwEwcXY0QsB5qGXzk5JSVY9X5z56KQ9oNM1CEQLUj LvokVoJvvd7ZSP0BYcuOt7ZI5pwkcDIS4++PtiKNYomX3SEXFXblM2YTRTNhzi1+KXt+IljU aqmnTGEVidEVfg2lmLpHo/wE9YDn0gD+I8afrijpzzP7FZUTCf9pW4taQPXNrIK/+mfrR/L8 t1SEcKPxl8NGKf9eyTbu8pbZ1wDMXFxV9i8pt11Z9yzBFNsOFggLPvNnpInWYhuxJpOmsnyo 3qSZ05/yXjEv0PhFzmkUH5ZVe7Qbc5Nlk5jZS0IFnS06kcnereqvfs+dYNoXLwJ995D7P9TT tsDcZ/RBP5gdCj2xDAGSZzbsoZZVQ+KgDiWNHGPewkPfJ9HRi3I9OT7fwDpyjI8MyqvueY6o Jyizgn+Q6dfYyhTV+Htd+OJzX29mVM/idBCdRLEDfcLcXq97bUwDTL6i8EGBv0lKDLB42C// BmXCxJJntv9idY53/eRjJ/VsrrzNfV1G3dbOGzp7byWEy3+1Uj7yK9iVNe4RxzsZFnWyo6DO 9oMl+rdNccZlmlkq4B/SrZn7Zwv7uvV+oN18F5WI2XpXX+KVJVbPXi07etevPZsx5hYmzeMd GChx914AYiNaeTZSAM/BQx9demS9+Amqh+L59QPHUjKzitW/r2GbEZsAyexmBFtdLtbDK51w MMKmtIn1Aikux97bveEln918kqPHFwhUoImlI0rP4vwrjV61HR5OJn6Jhbr0svedecWIk0OJ xmKjpHjnJVZ/FLJKFAoJEjO3M1cpJUAgw9Lx1k8PGa0msLJq/s0/R9J+xElZ15x4jQe9MwrI UltFUl+BZvWzgdSnMIZAlydQVBQNiOW6mna6gUvllSAa2KKS2aUDmk2GdjVzXAj62gGIwRqp uCJ+l3EDwTvUtr6hBYpeEhfrPfmc9x92yvClO2jHOWHB5MKWiXksID/eVs3rwbbPu1piH3lv eVK+MNCWZ//PwMUoIw5DNC+/pYUQxamOmdDYK9A+IUkIGLiQwyxiAO+cx2JRsBwJvLx4RCZD e5qLZlxTBiQ7nuFgQ0aIq8uGIVKusAVyuAMQZ7RHl5egYCj9mJolLny6hnBgHQaRoQysMQld aLUWTGwMk2Ronp2nWWX/c9OFVSkUOYAfyn5+v6/y8QSNpc5qOo3W1oD4ri1mHS0MQVc4BOfu j3YVZLW1+BPzYdNnZPmN6d+WyGYGIjUb/uZ1gKdv/BlT8L9Ae2Xuyw78lDYbhlrZ50PUNFJp JGxmd/Q3maemZ0pUmrcyqKzJ4MQ6eqcBONoY9/Kdl9Eli6/Wejp0RsJ20a8DbdryNp9xM2Wd zGUWfuKV+w+eolinSVOSi1kDRwiJbz9bf7gqQODvv28MEUh/jKdHuy3103CTD99TTAJCa3cG wWvmveJ5/JklqpuKiIAJclbB85fHAe+d4ogLtH/jGzNRC3gyFaPoaDrmhcc+CnGQCvMWtrz5 ZXeAAPyblKusaXP18tUqJF2ogZRNntmnO0sZQgIzraaUdxh4LIudozx8KnqC624VgT33ZD8I TbKNS4sVXm7UjNDfhHxpt/kW29zwwDI1sjRflQUE4G8Mk9ax79sxJNu8SBv53pzczrniuqgL LnyP1XuawOpzMgBqfk7v5SGbCQO+h8e7n0P/k/5nsn7AhJYCrIPvJCk8MyhSgSfe/zweI73y aTZiIyKrIxXiaI8LCq4R0NoJQ== IronPort-HdrOrdr: A9a23:TmwJD6q6aLK6Soy+0DTltcUaV5rqeYIsimQD101hICF9WcaT/v re58jztCWE8Ar5PUtLpTnuAtjkfZqxz+8W3WBzB8bAYOCFghrOEGgK1+KLqAEIcBeOkNK1u5 0QCpRWOZneC0Nlhd327AT9P9Er28mf7ayk7N2z815dCS9vL45t5xpkEQqAe3cGIDVuNN4WEN 6z6KN8yQZIuk55Ui14PBQ4tiT4xuEjXaiHXSI7 X-Talos-CUID: 9a23:0aH7Rm3Zckye83+DQufzhbxfEMIlalCe4HDsA3DgJF4wEaC2c1qR5/Yx X-Talos-MUID: 9a23:vHK7JgRDbbIxBqY2RXTnlQNsb5pI352LCVAov7dFsfumMz1ZbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.20,261,1758578400"; d="scan'208,217";a="253603903" X-MGA-submission: =?us-ascii?q?MDFr8L8X2SpsKSvfmPVOOd7En8/+8mUKBGZYnb?= =?us-ascii?q?c6GOIAwQFptugz40Jq6x0lOYXrmd+u4QAUoBsoMZkUsR/3+/oLTwvd/G?= =?us-ascii?q?mA3XKYXdXG2FUONPfiEqAj4uSt112wR+xaN0WF5Bq4Uu2wZQFP9An+DY?= =?us-ascii?q?1untqHTJfGtdt+ACiERh5nPA=3D=3D?= Received: from mail-oo1-f44.google.com ([209.85.161.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 09 Dec 2025 17:18:10 +0100 Received: by mail-oo1-f44.google.com with SMTP id 006d021491bc7-65968986a0cso3348637eaf.3 for ; Tue, 09 Dec 2025 08:18:10 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1765297089; x=1765901889; h=to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=Rx1jiYIRVcuAYkR52PrhZE7xgEcosGql1dfgNlx6PEY=; b=E3Su51Sji05BlI+rr2H7efSdrOm/dJPgZCh7Skyc5FtulnUD9qaTYmMXrI20GgB3zp aHTmTYXGbq0Hw8qUjQ5eyTiEqsU7YuxOLbIZm2jh0tRzxUJ0ox5aoq+Y5nQkmUWMVY44 Vbu7CUagaJDNRnPdYTEWxzU0A5D3EmewFRWwB+nLVD9fKTYRAdhvpa/2n+C9+3agvMbW gr13xYVZJOm6WE5ycTy7UMp/TeeCc1byHI4HUzWS7ehnSElACukPTPVOV8RVYaWhVHwo XgDB/OaaT2RT9ZIt5cmTvVPe6vrYHZp1p9gRKj6UilLpftE0fVWd5gx5lWJ9diIBAO9Q m4Qg== X-Forwarded-Encrypted: i=1; AJvYcCUzWOHFLiujAKXP5lebB/cdBuKzOp6YrY2uoY53AqjLNrDud/IQVYWlmIzN+WkjftA42/mvl9TZsSY=@inria.fr X-Gm-Message-State: AOJu0Yx+9GBrRpCDwNKF//tmbUv8QXoOnI4/h9FoXzc/OkvrgrswzOjU d9v12J+GW20CC7qUTL/0yUaOo7xfGVxzIuD1ic2EAVZiZs7xyupVMkvF+pnwpv/lxZtiZpGH5B/ z/ApQ7bOJLVhKPQvTeFlKjdzQXgoJloc= X-Gm-Gg: ASbGnctx9Tm/81JQQ9UDpSknrSYZhhjTV/qyhZl1/Fi6UFxzAacIHSXzmgnPGCs02YN yVeNrCPhFEi4bfNuTqpM1GUaKy/l1zqOL1sOIX3r4n/D+83RbKZXUH8JCD8AdmcxGyV+uJgXMp3 UTKQVbaa2iEIHTMNktDtr5Sbwpop9D15gblDQZY9y+Kzcejop0mgE03G3uHsDWXdw4kb0SHO1SE YyjFpppcNFirRaaQH5TKfqPGIvS5Ot3+3HF4q4wfVnb+qhxHAx4SU1SuyU4WdIx3xW7gyKg/fJI ZkMgbWY= X-Google-Smtp-Source: AGHT+IFnpsFiwn9RPNmJJAI/bTuPcB+J8RHf3eIX2xpg2YPh4oMnhcDiorPc5bGUnQvatVFG1F0eIAFdDIF+mmvNqNM= X-Received: by 2002:a05:6820:1795:b0:659:9a49:9057 with SMTP id 006d021491bc7-6599a90ff47mr5634554eaf.34.1765297089072; Tue, 09 Dec 2025 08:18:09 -0800 (PST) MIME-Version: 1.0 From: ICFP Publicity Date: Tue, 9 Dec 2025 11:17:57 -0500 X-Gm-Features: AQt7F2o5OYtM55iPbusb8_zgcJcy6dvuIUlJy8ilxhGXYEEfPRTebYoiU72QKwM Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="000000000000ead3d7064587411a" Subject: [Caml-list] ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events Reply-To: ICFP Publicity X-Loop: caml-list@inria.fr X-Sequence: 19410 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: --000000000000ead3d7064587411a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ICFP 2026: Call for Workshops, Tutorials, and Co-located Events The 31st ACM SIGPLAN International Conference on Functional Programming (ICFP) invites proposals for workshops, tutorials, and co-located events. ICFP will be held in Indianapolis, IN, United States from *Monday, August 24 to Saturday, August 29, 2026*. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementation, principles, and uses of functional programming. Proposals are invited for: - *Workshops* (and other co-located events, such as symposiums and side meetings) to be affiliated with ICFP 2026 and sponsored by SIGPLAN. We welcome proposals for events that facilitate discussions, presentations, hands-on activities, and other engaging formats to foster the exchange o= f new ideas and community building. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preferenc= e is for one-day events, but other schedules may be possible. - *Tutorials* (or panels, discussions, etc.), lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. Tutorials may focus either on a concrete technology or on = a theoretical or mathematical tool. Tutorials may be intended primarily fo= r researchers or for practitioners. Ideally, tutorials will have a concret= e result, such as =E2=80=9CLearn to do X with Y=E2=80=9D rather than =E2= =80=9CLearn language Y=E2=80=9D. The workshops, tutorials, etc. may occur on August 24th (the day before ICFP) and August 28-29th (the two days after ICFP). *Submission Portal*: https://icfp26events.hotcrp.com/ *All co-located events* must submit a proposal =E2=80=94 workshops, tutoria= ls, symposiums, or side meetings. Submission Details - Deadline for Workshop Proposal Submission: January 15, 2026 - Notification of Acceptance: January 29, 2026 - Deadline for Tutorial Proposal Submission: June 21, 2026 - Notification of Acceptance: June 28, 2026 Prospective organizers of workshops, symposia, or co-located events with PCs should submit proposals before the Workshop deadline. Proposals should outline the objectives, intended audience, and planned activities. Workshops that plan to have proceedings in the ACM DL will need SIGPLAN approval of their proposed PC list. The workshop chairs will solicit approval and send any feedback to workshop organizers. Workshops without proceedings still need conference approval from ICFP. See the Submission Portal for details. The selection committee will review proposals. Successful workshops may be asked to prepare a summary report suitable for publication in SIGPLAN Notices. Prospective organizers of tutorials, panels, or discussions should submit proposals by the Tutorial deadline. Proposals should outline the objectives, intended audience, and planned activities. See the Submission Portal for details. Selection Committee Event proposals will be evaluated by a committee comprising members from the ICFP 2026 organizing committee, in collaboration with the SIGPLAN executive committee. Sponsorship and Reimbursement ACM-sponsored workshops are permitted to have additional sponsors (i.e., getting donations specifically for the workshop, not for the main conference). Funds go to the ACM. Workshop organizers can request reimbursement using this form: https://app.hubspot.com/documents/5374542/view/900008676?accessId=3Da07c28 Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ Contact Information For inquiries, please contact the workshop co-chairs: Ben Greenman: blg@cs.utah.edu Jiasi Shen: sjs@cse.ust.hk We look forward to your proposals and to creating a vibrant and engaging workshop program at ICFP 2026! --000000000000ead3d7064587411a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

ICFP 2026: Call for Workshops, Tutorials, and Co-locat= ed Events

The 31st ACM SIGPLAN International Conference on Functional Programming=20 (ICFP) invites proposals for workshops, tutorials, and co-located=20 events. ICFP will be held in Indianapolis, IN, United States from M= onday, August 24 to Saturday, August 29, 2026. ICFP provides a forum for researchers and developers to hear about the=20 latest work on the design, implementation, principles, and uses of=20 functional programming.

Proposals are invited for:

  • Workshops (and other co-located events, such as=20 symposiums and side meetings) to be affiliated with ICFP 2026 and=20 sponsored by SIGPLAN. We welcome proposals for events that facilitate=20 discussions, presentations, hands-on activities, and other engaging=20 formats to foster the exchange of new ideas and community building.=20 These events should be less formal and more focused than ICFP itself,=20 include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but=20 other schedules may be possible.

  • Tutorials (or panels, discussions, etc.), lasting=20 approximately 3 hours each, to be presented during ICFP and its=20 co-located workshops and other events. Tutorials may focus either on a=20 concrete technology or on a theoretical or mathematical tool. Tutorials=20 may be intended primarily for researchers or for practitioners. Ideally, tutorials will have a concrete result, such as =E2=80=9CLearn to do X with= Y=E2=80=9D=20 rather than =E2=80=9CLearn language Y=E2=80=9D.

The workshops, tutorials, etc. may occur on August 24th (the day before = ICFP) and August 28-29th (the two days after ICFP).

Submission Portal: https://icfp26events.hotcrp.com/

All co-located events must submit a proposal =E2=80=94 = workshops, tutorials, symposiums, or side meetings.

Submission Details

  • Deadline for Workshop Proposal Submission: January 15, 2026
  • Notification of Acceptance: January 29, 2026
  • Deadline for Tutorial Proposal Submission: June 21, 2026
  • Notification of Acceptance: June 28, 2026

Prospective organizers of workshops, symposia, or co-located events=20 with PCs should submit proposals before the Workshop deadline. Proposals should outline the objectives, intended audience, and planned=20 activities. Workshops that plan to have proceedings in the ACM DL will=20 need SIGPLAN approval of their proposed PC list. The workshop chairs=20 will solicit approval and send any feedback to workshop organizers.=20 Workshops without proceedings still need conference approval from ICFP.=20 See the Submission Portal for details.

The selection committee will review proposals. Successful workshops=20 may be asked to prepare a summary report suitable for publication in=20 SIGPLAN Notices.

Prospective organizers of tutorials, panels, or discussions should=20 submit proposals by the Tutorial deadline. Proposals should outline the=20 objectives, intended audience, and planned activities. See the=20 Submission Portal for details.

Selection Committee

Event proposals will be evaluated by a committee comprising members=20 from the ICFP 2026 organizing committee, in collaboration with the=20 SIGPLAN executive committee.

Sponsorship and Reimbursement

ACM-sponsored workshops are permitted to have additional sponsors=20 (i.e., getting donations specifically for the workshop, not for the main conference).

Funds go to the ACM. Workshop organizers can request reimbursement using= this form: https://app.hubspot.com/documents/5374542/view/9000= 08676?accessId=3Da07c28

Further information about SIGPLAN sponsorship is available at: http://www.sigpl= an.org/Resources/Proposals/Sponsored/

Contact Information

For inquiries, please contact the workshop co-chairs:

Ben Greenman: blg@cs.utah.edu Jia= si Shen: sjs@cse.ust.hk

We look forward to your proposals and to creating a vibrant and engaging= workshop program at ICFP 2026!

--000000000000ead3d7064587411a--