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=KvjV2e4M; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=googlemail.com header.i=@googlemail.com header.a=rsa-sha256 header.s=20230601 header.b=iJq0tnJW; 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]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id A4D9548E0F for ; Fri, 10 Jan 2025 15:43:09 +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=IVXz/xL7eFaMe2m13SFV+9ZK85FgnpZ6i7iuiQ+7TUA=; b=KvjV2e4M2guD+r1c0mOyZQd2r3Y9IycjU5gJ6JR7aSfA2Vf9eRnApmzm uNU1vB29BJ32voMcShwgpMAuBLWNRT7VprNZvVcFrVbvNuPv9SZIl4o08 J9wpQjzNjiMDtSAtFt4WTU2M1dDiEsievDXD6/ZKv7muavNzESsgNHvp1 o=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; 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@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@googlemail.com X-IronPort-AV: E=Sophos;i="6.12,303,1728943200"; d="scan'208,217";a="202532514" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Jan 2025 16:43:09 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E5D11E0137; Fri, 10 Jan 2025 16:43:08 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C7D63E0077 for ; Fri, 10 Jan 2025 16:43:06 +0100 (CET) IronPort-SDR: 6781400a_DSVisotwg8DGRYlcbp2dlFeezMSAOlyOz1kSirWgxnDMAqh IejpQrl5B4OJVKxJGS8xlKFaRNG96r6r358ycfA== X-IPAS-Result: =?us-ascii?q?A0HgJwDSPoFngammVdFaHAEBATwBAQQEAQECAQEHAQGBa?= =?us-ascii?q?AKBPxsCAT0ofVk0BAtIhFaBI4IsU4srohIoDwEDAQ0UAQEBAgYcCQQBAQMBA?= =?us-ascii?q?4IMgnSKdwIeBwEEMwYOAQIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBA?= =?us-ascii?q?hABASIZBw47hXsLAoJFAQQBAQEBAwMDAQEMATBxgSUBAQEBAQEBAQEBAQEBH?= =?us-ascii?q?QIUGBEuFyERHQE5AxIJBzcCIxIBBQEoAS44gU9Zgi8BAzEDEaUqgiSBBUKLP?= =?us-ascii?q?oEygQGCDQaBCT4F2RAKQQ1sgWQCAQYUgTICAQEBhHF3gmMBgVwCDoN+AYN9g?= =?us-ascii?q?SEPgVVEgRU1gzOBBYFcBIILIIMOFoJTBIIyhTWeHiMDJgMHBw4rSQ4BIQMmM?= =?us-ascii?q?ywBVRMXCwcFMlcKA1wBAgFpCCKBHgUGJQECNQwGDiMHAwYDAwccBgIDAwhOA?= =?us-ascii?q?wYNSgw2BzYECAMDFwooAgIDAxkkEQMCBQMFAgYKCgMDAxQaBgICBQtgCAkDA?= =?us-ascii?q?yIEFgYFHw0WCQMWDxkKAwMDCRQDGBwIBQUwEwMFAzUDAwMEEgMdBQcJMxIDB?= =?us-ascii?q?gpAUAgNAgIKLAkJgVYHLRQHAyADGy8FJB0DBgwRAwMXBBAVAwQDTQIIJgMCA?= =?us-ascii?q?gMdDAgaAwUEIisdCg8vAwMDA4ENAwU8AyhUAxIFQgZSAwkGAwUMAwtOAwkWA?= =?us-ascii?q?hJxAlMEBUoDAwMCAyIDAwMKAy1XBAQCA0kIBwMDAhIcBAUDBzACGRsOAgMZA?= =?us-ascii?q?wYJFAgCMAQ0CxASJQMjBRIFAwgDAwMDMksGAxsJAwMDAgNGBAIDBAMTCAIWA?= =?us-ascii?q?goZHUADC2ILPTcvTJwDPYUpgnelDaBPNAcrg3OBYwyKKZVIM4FPgjWNBplJi?= =?us-ascii?q?DWeS5VVAhOFLhEjgVokgVw0GSOBAW0JgUBPAxkPV41hg2OFFLNFKDI8AgcBC?= =?us-ascii?q?gEBAwmPToFSAQE?= IronPort-PHdr: A9a23:pED7cB0Zn0Yy5CNrsmDOrg0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeGo6wx3BSWDc3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfglEniexbLxxI Rm5rwjctdQdjJd/JKo21hbGrXxEdvhMy29vOVydgQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4 qx2RhLklDsLOjgk+23Rl8J/kqdboBOnpxNl2Y7ffYWZOfRicq/BeN8XQ3dKUMRMWCxbGo6zY IsBAeQCM+hFs4bwukADogGiCQS2Hu7j1iNEi33w0KYn0+ohCwbG3Ak4EtwNrnnarM/7P7oIX +Co16bIyTTDYO9X2Tfh6InDbxcsofCQUrJ+acrd01EvFx7egVWUqIzqIzKV1vgNsmWA4OpgU uWvi2Ejqw5vpzig3MYsio3Tio0JzVDE8Dx0zYAoLtK3VEB1e8SrEIdMty6ELYt2RNsvTmBnt is+17ALpJG2cDUOxZonwxPRZPyJfoeK7x79V+ucIDd2in1ldb+/hxi/8keux/PzW8e00VtHr TRJn9jMu30Lyhfd5M+HSv5n8Ueg3zaCzwDT6uZYIU8oj6rbM4QtzaI3lpoWqUjDBDH5mF7og 6CMbEUr5uio6/79brXhvJ+cOIl5gRz9PKQ2gsGzH/g0PwwUU2WY+emwzqDv8Ez4TblQk/E7k 63UvZbHLskFoq65HhRV0po95BalEjmm0dUZkmcfIV5Zfh+MkpLnNEvUIP/iCPeym1Ssnylvx /DBJrDhB4/CLnnHkLv4fLZ971NQxBM9zdxC5p9ZDqsNIP30Wk/2u9zYCgE2PxaozObgDdVxz oIeWWSRDa+FKK7er0OE6+Y1L+SPZIIZoivxJvkk6vL0kHM0mFsQcbGs3ZQNaXC4GvpmI1+eY XrpmtoBEHsFvgQmTODwkF2CTCVcZ3KzX60g5zE7FIKnAJzMRoCqh7yB0yO7EYNTZm9cC1CMF W3keJmDW/cJcC6SJNRunSQeVbe9U48hyQ2utAjixrZ6NubU4DEXtYr/1Nhp4O3ejQ09+iZxD 8SZym2NS2B0nngURzItx6B+oUl9yk+Z3qRigvxYE8ZT5/JTXQsgO57c1b8yN9enRwTNf8yCT FG9T9njGzw6T8owztkSeBQuSPu4iRWW/gGEO/ctiraPBZc17rOUi3n6Kd4702vM0KgqjkU3a sRIMmKii6t29gyVDInMxRbK3522fLgRiXeevFyIynCD6RoACGaYMI3AVHEbPA7NqMjho1nFR PmoAKgmNQ1IzYiDLLFLY5vnlwYOX+/tbfLZZW/5gGKsHVCQ3LrZbYHkYyMFwS/ZCUMFjxE78 nGBOgwzAy6gpyTVCzk9XUn3bRbU+PJl4Gi+UldyygiLa0N70L/g+xUbnbqEVvkX37kFpDYJp DJzE1Kw2tvXD5yLoA8yNL5Eb4Yb51FKnXncqxQ7PpGkKPV6gUUCdg1so070/xB+C4EFkMxz6 X1zkls0JqWf31dMMTif2PgcI5XxLW//tFCqYq/SgBTF1cqOv70I47I+okniuwegEgwj9W9m2 p9bySnU4JKCFwcUXZ/rNyR/vxFnu7HXZDU87ILIxDVtN6ezqDrLx9MuAqMs1B+he95VNK7MG hX1FoUWAM2nKepinFbMDFpMPetc7OgsIsmidvCHxL+DM+FnkzariG1G5MZ21UfNvytwR+jU3 ooUlumC11jiNX+0h1Ogv8br3IFcMGtKTyzvlG69WtAXP/MjLuNpQS+0Lsa6x8tzncvoUn9cr hu4Ak8endWuclyUZkD82gtZ0QIWp2amkG221W8R8Xlho6yB0SjJ2+mnegAAPzsBRWJslRH0P IKwjtsbQFmAYA8umx+o4E/7w+5Qo6E1fAyxCQ9YOjP7KW1vSP76t7GMe4hX9ZkssC5WTPWUb ledRbrwphIb12XoGG4Ul1VZP3m6/57+mRJ9kmeUKn1++WHYdc9HzhDa/NXARPRV01LqXQFAg CLMThi5Ntitp5CPkovb9/q5XCSnX4FSdi/iycWBsjG67CtkG0/3k/e2k9zhWQ80tE2zn9hhW z2OtAv2Zojg1rirGe1geUZsCVr16s48EYZ72oc9n5Af33EGi47dpyJW1zeud4wFh+SnMitFT CVuoZad+AX/3Ux/Mn+Fj5n0UHmQ2IopZtW3ZH8XxjNo6slLDKmO67kX+Ek96lG8rA/Xfb18h mJHkapouCNc2r9X/lNzn3b4YPhaB0RTMC3ymg7d6tm/qP8Sf2Ozaf2q00E4m9m9DbaEqwUaW XDje55kEzUji6c3eF/KznD37ZnpPdfKatdG/ByfnQ+Gl/VfLJM6l+YbrSVgPm35sHgsyup9h htrl8Lf3sDPOyB28aS1DwQNfDz+adtV4izniadVn9qH94+oGZplFzACXZ+uRvWtWmF317yvJ 0OFFzsyrW2eELzUEFqE6UtomHnIFoiiK3CdIHRKhcUnXhSWI1ZTxRwFRDhv1IBsDRiknYayF SUxriBU/FPzrQFAj/5lJwWqGHmKvx+mM381UMTNd0cQt1AaoR2JborGqbgvVyBAos//8ErXc TfdPloQSzlOAx3hZRirP6Hyt4eetbHAXKzmaaOJO+3GqPQCBanWg8jzg802p3DUcZ/Xdnh6U 69kgAwaATYgSp6fw3JWG0l132rMd5LJ+0v6o3cq6Jj5qLOyBkru/dfdUuMCd4wwpFbmx//Eb bfYhT4le28HjdVVlCOOkP5HmwdM7kMmPzi1TeZa7X+LHP+Ww/UHSUZcMnw7NdMUvfhlgE8Qa YiC24mzjvkh37Y0EwsXDwW/3JvyNIpReSflcwqWYSTDfKKPITmBqy3uSYW7T7AYzOBdthnq/ C2eD1emJDOI0T/gSxGoN+hIyiCdJh1X/o+nIF5rDiD4QdTqZwfeUpc/hCAqwbAymnLBNHINe Tl6fURXq7SM7CReyvxhEm1F53BhIKGKgSGcp+XfL58Xt7NsDEEW36pC528mzrJO8CxebPl8m S+Xr9o35l//zLjJxT1gXx5D7D1MgcPDvElvP7nY6ogVWXvA+0Fojy3YABALqt15T9z37voIm 56fyeSqdmkEqoyFrq5+T4DOJcmKMWQsK0/sET/QVk4eSCKzcHvYjApbme2T8Xucqt47rILtk dwAUOw+NhR9G/UEB0BiBNFHLo1wW2ZukLWVlIgQ+HC6rRLQWNRysZfAWfafBPzuLHCSirwON H5qifvoaJ8eMIH2wRkocl5hgIHDAFbdR/hIqyxlKw4w+QBDqSYvCGI03E3hZ0Wm53pZRpvW1 lYmzwB5Z+oq7jLl5Vw6c0HLqCUHm040gdz5gDqVfVYZw4+/WoZZDyfxvkk1dJj8RlQsBeVXt UNjMzjASrdYjr8mfmdu2le0UXpnHPddSehFZEZVy6jJNrMn1lNTrijhzkhCt7OtNA== IronPort-Data: A9a23:fqTGy6KSOvSyevW7FE+Rn54lxSXFcZb7ZxGr2PjKsXjdYENS0TVUn GocWz+HOP+MZ2b1Ld53O9yy80gPvpbcyN5iSQUd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb/s9JIGjhMsf/b8Uo35K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuL2Ww6PB+JkENHYg8oNtGOT1R3 NNJJ2VYBvyDr7reLLOTT+BtgoEiKJCuMtpB6zdvyjbWCftgSpfGK0nIzYUAjXFg24YXQ6iYP pRIAdZsREyojxlnO1wZENQmge2sh3L+byxwp1WSqq465mHSyEp6172F3N/9IITQGJ4PwhbDz o7A11/SMzM8MtHF82CmqHiViOKStDnACZ1HQdVU8dYx3QTLmT1NYPEMbnOwqPy9z0q/QM53M F0R4iNorK4o9UXtQMOVYvGjiHuNvxpZWt4JVuNjtlDLxa3T7AKUQGMDS1atdeDKqudqW2AB0 0+jn+jJABg1jYytFW202eab+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7l5jESMWGgq w1mvBQDa6MvYdnnPphXEHjCijOo45nNF0s7v1uGGG2i6Qx9aciuYInABbnnARRofNrxorqp5 Sdsdy2iAAYmUMHleMulHbplIV1Rz6zZWAAweHY2d3Xbyxyj+mS4Yadb6yxkKUFiP64sIGCyP hOP5l4NuMQDYRNGiJObharhW6zGKoCwRbzYugz8NIImjmVZLVDXrH8xPxb4M57FzBB2yvFmU XtkTSpcJS1HUPw4nWTeqxY13rgsySQzjWLVTtaT8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4BbZfi40sEC4XWPHKImbP/2HhQfBDX87it85QPLoZu42NORAkcNhMm6ep5JNQ1xPsMzrugE 7PUchYw9WcTTEbvcW2iAk2Popu2NXqmhStjYXJ+DkXiwHU5f4ek4YEWcpZ9L/Ft9/VuwbQwB 7MJctmJSKYHADnW2SUvXb+kpqxbdTOvmV2vOQiha2MBZJJOfVHC1eLlWQrNzxMwKBSLm/Ewm JCe8z/KYIEiQl1iBfnGafj0wFKWu2Mcqd1IXEDJA4dyfRzs+bd1NyXOke8THPAcDxfA2wnAh hikWwccgezrvYUO0cLogJqcpNyDCNpOHUt9Hkja442pNCLcwHGR/I9YXMuMfhHfTGnR6oz4Q clklNTHL+whoFZGl6FeAoRb5/syyPW3roAL0zk+OmvAamqaL49JI16E7JFpjbJMzLoIgjmGc BuD1fcCMIrYJf6/NkAaITckSeGx1fs0vD32xtZtKWXY4B5Hxpa2YX9wDTKt1hMEdKBUNbk7y 9gPoMQVsgyzqiQ7O+a80xx7yT6+EWwiYY4G6LchH47Zuig6wApjYLvdKBPMzrOhVtFuCnQuc xio3PfsprIE3UfTUWsBJV6U18pnuJk+khRrzlgDGle3puT4lsIHhCN2zzBmYTlWnzNm0v1yM FdFL0daB7uD1BY2idlhX1KDIRBgBhqYyBag1WlThGnTcGewXEeQLmdnYeep12Ia+lJ6YTJ00 uy5ymHkcDCyZ+D3/HI4dnBEoszZb+5a11P9iuH+OO+aRr8WTCHAgKC8QUY58D7cHtIXhmDcg OthodZLdqzwMBAPr50BC4W10aoaTDaGLjdgRc5N0bwoH2bOXiObwhmLdl6Mf/1SK8zw8UOXD 9JkIuRNXU+c0AeMtjUqOr4eEYRrnfIG5MswRZ2zHDQo64CglztOtI7c0gPch2VxGtVnrpsbG 7PrLjmHFjSduGtQl2rzt/J7A2ufY+QfRQjCzeuwofQoFZUCjblWSnsM8ICI5lebDAg22Civn lLnR7TXxOlc24hTj9PSMqFcNT6Vd/L3dsq1qT6WjfofTOnhE8n0syEtlmLGJCVTZLsYZMR2n ++Csfnxx0L0g4w1WGH4xbiEG7dDv8mpbtUOMsvIM2Rrx3qeec7z4iks/3KzBoxJneh8uOimZ VqcQ+mheeEFX+xywCVuVBFfNBIGGoLLYbzGmRqti9itVj0MzlbhPv680H3YfUV3V3QvBcXlK wnWv/2O2IhpnL5UDkVZO8A8Uo5KHlDzfIAHKfjjvia8JUu1iAqgvrDCq0IR2QvTACPZLPegs IP3fTmgRhGco6qS8cp4tbZ1tRgpDHpQp+k8U0Ye2txugQCBE280ArUBAKoCF61rvHT+5LPga BHJSVkSOyH3cDBHUBf7ufDIfAOUAM4QMdbYeB0t2W6paBmNOYDRO4s5qx9c4Ep3dAW6navjY Zsb92brNxe8/oBxSKxBrraniONg3bXBymhO5Un5lNfoDg0DBakRkkZsBxdJSTeNBvSleJ8n/ oTpbTssrICHpU/N/QJIfndUHFQYuGqqwWx2PGGAx9HQv4jdx+pFoBE61ycfzZVbBPnm5pZXL Z80e4dJy2+R3XMXtK4gutZviqhxYR5ONtbvN7ftHGX+gInpglnK/Ko+ce4nQ8Yl9wpSFlrck n+n5H1W6IFp7qxO8OX+9DjlMK6dnp7B4/8lQeI/SfL7fcQF8uXk IronPort-HdrOrdr: A9a23:QeJFc6x1f9RI/NGa4p9MKrPwG71zdoMgy1knxilNoERuA6ilfr OV7ZMmPH7P+U0ssR4b+exoVJPsfZqYz+8R3WBzB8bZYOCFghrKEGgK1+KLqFfd8m/Fh4xgPM xbHJSWfeeQMbEMt6jHCWeDf+rIi+P3lpxAzd2utkuFYzsaE51d0w== X-Talos-CUID: 9a23:1RskzmDEjpnMzDL6E3V5qGURCuolSV3Y6C3tEnfkFk9GGbLAHA== X-Talos-MUID: 9a23:WS9tsgT2jrJNY4WtRXTXrwBAEsFluZ70KxoHqJsL5uCeDn1vbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,303,1728943200"; d="scan'208,217";a="202532483" X-MGA-submission: =?us-ascii?q?MDHmBHMEZmoMaCW4OuMnOPiE52S8QbOZy2PFoS?= =?us-ascii?q?+vwaJ0uuUeuIkfaSnSodV0swo1HBqEqXodih7w1cFq2Sv+zMGtS5dp5X?= =?us-ascii?q?Xqrih22F9S6RMNgyUda03lFtpx01U0pIrRDEJXZH53Dr2TqeGX0Lx8+G?= =?us-ascii?q?aplKz6bWZ30khYHkcpUnORTg=3D=3D?= Received: from mail-il1-f169.google.com ([209.85.166.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Jan 2025 16:43:06 +0100 Received: by mail-il1-f169.google.com with SMTP id e9e14a558f8ab-3ce46520a29so11847475ab.1 for ; Fri, 10 Jan 2025 07:43:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1736523785; x=1737128585; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=IVXz/xL7eFaMe2m13SFV+9ZK85FgnpZ6i7iuiQ+7TUA=; b=iJq0tnJWbs9ulL/ZjTlvCS6MbDh/+H9/LJ78YiTxoNyCas11De60/i2FMDaJ1rPbdU 2VsulmkxmO6SBAyP+kfpElVPOPrzjItXxPSZ0kNKtWcHunhxhufMbLuYcF6FX8qSjh3H 2wUBo6TNUUz698KesqlZM3LH5DDI1ZGMBaQzl9DIVujHA8xwysivNxzmPzgDFXwiJy3I Gxnm2U7OeUz9YDUjNzM2z9/o3xV2y6jks4BLQH703AfEr4tKqx6xvm6QOQQNN0m4YeoT GgKRKevWWw7W9xYSJ2MPAhnz/9XklxFSM1ZzMj0fXLY2ymy2uiv0jopGXh82qDG15xRQ DAbg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736523785; x=1737128585; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=IVXz/xL7eFaMe2m13SFV+9ZK85FgnpZ6i7iuiQ+7TUA=; b=e+q7zcrImvMD6QNVsseU+0IQWLn3cQPqq8w2n1dH4VihYCl3uzRfSXgkuxBusyYVID BG1Djfd+hW6leBnP79xW08Nz8T/YuTw57PJdsCPTYVqG7Din/yR7/uh/XN0ks/W6Yqnp EYv9kWujmSB5zR+anSvqbqmGnNVOexKp2EAvwt8scwXKxdkhS7tSkcAEPOXjDdtpsFrQ 1UOyQoXSF0orEnGCQnAOqyD9mnaZCs9b5D7v9niW7Cu/T6YM8N8BoAGlQz7qrbiGxtY7 1A7YK/hi6yIZt21gB2EhYFjQ/6CA/QPXHXoWcG5STIgU7jHGRWbgeruydizdTdS0Yr39 QiWQ== X-Forwarded-Encrypted: i=1; AJvYcCUYHWKEWN8CniV2b6oEdJdfqNsmYyu3Bt80Tn3sglX0CWuOCPU5HnFRkLmK+Cqfb+Ygn20CfaywzXI=@inria.fr X-Gm-Message-State: AOJu0YyNCcWEG1WSvXOVDIqcSDqE0nXKc5SEr3FKxtgOVIVQZZy+AN14 mdNqdepztdrx6eX2fTXNO1HhN0K+0RHrmN9E5xX3a8fs0ToOyocNC+/HtHyXmm6NCAPJmF0rCha 9vvfD1MMxZOZ6azeawQ6R5HwnFS8= X-Gm-Gg: ASbGnctm7MocGwFpYErRpGyyFAyBHSjZnjE9j4h8L5jysbq4YQgbTnW6PXY5pprTxU0 aoePYMv8vxBdXMVrvqvvdUdZRrIbhmTKAZoQiONM= X-Google-Smtp-Source: AGHT+IEFoJpy1J0fZMDkMZGBeXbFu0xgaWND7q3+P5Q2HDUI0NeFbAtgeJeE4SozBmvhml/pq/pTYM/X0+Iga8YgILs= X-Received: by 2002:a05:6e02:1fe6:b0:3ce:568:b62a with SMTP id e9e14a558f8ab-3ce3a88ac9amr85463875ab.14.1736523784673; Fri, 10 Jan 2025 07:43:04 -0800 (PST) MIME-Version: 1.0 From: ICFP Publicity Date: Fri, 10 Jan 2025 10:42:54 -0500 X-Gm-Features: AbW1kvZ9MJDqLatSMNVnsbZS52_RN8OsB1zuePJeTeA-XZp-W1CDMdjoBsdOpQU Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="00000000000054655e062b5bf3ae" Subject: [Caml-list] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16 Reply-To: ICFP Publicity X-Loop: caml-list@inria.fr X-Sequence: 19249 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: --00000000000054655e062b5bf3ae Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ACM SIGPLAN ICFP 2025 and SPLASH 2025 invite proposals for workshops and co-located events to be held in Singapore from Sunday, October 12 to Saturday, October 18, 2025. This joint event will create a forum for researchers, developers, and practitioners to present the latest work in software development, programming languages, functional programming, and emerging new ideas in computing. All co-located events must submit a proposal =E2=80=94 workshops, tutorials= , symposiums, or side meetings: https://icfpsplash25events.hotcrp.com/ Important Deadlines - Deadline for Proposal Submission for Workshops: January 16, 2025 - Notification of Acceptance: January 31, 2025 - Deadline for Proposal Submission for Tutorials: May 8, 2025 For more information, please see: https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-workshop= s We look forward to your proposals and hope to see you in Singapore! --00000000000054655e062b5bf3ae Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

ACM SIGPLAN ICFP 2025 and SPLASH 2025 invite proposa= ls for workshops and co-located events to be held in Singapore from=C2=A0Sunday, October 12 to Saturday, October= 18, 2025.

This joint event will create a forum for researc= hers, developers, and practitioners to present the latest work in software = development, programming languages, functional programming, and emerging ne= w ideas in computing.

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

=C2=A0 =C2= =A0 https://icfpsplash25= events.hotcrp.com/=C2=A0

  • Deadline = for Proposal Submission for Workshops: January 16, 2025
  • Notification of Acceptance: January 31, 2025
  • Deadline for Proposal Submission for Tutorials: May 8, 2025
    • <= /ul>

    = For more information, please see:

    We= look forward to your proposals and hope to see you in Singapore!
    --00000000000054655e062b5bf3ae--