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=EXPEtDAm; 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 D3DE44008C for ; Thu, 18 Jun 2026 13:39:35 +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=HYWb+tUfkbzk+DmrvWDlK2W7DjcPVzbNI+KEMdjCCpY=; b=EXPEtDAmf14Xu0CzgZcm7ktF0gJATU9nX32ByTD0rdm002Jn4SNlUvxj qnw4q2xVPW7NarfaHFKTlAF9PHGdMLPiPnfGKSW4JTTLh3Hik7nO8falx p/QTQYbix3qHHT4O6hK3/ZHcfOwwqfsPUXpeiKoO5uf/o00X4byJOmpx7 w=; X-CSE-ConnectionGUID: wF8/sYSwQCSCxYtks1vaNA== X-CSE-MsgGUID: x/GwGkCJRr64jTPVal2UVw== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.24,211,1774306800"; d="scan'208,217";a="282249257" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Jun 2026 15:39:35 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id EFC1A82CDA; Thu, 18 Jun 2026 15:39:34 +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 12FEE82CD8 for ; Thu, 18 Jun 2026 15:39:25 +0200 (CEST) X-CSE-ConnectionGUID: +gdrelnATC6QiCRziW1lNQ== X-CSE-MsgGUID: zPoflD0ASf2ZlI1Aw24EnA== IronPort-SDR: 6a33f50c_LCQ6qV0bMXESTyVAK+SisySVQsYvdpzsGCSHhX0Vzf5KKFi TmqResZRzz0uARrB+UybHYkTt3z+AjVAbjaKISw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GACgBz9DNqfDOgVdFaglmCGClhKV40BAtJhFiBI4IsU?= =?us-ascii?q?4sxgiGXRwGIKycCDwEDAQ1EDQQBAQECAQOEf41HAh4HAQQzBg4BAgQDAgMBA?= =?us-ascii?q?QEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQEiGQcOEimGTwsCgkUBB?= =?us-ascii?q?AEBAQEDAwMBAQwBMHGBJQEBAQEBAQEBAQEBAQEdAg0HGD8XIQsGHQEnEgMSE?= =?us-ascii?q?DcCIxIBBQEoAQwiOYFPWAGCIgEGEAEDNgMRpkaCJIECQos9gTKBAYINBoEJ2?= =?us-ascii?q?V8KQQ1wgQ1cAgEGFoE3AYR3eYJqAYFfAQIOhAaEAoEhD4FVRIEVNYM0gQWBX?= =?us-ascii?q?ASCC4MuFoJUBIIigQyCSoE6gWCEDCCGayMDJgMHBw4rRg4BIQMmMywBVRMXC?= =?us-ascii?q?wcFLVcKA1UBAgFfCB5uAQIvBheBIz4XNFgbBwVWHwInHyUbMSADPgICBiIEC?= =?us-ascii?q?wMPAwY2GgNDFBYNByUDAwIdBAMCAwMGFwcGAxAEAgMDBgMDAwQFCSMCIAsOO?= =?us-ascii?q?QUFBgMRCgMDAw0DAgcDAwMDAwMDDgQDAw4DAwgDAwMMBQMDAwUDAgQDAwYCA?= =?us-ascii?q?wMRDgMDAwMDBB0DBwQDAwMgAwMKAwcDBgEGAgMHAwMFAwsDAgMUGggDAwQEA?= =?us-ascii?q?wIDAwMJAgUFAgUDAwMDAgMDCgsFBwMDAwcCEAgDBQMDAwIFAwQHAw8DAgcGA?= =?us-ascii?q?wQDAwUFAwwVAwMCEgsDBQMQAxQDBQICBwUCAw4GCQsEHQICAgIQCA0DAwUEA?= =?us-ascii?q?wQFAwUDCAIBAw8iKxwGAwMDAx4DBgIREgMKAgMDAiMCAgMNBQMFBgMEBggDB?= =?us-ascii?q?w4CAwUDCA8DC2ILPTcvSo1iFw+CZ4EMBBOBPoEmklqzLDQHK4N1gWYMii+VV?= =?us-ascii?q?DOBToI2jRSZVIg4nlqVYhWFMBEkgVokgUwJBzQZI4EBbQmBQFADGQ9XAY1gg?= =?us-ascii?q?2uFE8EjKzI9AQEHAgcOAwuBaJF/AQE?= IronPort-PHdr: A9a23:3XJukh/wPMXK/P9uWbS1ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y QqHvb431gCYBs2bs6sC17GK9fi4GCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnWCsCvRAEBW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcu8cWjId4Nqo91hTFrmVWd+lUwW5lK0+YkxLg6sut5pJu/Cpdtv07+8JcTan2erkzQ KBFAjghL20668rnuAXZQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Q78sVzut9 qtmVhDmhjofOzE27G/YhMpwjLlGoB26vBxw35TUYICOO/VgeK7WYM4XSnBAXsZVUCxBH5+8Y o4SBOcPIepUs4/wrEYIoRWjGwasAeLvyjlSiX/swKY21+osHR3a0AAlGd8FrXbao8jvNKoKX u+7zKfGwzbeYfxKxDrw85LHfgw7rPyWQb58bcjcxE8yHA3FlFWQronlMiuW2OkTs2aV9fdrW /iyi2E8rwFxoySgxsYwiojJm4kYzVHE+jl3wIYtP9G4UFN7bsWgEJtRqy6aNpd2Q8M5TmFnv yY6zbIGuZqlcygP0psnxhrfZ+abfIiP5xLuTeCcKip3i3x5YrywnQqy8VS+xe3mUMm5yEtGo ypKnNXRtX0D2RPd5MebRvdg/EqtxSuC2x7R5+xFP0w5laXVJ4M/z7IslJces0rOEyD4lknoj 6KbckUq9Oau5u/6bLvmoZqcOJV1igH4Kqkumsu/AfgkPQgUR2iX4/iz1Lrm/UHhW7VKj/I2k rHdsJ/AI8QXvKm5AxVa0osl9h2xDC+m3cwGkXUbKF9JYhGKgojzN13TIf30Ee2zjlSxnDpt2 vvIJKfuAo/XIXjGiLrhfahy60pbyAcryNBQ/ZNUCrUYLPL0QED9qcXUDhE5PgCp2ernB9J91 oQRWWKLHKCVKr/dsViN5u43IumMYpEauCrlJvQ7+/LjiWU1lFwdcKWzwJcaaWy0Eu5mLkmEe Xbsh80OEWYOvgowVuzqj1iCXCZSZ3muUaI8/is3CJq7DYjYQoCtgaCO3CanHpxWfW1GBVeME XDnd4WARfgMbTidIs5lkjAeSbehTIoh2Qm0tADm07pnMvbU+ioAuJ3/ztd14unTmQg29Tx1F MSdz3qAT3p0n2MNXz85xrpzoU17yleZ0Kh3meZUFdJJ5/9RVAc1LobTz/ZmBNDqRgLBYtCJR U67Ttm+DjE+UNUxzdwUbUtlFdqskwjP3zC0DL8LlLKFHoQ58qfG0HjwI8Zx0nHG27M8g1U/T MtCNXCqirRw9wjUAI7JnEGZmLiweasA2y7N8X+PwneNvEFZVQ59Sb3LU38RaUXIsdr0+kXMQ 6ezBrQiKARB09KNJ7NSZNPwlVtIS+/vOM/GY2K/g2q+HwqFyK6RYobyYGUdxCvdB1AEkw8N+ XaGMhAzCD+4rWzGAzI9XW7oNl7q/ehlo3e8VUI4ihuHZEx51rez5gVH1q+yUfQWi5Mvlh9pk yh+GFe23s7HQ46BrAR5Or1Ba9c861ZbxErWsAtyOpGlJqFmwFUZdlIk7AvVyxxrB9AZwoARp 3QwwV8pcfrwODJpcjqZ2cq1IbjLMizo+xvpbafK21bY2dLQ+6EV6f1+pU+w9BqxGB8E9HNqm 8JQz2Pa/o/DWQsZX4q3Sls98xlxpq3LSiY64IzQ2HhlMK3yuTjHiJoyHOVw8h+7ZJ9ENb+cU gr7EskUHc+rfe0hlUDvdg8OOOFZ9bIlF8yhcPSC1auiPeImlzWj3ixc+I4o9EWK+mJnT/LQm ZYIx/bNxgycSzL1l0usqOjykIFAIDYbRy+xlHGiC4lWaal/O40MDA9COuWRwdNzz97oUn9cr hu4Ak8endWuclyUZkD82gtZ0QIWp2amkG221W48lTZhtaeZ0CHUpoaqPBMaJm5GQnVjhlbwM MC1id4dRk2hcwkuklOs+0/7w6FRoKk3IXPURA9EeC3/LmcqVaXV1PLKYsVB8NUwrC9TUe+9f UGyRbn6rB8X1iriGy1VwzV6PzCmt5PlngBr3XqHJSUWzjKRcsVxyBHDod3EEKQJj3xWGW8h1 2GRWwHvWrvhtc+ZnJrCrO2kAmeoV5kJNDLu0ZvFriywo2tjHRy4mfm33NzhCwkzlyHhhLwIH W3FqgjxZo7z2uG0K+ViKwNpD1HkrdJnEIV/mYoslbkf3n8VgpiQ9HsD12z0NJ8IvMC2JGpIX jMNz9PPtULk00N7aGqUzYb4XXSB0+NuYN61Zm4T0yM5qctNDe3Hid4M1TswqV2+owXLZPF7l TpI0voi5kkRhOQRsRYsxCGQalwLNXFRJjek1xGB7tTk6b5SeH7qa7+7kkx3gdGmCriG5ABaQ nfwPJk4T2d86cB2MVSE13OWiMmsedLedZQLqxeQkhzBk/l9J5U2mf4HgCNmPST2unhtx+Mgj BNo1I23p8DdczQrrP//W0AAcGCsL8oIn1Olxb5ThMOXw5yiEt16FzMHUYGpBfOkHTQOtOj2Y gOHETkysHCeSvLUGQ6S7lsjrmqaScj6cSHKYiBHlZM/HUr4RgQXmg0fUTQkk4RsEwmrwJaka 0Jl/nUL4VW+rBJQy+VuPh25U2HFpQ7uZC1nLfrXZBdQ8AxG4F/YdMKE6ecmVSBT8IXntBGHL m2QZhhZJW4OXUOAClXqP73o7t7Fubv9ZKL2P77VbLOCpPYLHfaDy4rpypZs+zeHN9meFnZlC PI/109KXHQ/EMPc0WZqKWRfh2fGaMiVow258yt8o5Wk8fjlbwno4JOGF7pYNdg8swDzm6qIM PScwTpoMTsNnI1Z3mfGkfJMuTxawzErbTSmFq4M8DLAXL6F0LECFAYVMmtyLJcasP56h1MQf 5ad0pSsiPZ5lqJnUQ8UEwy83JjzNYpSZDjiUTGPTEeTaubcfWWSkZ2nP/vuFe0O0LcG8EDu8 TeDTR25YmzfxWe5D0j9bbES0HPJe0EA3eP1Ohd1Vzq5Eoq5OBPrOocl0W1one9mwS6UfW8Eb 2omIxsV/OaetXEE0qsjST4GsyQAT6HMmj7HvbPRcs5E6Kc2WnYox7wGsiZ9luUd7TkaFqZ+w CWAoNQz+wP6wrfTmGggDUQGvD9PgMjjUVxKH6Lf+9EAXH/F+EhI9mCME1EQoNAjDNTzuqdWw 9yJlaTpKT4E/ciGtc0bT9PZLs6KKh9DeVLgBSLUAQ0ZTDWqKXCXhkpTl+uX/2GUqZ5yo4blm Z4HQLtWHFIvEfZSBkNgFd0EaJB5O1Fs2aacl9IN7GGioQP5QcxbutXAX6vXD6i2bjmeirZAa l0Dxra5ZYUfO4vn2lBzP1l3mIOZfiiYFdtJoyBncko1uBAXqCk4HjB1ghy9LF70sxpxXbauk xU7ixVze7Eo/TbouRIsI0bS4TE3mw83kMnkhjaYdHjwKr2xVMdYEXmR1QB5P5XlTgJydQD3k 1ZjMWKORrlfl/14aGpviQTdpYpnFvlbQqlJZRYRwbecYPBigjE+4m23gFRK4+fIE84ojAwxb ZultG5NwSpmZd8xYKvZfe9HkwEWiaWJsSulkOs2xUVNQiRFuHPXcykOtksSM7AgLCf95e1g5 zuJnD5bcXQNXf4nyhqP3kw6POuEwifp0roFIUe0ZbT3x0KxvmHBkYuPSwp12B5R0UZC+rdy3 IEodE/GDyjHI5OeEBMGMcfHIABRKcFV8SqKFRs= IronPort-Data: A9a23:ud6Kk6zBXjC/uhdv9cB6t+e7wirEfRIJ4+MujC+fZmUNrF6WrkUDn GJJDWmBa/ePMTT9etlwbI2x/R8G6JfXytdgSAY+ry00HyNBpOP7WeiUfxz6V8+wBp2aHRg/t 63ySfGZcZtqFieEzvuJGuK8xZWp/fjQHtIQMMadZGYpA1MiEH5/4f5as7ZRqpZyhtSkCB+6t 9r3osnOUHeowDcc3lg8sspvkzsx+q6u0N8klgZmP64T4gaOzyB94K83fMldEVOoGuG4IcbhH 44v/JnhlkvF8hEkDM+Sk7qTWiUiXr7IMAGSvWFdUq6kjwIqjnRaPnETaZLwwW8O49m4t4gZJ Odl7PRcei9wVkH4o9nxZjEEe81IFf0fqeWfeRBThuTIp6HOWyOEL/yDlyjaN6VAkgp8KTgmG fD1tFnhx/1M7g676OvTdwViuigsBIrkMJkSvndJ8RqHNPcNe4LCfPzOw+YNiV/chugWdRrfT 88QaD4qax2ZJhMSYxEYD5UxmOrujX76G9FagAjN9Oxnvi6KklQ3jeGF3Nn9IrRmQe1UlUiA4 Hrb9WD4CRAGJfSQzj2K9n+pj+7L2yj8Xer+EZXipqQw3AzLnDN75Bs+R2O8r/2V0meFVYhtL 21N0zV08YU03Rn+JjX6d0bl+Sbb70B0t8BrO+Yz7QXIzqvP/y6CF20cR3hAbsYnvYk4X1QXO kShmtroAXloueTQRy/EsLiTqjy2NG4eKmpqiTI4oRUtoNbvuow3iDvzZYhaEYWPnNzKQDXW+ mXfxMQhvIn/m/LnwElSwLwqqzelp5yMSQdsowuKBySq6QR2YIPjbIutgbQ60RqiBNfAJrVil CFb8yR70AzoJczc/MBqaLhddIxFH97fbFXhbadHRvHNDQhBBEJPjagLvWgmexY3Wir1UTDuZ 0DXtEtQ4pQVVEaXgVtMS9vpUawClPC+ffy8D6y8RoQUPvBZKlTclAkwPh744owYuBJw+U3JE c3GKZ70ZZvbYIw7pAeLqxA1iOBynXBnlD+JGvgWDX2PiNKjWZJccp9dWHPmUwzzxPjsTNz9q o4BbZm52F9EXffgYyLa14cWIBpYZTI4HJ364YgfPOKKPgMsSilrBu7z0IERXdVvv51UsePUo VC7eEtTk2TkiVP9dA6lV3FEaZHUZ6hZk04VByIWAAuX6yARWrr3tKY7XLkrTIYj791mnKJVT eFaWsCuAcZvazXg+hYFXMPPs6hkXk2agBKWDnChODUCVZhqHV3P8PDaYjrQ8DIqCwypv/Afu Jyl7BvQGrAYdjRhDeHXSfOh9Eywtn4jg9BPX1PED91QWUf0+q1oFnDVos5sBPoTODPB6De+/ CSHMycy/OXijdc8z4jUuPqisYysLdpbImNbOGv+tpOdKijQ+zuY879qCeqnU2jUazLpxf+Ee +5Q8vDbNc8HlnZst65XMe5i7YA61uvVi45q9CZWN1SVUA3zEZJlGGeM4udXvK4UxrN5hxq/a njSxvZkY4e2KOHXO39PAjE6b9az9+AewRjTyvUXHH/UxgFK+Ji/bEEDGCXU1QJ8KuNuPZIH0 NURnpccyzaChyoANveEiSFp9FqwEEEQbpV/trwnBN7Etwl67HBDfp3WNQHu6r6tddhnExcnM x2UtoX4lpVewUvLTFw2HlOQwuZip48HhzZSwH8GDmbTy8T33O8z1iJ/6T4cEwZflE1G98lRO WFbEVJ/CovT3jVvhfN+eU+RMCt4CCK74UXO7UMFtG7YQXK3V2fLEnYPBOaV8G0d8ENeZjJ+/ ozE7ErUChHRY9DX3AU+fWVHus7TZ4V92SOakf/2AvnfOYcxZATUp5OHZE0KjkDCKtwwjkiWn tta1r98RoOjPBFBvpBhLZeR0IkRbxW2JGZiZ/VF14FRFEH+fACC4xS/G3qTSOhsecOTqVSZD vZwLP1hTx69jSaCjg4KDJ42foNboqQb28ogSJjKe0g9rLqtnhh4usnx9w//plMRbfdArMIfE r7VJhW+SjG+pH0MgGLcjth2Ckzha/k+WQDM9uSU8uIIKpE9jN9RYXwCiruag1jFMS9M3Q6lg wfYVqqHk81g0dtNmqXvIIViBiK1C8/Ca+CT1D/is/F1NNbpDerThVlEtGu9LwByOJ0PUe9Wj pWIisb8h2nejYY1UkfYupiPLLZI7sOMR9hqMtr7AX1ZvCmaUuru3kczwH+5Ipl3j99t3Mmra A+mYs+Wd9ROedNi6FBKSipZSTAxNr/Wa/r+mCaDsPi8MBgR/gjZJteB93WyT2V6dDcNCqLuG D3PpPeiydBJnrtiXCZeKaldPKZ5B1v/VY8NVd7772CYB1b1pGKygOLpkB545AzbDnWBLt3B3 qvEYRrDbzW3hrDDyYBIko51vyBPNk1Hv8sLQhs/9eJ12heAN0xXHdRFZN9CQttRnzfp3Z71W CDVYSFwQW/hVDBDalPn7M6lQg6bAfcUN8zkIiAyuXmZcDqyGJjKFY4JGv2MOJuqUmCLICCbx dAiFrnYOxGwxtRuTL9W6KHix+hgwfzeyzQD/kWVfwkexfoBKe1i6ZCjNFMlue/7/wXlm0LMK mw4QGlFRAewTkuZ/QNIZStOAB9A1N/w52xAUMpMqeozf62Uy+pPzPD6MuD3lLYEaazm4VLIq WzfHwOw3oxd5pDfVWbFdT7kbW+YxM9nxvSHEZI= IronPort-HdrOrdr: A9a23:E8P416zs+cfUWRl685AsKrPw0b1zdoMgy1knxilNoENuHvBwxv rCoB1E73XJoR0aUhgb6K290ci7MAnhHPtOjrX5Uo3SOzUO1FHYSL2KjrGSpgEIeReOj9K1vJ 0IG8ND4bbLfCBHZKjBkXKFOudl79+d7qiyiOvSi1trRxp7crxt4m5CazqzIwlZQE1oCZIlCI GR/KN81lydUEVSQMD+KHdtZZmhmzQJrvLbiNw9aSLPITP+7w+V1A== X-Talos-CUID: =?us-ascii?q?9a23=3AVYdhAGmGRSffzloPdMgDVTI7lAvXOT7SwG3dJ0m?= =?us-ascii?q?RNU03cby+c02Rx/pgtfM7zg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3ARpNB4A6NJo+/iNM29yfzez1uxox626OgDGxVuK4?= =?us-ascii?q?I4fuAFHVZJG3BoTKeF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,211,1774306800"; d="scan'208,217";a="282249027" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDErL7ELcU8hmDENDAvP8lFWg2aNt6BBQ9E6GS?= =?us-ascii?q?3FHahCl+y8rdvDUANXXTpcTtTcioyyUSDcUjjwtBYxytpA4CL0/nlfIO?= =?us-ascii?q?JW3DrbSPpH8LHPAwIxgHSHwAfePLVh79FuSRJV3banJomcfkOC9YVZkX?= =?us-ascii?q?Tl5UBLXJIk+M4Dad9CRK8qHQ=3D=3D?= Received: from mail-oa1-f51.google.com ([209.85.160.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Jun 2026 15:39:24 +0200 Received: by mail-oa1-f51.google.com with SMTP id 586e51a60fabf-440ebc72386so501266fac.3 for ; Thu, 18 Jun 2026 06:39:24 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1781789963; cv=none; d=google.com; s=arc-20240605; b=GFWJL4nwVcmqoMqXKkoGj7vxd/T+Ki40uuRylK4eDFUxx7HlVzuTmB5tzzK30mmTPY iGPGCJ4mjr99aKK6IQboMAh+6TaMq1g58lJC0DmP0x7IPnSkziOiMN+0s3qJYrtMxnHG vVt7tQFpBq3gGMd2jaSlnhe4X15xqIURbG++KN/fk5F55haxFH+fVjo0HKZLsACzrMhZ 2g9I4LHM6jICUupSOker492XTdkspeaWfb4swxIqgGEua5GGypzzHbMRoX/4TxhLM/we TdxLcSZ2N6J+QE5U5LT5DxfYzPMXRJh5EPDoiUpow2iqKcqlGDJc6S8H+vf0/LiENAN8 7gSw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=HYWb+tUfkbzk+DmrvWDlK2W7DjcPVzbNI+KEMdjCCpY=; fh=hMia/bAurBfkTF4y29ucR77qT90GEQi6BcEEvUIjDdA=; b=Chf6EnB4Yc6IKijBO+h06eG3HCFSQiw82A2dX3qGClZuaSo9XnAxbvOUWFn4ObntZr 5GWDecBCUtpQ+18yxXdg/wIgq4Ry0RsgNhHMPJzCHXSeUigP5AtYpaNS16YQcjn8Jn8Q 3VSMg9xyeLNqpiea786hiIjKb3e3KZ1RBu59fz8z9OmXIfk3V1T4QGU7yZe+8SSLSh8X 6hG0j63Z4B8ksGYN3+l/u6nTEShitFkPC5t9hGlZJhTuDs4YrdSPq+jhh/lwdiNUfJif GW5mVQS957uCxwRjpdnmhUfXfoq8GdxquKqZ80fgGrCqn2dmpB0Z0J1mOBVBtadwfoXO qntQ==; 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=20251104; t=1781789963; x=1782394763; 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=HYWb+tUfkbzk+DmrvWDlK2W7DjcPVzbNI+KEMdjCCpY=; b=ESPrx6kGoCHAdXluJKLh0CN2cXtnBrRRGHajpIyzi3fzoLkl9a0/1mRMd4hfTsJCEc rt/GwPhq4aAduufP1lyHm149f5q9+d+8AmPzxAwS/xniQPgwNj/R3bzNir4lzpbgtC0B +AQrOWh72PBAhgrYWR9U4rlzTGjKuDXD5boG+OWlhxrPsdAgydv2X1PznYiMJXBqrsMQ +aEjpLUZj4yKqlupT2VZ41CzgZRhOC1zA3lbDg84ck/NYNX6LHTRgZuuAt/XmtygblMe Vcg5MKIuYAmQLX+aAbcB/y5d4TF8G0zz+gFegeozPmrfLldPhMGjOr5iscQ/je+/mYlm BWdg== X-Forwarded-Encrypted: i=1; AFNElJ88AG10fu5PuNvIE0m9ROcKNK+BzS8J4zd2AgIKoATIpY+/zLrZ9BmZLxe71sRvojc6qCBObnw7siU=@inria.fr X-Gm-Message-State: AOJu0YzbuEt5UKW8kcpKU4OssKCdSEce+7IcPaHxTRShAM4zjtHneKQ0 sWgESPW3P2tMW3gU/uZx2INpVTF7VferdIlwUazFQI9PU2B8MXiae2kkpt+FJuoJMZjYt6Nejir hhf0vT0WsRixE2KziSn9JvvYrjL5j6jM= X-Gm-Gg: Acq92OFoFatXv2W/uVVENpXvA4ZHWTm8lU0DkN5GS0L0Ja9AQpRQfy21AM+5nfMJY0d b106yrrTqbR3N+RFArcDfrTWh1hikLxV0jUhV9i+0+IanEbAq+gg6e+Qz+yvbir36j5DxBd+u7L sTdpUB0v7wvn07hRJ8Q70m2VNaNrl5utnrFv3U18yQ6QOdbMq9z5GoD7rTRtnobONV+MgsViYDd XhdaKK+gAzwWW+znPzti+G9BWONSE/87PyfiKm1cYXAiFaVUI5mdS5Z+7sUQ5yci+MdLT4gHA== X-Received: by 2002:a05:6808:f08:b0:487:716e:9ffc with SMTP id 5614622812f47-489428c490dmr8390640b6e.18.1781789962922; Thu, 18 Jun 2026 06:39:22 -0700 (PDT) MIME-Version: 1.0 From: ICFP Publicity Date: Thu, 18 Jun 2026 09:39:11 -0400 X-Gm-Features: AVVi8Cf2MrhMrxDKn-B03yyBFOx7BbwQSTbxNJr4nOrEIIKdDNPqnA-mOJqqc8I Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="000000000000cdeec50654874d19" Subject: [Caml-list] ICFP 2026 Tutorials: Proposal Deadline on June 21! Reply-To: ICFP Publicity X-Loop: caml-list@inria.fr X-Sequence: 19534 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: --000000000000cdeec50654874d19 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ICFP 2026: Last Call for Tutorials *** Deadline: June 21, AoE ****Submission Portal*: https://icfp26events.hotcrp.com/ The 31st ACM SIGPLAN International Conference on Functional Programming (ICFP) is calling for tutorials! 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. *Tutorials* (or panels, discussions, etc.) should last approximately 3 hours each, and will 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 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 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). *All co-located events* must submit a proposal =E2=80=94 workshops, tutoria= ls, symposiums, or side meetings. Submission Details - Deadline for Tutorial Proposal Submission: June 21, 2026 - Notification of Acceptance: June 28, 2026 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. *Submission Portal*: https://icfp26events.hotcrp.com/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. Contact Information For inquiries, please contact: 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 program at ICFP 2026! --000000000000cdeec50654874d19 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

ICFP 2026: Last Call for Tutorials

**= Deadline: June 21, AoE **
Submission Portal:=C2=A0https://icfp26events.hotcrp.com/=

The 31st ACM SIGPLAN International Conference on Functional Prog= ramming (ICFP) is calling for tutorials!

ICFP will be held in Indianapolis, IN, United States from= =C2=A0Monday, August = 24 to Saturday, August 29, 2026. ICFP provides a forum for researchers and developers to hear ab= out the latest work on the design, implementation, principles, and uses of = functional programming.

Tutorials=C2= =A0(or panels, discussions, etc.) should last approximately 3 hours each, a= nd will be presented during ICFP and its co-located workshops and other eve= nts. Tutorials may focus either on a concrete technology or on a theoretica= l or mathematical tool. Tutorials 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 rather than =E2=80=9CLearn langu= age Y=E2=80=9D.

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

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

Submission Details

  • Deadlin= e for Tutorial Proposal Submission: June 21, 2026
  • Notification of Acceptance: June 28, 2026

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

=

Submissi= on Portal:=C2=A0https://icfp26events.hotcrp.com/

Selection Committee

Event proposals will be evaluated by a comm= ittee comprising members from the ICFP 2026 organizing committee, in collab= oration with the SIGPLAN executive committee.

Contact I= nformation

For inquiries, please contact:

Ben Greenman:=C2=A0blg= @cs.utah.edu
Jiasi Shen= :=C2=A0sjs@cse.ust.hk

We look forward to y= our proposals and to creating a vibrant and engaging program at ICFP 2026!<= /p>

--000000000000cdeec50654874d19--