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=h1mHi87C; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=fTxAaP25; 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 3EAD740086 for ; Wed, 29 Oct 2025 16:41:11 +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=6VECGxLRaOUmKdO9uHjJwStgsk8J8JzfI4dGi0QGooo=; b=h1mHi87C7fuy0xGKMo1xy7SqTXBrfAXMP67Ol7jvqxjQWHI+OMZmu1fy kenjQ40dzhEatXMCntSxXjk9V0LE5jqUw6uiX543Raoa4xnJgBPaK5wCp c6RUHXsCG5rAxEdxtmlW5U/HyJ22uQ+pCFQymWGp3VQMae2d2ixKxwpFt E=; X-CSE-ConnectionGUID: urC2RjogRNqROFIpL6H25w== X-CSE-MsgGUID: E3LkbzxFTO2py7/hmknv2A== 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=@gmail.com X-IronPort-AV: E=Sophos;i="6.19,264,1754949600"; d="scan'208,217";a="246726638" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Oct 2025 17:41:10 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 994E2E0CE4; Wed, 29 Oct 2025 17:41:09 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 134A9E0172 for ; Wed, 29 Oct 2025 17:41:04 +0100 (CET) X-CSE-ConnectionGUID: gLIARR4HRt6ls8w4E+71Ig== X-CSE-MsgGUID: WdEtV7UDTjCNzZiUZ5o3/g== IronPort-SDR: 6902439f_lmc7uJTa+SUE3CqS2w7mwKp+ZzbgmCNxvnxv4kZDRhFR112 IAYw3v2CoV6/K6ucuohYpDugx48TQ4TVqs08g5g== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0H0AgBoQgJpfKyAVdFaDg8BAQEBCQESAQUFAYIQgkCBA?= =?us-ascii?q?l00BAtJhFVSUYIsCIt7giGcSIMVPQIPAQMBDUQNBAEBAwEDhQCMVQIeBwEEN?= =?us-ascii?q?BMBAgQBAQEBAwIDAQEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAEBOwcOEimGT?= =?us-ascii?q?w2CRVFxYQIFAzoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBBQINHz8BNwsGHQEbBQcSAxIJBzcCIwERAQUBIxIIDA6CYYIiAQYQAQM2A?= =?us-ascii?q?xGlEIEFQos+gRUFAhaBAYINBoEJPgUNQdhGChkoDXGBYQIBBhSBNoR2KVyCV?= =?us-ascii?q?gGBXgIOg347g0OBIRuCDYEVNYJCgjOBHwKCDYMugmkEgzCGJ1uDUAONViYIB?= =?us-ascii?q?xcDBwcJBQQcBgUFAj8JBQEPEgMEAwQEAQILCQoJAwMCDgIIAwIIBhgBAQo1E?= =?us-ascii?q?gQTCg0LBwUfCgIMEQooIhICKQoBAgEfCjEDFBkBAQcGAgIDAQQCBAwCCQICB?= =?us-ascii?q?QQDAgoEAwMEAQEIAgItAwEDGQgJCAILBREYDAsFAgooAw8BCQQhBhIWCAMDA?= =?us-ascii?q?gICAQcCAgECAQEDAwcGEAECAQ8CAwMEAwQGAwUJAQcBAQEBAQITAwICBREHA?= =?us-ascii?q?gEBIAEBFAIHAQQDJxkCAgYCAgICAwICAwMDAQIBAQMFAQMCAwIBAgEGAgMDA?= =?us-ascii?q?wUDAQ4CAgMBAwEGBAQCBQECAgIOAQMCAgYCBwkIAgETEwICAgIBAgIBAgcBA?= =?us-ascii?q?QIDAgUFCAIBAQECAgMCCwICAQIBAgIDAgMCBgEJBAQEAQIBAQUEAwgBAyQDA?= =?us-ascii?q?wQFAwICAgcCBAMYAg0GAQQDBQUDCAMGAgIDDwMGBgcCBwQCBAICAg4CAgMHB?= =?us-ascii?q?AICAwEMBAcCAwICEgMBAQIPAgICDAEBBAICAgUCHgoECgIHCgIBAwEBBgIEB?= =?us-ascii?q?AMKBgIGBQICAQQDBwIBAgECCAMCBwMCAwIBDxgDAgMKAgYFBAcCAgMDBAICA?= =?us-ascii?q?gkBAwYBAQEBAgICAwICBQYOBAQEARIKIAMBAwUCBAcCAQMCAgEEAQEDAwIBA?= =?us-ascii?q?gECAwECAgQCAwMDAwMEBQMBAQMCAwUCAgMCAgICBAEBBQsBAgQDAQUBBwUDA?= =?us-ascii?q?QMGAwQEAwIEBQMLAgIEAgMDBgMDBgMCBQIHAgIBBQUCAQEBAQwJAgICBwMOA?= =?us-ascii?q?wICAgMEAQIDBAMFAgMEAQEBAQQFAgMDAgIBAwUCAgEBAgIEBAIDAwYCBAIPA?= =?us-ascii?q?gEBBR8RAQIGBgMCAQMFAwMDAwMCBAICAgIGBwsCCgQEAgEFAwcDAwUGAwEDB?= =?us-ascii?q?AMIAwoCBBgGBQICAgECDBIDAwoEBAMCBQIGCQMCAwMEAQM5HxYEBQIFAwMDA?= =?us-ascii?q?ToDDgQDDwYCAhgCAQECBgIBAwMIAgMBAwIHAxQKAQYIAgQEDAIDAwMHBQQFA?= =?us-ascii?q?wcCAgcPKAIEAgICAQICCQMDAwMCAwYDAwMGAwoCAgIBBQIFBwYBAwECCgMDA?= =?us-ascii?q?gMMAgIQAgMFAwMDCQQCAwEUAwMGAwMDAwMMAgIIAwECAQIEAgICAQQQARcIC?= =?us-ascii?q?AEDBQMBAgUDCAUEBwQCAwsDBQ4EAgoDBAIEAgsDBQMDAQgBAwMDFQEEAgQCA?= =?us-ascii?q?gICAgIBMwUDAwMDAwMDBAMDBgIEAgICAgQGAQIDAwMDAwMJAwMEAgECAQwBA?= =?us-ascii?q?gIGAgURBgMFAgUDBgIBBQ0DBAMCAwUCBAUJMA8DCwkIEz0BCwcyBDYBBg4UB?= =?us-ascii?q?yshX5M/g10fGSGBEUkQhXDBVGiDPoRwhy6VUzOqa4dzkRMijWaWe4QtESQSg?= =?us-ascii?q?UkjPIEgMxojgQGCNk8DGQ9XjUqEAIUTiiG8UR0qMjwCBwsBAQMJkh6BSwEB?= IronPort-PHdr: A9a23:JuJCAhXC8qn3+2lDEbX+KQq5ITPV8KwnXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBt6ds64P0rSK6fqoGTRZp8ra6zZaK90EfiRGoPtVtjRoONSCB0z/IayiRA0BN +MGeXlbulqWCgxrIvv4fEDYuXao7DQfSV3VPAtxIfnpSMaJ15zkn++99IfObApWmTGzfa19L AmsrQXWq8IanZZuJrw+xxbHrHZEYfhayGxnKV6Onhvx6dm88IB++ChUp/4t6tRMXKr0cqk2V 7BUEDorP2Uo78D3qBfPSheC6XQbXmgKiBRDHhLL7Av9Xpf/syv6svRy1SyHNsDoTr46RCqv4 b5zRBHnkCkIOCc1/X/YhMJtlK5Urw6vqBJ5w47PfYGaL+F+cb/HfdMbXmVOQMBcXDFcD4ymb osPC+0BPftEr4T4ulADoweyCRWqCejyzTBGm2L23bYi0+s/DQ7GwAIuH9ULsHvOrdX1MroZX eS6waTMyDnOae5d1zXg54jSah0urvGCU7xzf8TM10cgCxjIgU+MpYH/JT6ZyvgBvmqd4uF9V eyvkWknqwRprza3x8csjIbJhoQUylDC+iVy3Yc6JdymR0VmZtOlH51QtyebN4twTcMjTGBot zghx70JvJ60ZikKyJA9yxHDbPyHdpGF7xT+X+mePTl2nmhqeK6jhxms60igzPXxWMmo3VtUo SdIjMXAumwQ2hHX5MaLV/Rz81mu1DuO1g3e9+5JL081mKbHKJMswLE9m5QTv0jdAiP6hkr7g qCUe0gi5+Om5ePnYrD8qZ+dMY95khr+MqUhmsynBeQ3KA4OU3Kc+eSm273v5UL5QLJNjv05l qnWrorWKtgcpq68BQJez4Ut6w6nAju4zNgVmWMLIVFFdR6dkoTlJVLDLOrlAfq9nVihlipgy ercMb37GJrNK2DOkLf/crZ57E5R0A8zwspe55JQE70AIPzyVlLouNzWExM0MRK4z/zoCNV60 YMeVmaPDbGDPKzOtl+I4/ojI+iKZIALpDbwM+Yp6+LqgHMjmlIQfbOl0YYJZH27BPhqPkeUb WT0jtcEC2gKvw4+TOLwiF2FVD5ef3mzX6Q65jE6DoKmAojCRoGzj7Ga0ye7G4dZZmFCClyWD XjocICEV+8WaC2OOs9hjiAEVb+5RoA9zx6usQv6x6NjLurV4S0YqYnu1MN15u3WjRE97yZ4D 8Wb02GXTmF7hHkERzEs3Kxnp0xy0U+M0bJkjPxACdxT+/RJXx8nOZLEwOx1FdfyVAHbcNqRR lmoX82qASsvQdIvwNEAeV5wG9C4gRDC2yqmGr8UlrKWCJAt/KLQwnr8K9hnx3bJ06khiFYmQ s9ROmG8mqF/8A3TC5bUnEWalqaqcLwR0jbC+miN02SAoF1VXghoXarYWHAQfFHWosjh603aV rGgEbspPhNayc6aJKtHcsfngElbSvn+INjeeHqxm2moChaI2LyMaI3qdn0F0ivEEEYKnFNbw XHTPgE7AmKlonnCJD1oD1PmJU32taF3p3+yZks11B2RKUZh3r6w9wQOw+eRD7sT16kHtSMl7 j59EluV39vNCNeEo0xmZqoYKc8s+FpckGvfsQtgOJetB6RjnUIFNR96tlioyg16DIMGnMQ36 DshyxM3IqaF2ntAcSmZ1Nb+IO75MG73qTaubaHQ21fRmOaX9+9b+PI+qlPsrACkPkUn+nRjl dJS1i3Ptd3xEAMOXMepAQ4M/B9gquSGM0HVhqvR3HxoauyvtyPanskuHK0jwwqheNFWNOWFE hXzGosUHZvmM/Qkzn6uaB9MJ+VO7OgsJcrzZ/2A2aikLOdttD2jhGVDpot61xHE7DJyH9bBx I1N2PSExk2CXjb4gk2mt5Xnn4ZFYz4CH2eXxi3tBYoXbap3Ls4QEWn7Bcqxy51lgoL1HX5V8 Fn2H1QdxMqgYgafdXT41AxUkFUI+DmpwHTiiTNzlD4to+yU2ymmL/3KUh0BNyYLQWBjiQypO o2ol5UBW1DuaQE1lRyj7EK8xq5Bpa05IXOBCUFPNzP7KW1vSM7S/vKLftJP5ZU0sC5WTPX0Y FaUTaT4qgcb1CWrFnVXxTQyfTWn8pvjmBkyhGWYJXd15H3XHKM4jQfZ4t3aSu5Q0xIJQSB5j X/cAV39d9il8NOIlovS5/ikXjHpXZlSfC/3iIKY4XHjtCs6XFvmxaD1w4K9Qm1YmWfh2tJnV DvFtkP5a4jvjOGhNP5/O1JvHBn64tZ7HYd3ls0xgosR0D4UnMbwnzJPnGHtPNFcwa+7YmAKQ GtB09jT4Q7qyExuBn2MzoP9EH6ax4EyArvyKnNTwS87481QXe2E6rpFmyRlo1eQogfYYPw7l TAYg6hm+DsRhOcHvxAoxyOWD+UJHEVWCifrkgyB89G0qKg/iH+HSbGrzwI+mNmgCOrHuQRAQ DPifY9kGyZs78J5OVaK0Xvp64iidsOCJd4UsxSVlV/HgY03YNohkPwLgyV3OG/Vsngsyup9h htrlZ23p4mILWxx8bnxWEYJcG2oIZpJqne00vwWl93ex421G5R9BjgHOfmgBemlFj4fr7WvN gqDFiE9tmbOHLPeGQGF70I153nLEp2tKzSWPCxDlYQkFETbfRYPxllLBmZf/NZxDA2hyc3/f V0s4zkQ4gW9sR5Q0qdzMAG5VG7DpQCuYzNySZ6FLRMQ4BsRgiWdecGY8O93GDlVu5O7qwnYY HydYQVOAnEIV2SLAlniOv+l4tyKoI36TqKuauDDZ7mDs7kUR/GOxJSgwopr1zmJP8SLeHJlC rdovygLFWA8EMPflTIVTiURnC+YdM+XqiC3/Shvp9y++vDmC0r/oJGCALxIPZBz6gi71O2dY vWIin8zelM6ntscgGXFw78F0BsOhjFyInOzRK8Yu3eFTbqMyPALSUdBNmUrcpMPtvx03xERa 5eE0ZWsh+I+1rhtTA4bMD6p0sCxOZ5QezD7ZA6BXRzbcuzBfGKDwtmrM/nlF/sN3KMN5kf24 XHCQgfiJmjRzWC3EUr0YKcX1mfDe0UP3eP1Ohd1VTq6E4igMETkdoQty2Vxm+R8h2uWZzdDa 34mLhgL8+PWtWQC271+AzATtyU/a7PZwGDAtrOectFM6Z4JSmxinuZeqhzW0pNz6ydJDLxwk SrW9Zt1pk2+1/KI0nxhWQZPrTBCgMSKu19jMOPX7MsIX3GM5x8L4WiKbnZC79J4Ft3ivbxRw dnTheryLjlF6dfd4cobAYDdNsuGNHMrNRehFiTTCUMJSjuiNGeXgEI48rna7nqOsp0zsYThg rILQ75fEU0qT7YUUxs/WtMFJ5hzU3UvlrvaxM8E6HyirQXAEcVXupeUM5DaSf7rKTufkfxFf 05SmeK+fdlVb9ernRU9MAof/syCAUfbUNFTrzc0awY1pB4I631iVigo3FqjbAqx4XgVHPryn xgsiwI4b/5+kVWkq1oxOFfOozM91UcrntCwyyCXdj/3I7exUKlZDiP1sw46NZaxEGMXJUWi2 FdpMjvJXecbl7x7aWVikxPRo7NKEP9YCLxbOVoenK7NIfov1ltYp2OswkoNto6nQdNy0QAtd 5CrtXdJ3QluOcU0KaLnL61M1lFMh6iKs0dAOcg+xQYfIwAG92bAIUbgXWQHM7AnI2yj+ek+s WRqehNGcWkIEus1+7dkrxxnfeuHyC3k3vhILUXjb4Si IronPort-Data: A9a23:hqaISqhi6+d3fwxhJ9seCxwnX161SRQKZh0ujC45NGQN5FlHY01je htvD23UOv6JY2GhKN1xbYXi8h4H7J+DnNE1HQE/+C4xQXljpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+e6VaidfHgsGGeIcQ954Tp7gek1n4V0ttawBgKJq LvartbWULOf82cc3lk8teTa+XuDgNyo4GlF5wRkNKgR1LPjvyB94Kw3dfnZw0TQGdE88t6SH 47r0Ly/92XFyBYhYvvNuqr7aEADXonJNgGIjHdMM4D66vSVjnFaPg4TbZLwWG8P49m7t4gZJ OZl6fRcfTwU0pjkw4zxZfX3/xZWZsWq8JefSZS2XFf6I0fuKxMAyN02ZK060BFxFk+azgii+ NRBQA3hYCxviMq55JOScNMwpv4/cs3wbJxDlzI/lBDWWKNOrZDrG80m5Pdd1TY0w9FRRLPQP pVDLzVoaxvEbltEPVJ/5JAWxr/5wCmiNWQC+BTM+vBfD2v7lGSd1JD9NtzUfNOaRMh9kUORp 2aA9GP8av0fHIXFmGbfriL32YcjmwvEVK8OKuKF2sJoq3uB9G0uOkARDhy09KzRZkmWAI8Gc xNFpELCt5Ma/0WuSpz5XgakiGWVuwYVHdtWCewzrg+Xopc4+C6cD2kACy9eMZko7ZBsAzMt0 VCNkpXiAjkHXKCppWy1+ZO1hAmIZQgvMTEGfn8bESZGvIDCr9Rm5v7QdeqPBpJZmTEcJN0d6 zWDrSx7lqpKyMBSiP/98lfAjDah4JPOS2bZBzk7vEr0sGuVh6b8OOREDGQ3C94ed+51qXHf5 hA5dzC2trxmMH10vHXlrB8x8E6VCwata2CF2QE+QfHNBhyi/HmseY0Y4Td1Yi9UDyrwQhewO BW7kVoJuvd7ZSL2BYcpOd7ZI5pxl8DIS4+1Ps04m/IUPvCdgifdoXk2PSZ9HgnFzCARrE3IE cnFLpv8XCly5GYO5GPeetrxGIQDnkgWrV4/j7iip/h++ePGPCTHeqRPK1aUcOEy4YWNpQifo Z4VNNKHx18bGKfyazXeu9xbZ10bD2kJNbavoexud8mHPlVHHkMlAKTv2r8PQdFusJlUsebqx UuDfHFk5mDxvlD9EjXSWEtfMOvueb1dsUMEOTcdOAf0+no7PqeqwqQtV7o2WrgF8uZc4+Z+Z KQHcZ/YA9BkaDfOyxICZ7bT8a1gcxWKg1qVHiyHOTIQQb9pdzbryPTFIDT91XApJTXtk9k9u Jii5xP/bb8cYTo6F+fQSvak723pjEgngOgoAnf5eIhCSnvj4K1BCnLUnPQoB+ouNB+a5D+R9 zjOMCciveOX/rMEqojYt5ul8bWsPfB1RHdBPm/h6r2zCynW00yjzaJEU8eKZTrtb3z1yorze dRqy+zAD9NfkGZoq4ZcF5NZ/ZA67fbrpJ5YyV1AN1fPZFKJFLhhAyen2e9ii65z/YJa6DCGA h+3xtpnOLuyKJzEFnwVL1Ebdeit76wftQTTyvUXG3/EwhFL0oCJa3gPACnUuhdhdON0FKgH3 dYevNUn7l3jqxgybfeDoCNm10WNCX0iVa8YmIkQK9LpgFBzy3VpQ5/VOgnp6r6hNvRONUgLJ GePpazg3r5z+GvLQ0ARJ1Psg9VPpM0pkw8Q6k0BPHGLq8rhqtoo+iMJ6hUxbABe7isf4tJJI mIxanFEf/SfzQlnlO1ofj6JCQpeIDa750ao6V8CtFOBfnmSTmaXcVEMY7eczns4rVBZUCNQp oyD6WDfVj3vQsH98w0yVWNhqN3hVdZBzRLDqu/2A/W6G4QGXhS9jp+MfWYorz7VMfE1jmDDp sho+79UQo//PigyvaY6Kte70ZI9dRO6H1FBEMpRpP4xIWLheT+JyWevLWK1cZhzPPDkyxKzJ PFvAcNtbC6A8hiygAoVPoMyBoNlveUI4YMCc4z7JGRdvLq4qCFoga3q9SP/pTEKRoxumPkiN o7hfCKmLV2Ao2l1hl2X/dd2YHq8RdwiegfH/fuU9d8RHMkpq9BcckAV05q1sU6KMQBhwQmmg QPba4LSzM1g0Y5JnbawIp5cBg6xF8z/ZN6I/C+3rd5KS9HFauXKiC84tXjlOF5wEYYKetEqi 4mIjsH77HnFsJkyTWrdvZuLTItNxMeqWdtoItDFF2ZbkQSCSf3TzUM6oU7gEqNwkfRZ+sWDb Cm7YpHpddcqBvFs9EcMYC1aSxsgG6D7a5n7nhyErtOONwM81DLWJ9b25F7ramBmLhUzAaPcM TOtmfiS5YF/lr9uVS80X6QsR9cyJVL4QqIpeuHgrTTSXCHinlqGvaCkjhY6ry3CDn6fCsvh/ JbZXV7EeQ+vvL3ThsRs22CoUsb70F4m6QXxQq4cxzKyozWzDWpDPPtEdJtfVcsSnSv125X1I jrKaQPOzMk7sStsKX3BDBbLB29zxdDi/v/2IzUo+wWfbCLe6EaoHu567ik5i5tpUmKL8QxkQ O3yPlX/OxGwxtdiQuN7CjlXRwt47quy+0/kMnwRXyA/79jyzFnKOLFc8NJxaBH6 IronPort-HdrOrdr: A9a23:Mb7s76GW9NSEuWeMpLqEO8eALOsnbusQ8zAXPiFKOGRom6Oj5q KTdZggpHzJYXMqOE3I+urvBEDjewK6yXcd2+B4Vt2ftUvd2VdAR7sSi7cKrQeQYhHWx6py0e NOf6BiFMb9FzFB/KLHCcqDfuoI8Z2o9KipgKP51HdiTQZjbuVF4x1iAgiWVm1aLTM2YKbR2K Dx2iOPnVWdRUg= X-Talos-CUID: =?us-ascii?q?9a23=3AOOi2XGv5xd6rKpjci5XvtYmM6IsqVlz09k2MA3W?= =?us-ascii?q?kV2JyGKLJZBzPoYJrxp8=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AZhFDRA1pwamZY3r8XEIteZLUkzUj3KiDFH5SrLk?= =?us-ascii?q?6ueKiJx5xBgXAi2/wTdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.19,264,1754949600"; d="scan'208,217";a="129424837" X-MGA-submission: =?us-ascii?q?MDHFuKHzHYwYKSnyH/0w3AZfPdsRnJ6xIqBXXD?= =?us-ascii?q?mz5vMBv4lKlbp5JctR51iWZOhlKm5iPqtG5Ng2qBhxpAQC/HHj70gmjN?= =?us-ascii?q?0rLHpR9XiN10ds/osmLMW1003hNdzp3QXAL6jIDMmwGr6Skk0+4ZQIor?= =?us-ascii?q?MiIThOv8AzkBCocpor6Y8qKg=3D=3D?= Received: from mail-yw1-f172.google.com ([209.85.128.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Oct 2025 17:41:03 +0100 Received: by mail-yw1-f172.google.com with SMTP id 00721157ae682-71d60157747so1291827b3.0 for ; Wed, 29 Oct 2025 09:41:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1761756061; x=1762360861; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=6VECGxLRaOUmKdO9uHjJwStgsk8J8JzfI4dGi0QGooo=; b=fTxAaP25xmGBsxdSNnJy6lR/lMlNf+W7CVaFuZWHbq8vh7LCbiGkl0vyhUdfjjAGKw /shcz/MBYgq548f7OMqF42GNe5FSLArbwb7MktHeYJcn6XZVqLu/Lflyg+sajLJwGz/i JrscHSYM1Z6pz4SwgJ99IzvJtAZ2ieFlpriIZI+A0M7yX6l3nEpzV77m/neN6LNYikRH SN8k7SkJzhJMpVWfhqU3XC3S9McHHHglqeEKuMK0gZtIIX54exhGSbthhoiL3R6RlUih MUYugl7jwMerHYdKW3QBMOL+igQi499iCs1bw4VfhqX2okq+emIIEFxulC3AkOtmQQ62 cHeQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1761756061; x=1762360861; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=6VECGxLRaOUmKdO9uHjJwStgsk8J8JzfI4dGi0QGooo=; b=tNidGUVsERUxrWmzpS6H3jYRKPgQvVeW1iVDzARRuexXjoBuCN3V3zYR7T0+rZajsO 2wg1qb+e75/rcN3OV815MKcuhNTHn4VjreS7cfXu/SBHX7YtNC0nrfrJ88IdhIrjfast NJYIj0whtjVCznGe8ivYz/BTuja4kIBovrqegOKMy6fkeuDhygd7+InTWrneJnM3ziTR OrNXiKNXpLgi6XsWuLJUXe3WtSwuKQp/Yy+IouKlx+kCTZExvyXR+Qz+d+CldIupHKfB pCwGoogg9ELlewJfwf/MCyhwuGor0uEWUcpXQkPerMv5TD5OXN6KSCCy47r5cm3k+TqC jBgQ== X-Gm-Message-State: AOJu0Yx4gL1aBmGjh5aVQlXLHiATnTtR9ct+uqcw8kDu06/HN79gAlfE HgqpIyHMuzCQv9h9/m+C74yjgtLxGjddlvFKv2XW2dWUNdkfDwJgwNmRSUZlfEa4ahfvQq+gGex Yf20IAhpHof9ycWdwOnhGRgAy7w63UucpfQDT75k= X-Gm-Gg: ASbGncueyzONDYqFCXZZSBUixn8Za8mIdv8RfT3JWBG44m8lGijMxUskqZdYnR69M5m IG9/q5FnzoLBsHcOWcdA1BCZQNYC/dvA61M8OsalTYceqYVCXIWEMymzyt6E2FU7d9gTWexrKni 7DnBCVe+O3z0Qx7d4VcwK2oX85Obtickf6Ql6vlOr/VpjeICw2BVesTSkCLYyHg8CaRuo1lyghZ oaYY7nmPpZSsNwn6tvw+2YG7iiE0R0Lo5nLeYfno/IqKbjrBUvDVwOXaROBeHFVyC4lOo8= X-Google-Smtp-Source: AGHT+IHyHRU+0xyqXADTZJurQNOzSi4RwiawUQYIMlbFneMvQwTH1rN1NjHnyON1MXkT+T7RxwVFqEH67PgcWBvfIoc= X-Received: by 2002:a05:690c:2c93:b0:784:8338:ff72 with SMTP id 00721157ae682-786390382ddmr2383367b3.29.1761756061437; Wed, 29 Oct 2025 09:41:01 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Wed, 29 Oct 2025 12:40:49 -0400 X-Gm-Features: AWmQ_bmrcaqhiFWtNG0JXshI3uO1Gc00t8mf6CMcCzNM9Yh91TBwY-KGEjSGJGk Message-ID: To: caml-list@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu, coq-club@inria.fr Content-Type: multipart/alternative; boundary="00000000000039128306424ecc0d" Subject: [Caml-list] PLMW@POPL 26 Call for scholarship applications Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19394 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: --00000000000039128306424ecc0d Content-Type: text/plain; charset="UTF-8" CALL FOR SCHOLARSHIP APPLICATIONS PLMW @ POPL 26 (Deadline: November 10) ACM SIGPLAN Programming Languages Mentoring Workshop, Rennes, France Tuesday, January 13, 2016, Co-located with POPL 2026 https://popl26.sigplan.org/home/PLMW-POPL-2026 Following the success of the first thirteen Programming Languages Mentoring Workshops at POPL 2012-2025, we are pleased to announce the 14th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2026. The workshop will take place in person in Rennes, France. PLMW aims to encourage graduate students and senior undergraduate students to pursue careers in programming language (PL) research. This workshop will bring together world leaders in PL research and teaching from both academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will help students imagine how they might contribute to our vibrant and thriving research community. We especially encourage women, members of underrepresented minorities, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay for the whole conference. Our sponsors have generously donated scholarship funds for qualified students who do not have the funds to attend PLMW. These scholarships can cover expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference itself. Note that you do not need to apply here if you just want to attend PLMW: Attendance is open to everybody who is registered to workshops for the day. We strongly recommend to also apply for student volunteering at POPL if possible. Application deadline: November 10 2025 AoE Scholarship Application Form: https://docs.google.com/forms/d/e/1FAIpQLSfv8HuJpgsjso6_D_CZtp5AD17HPu2JTLWN2PjdwxKed0q5kw/viewform Organisers: Yannick Forster Andrew Hirsch Jenna DiVincenzo --00000000000039128306424ecc0d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
CALL FOR SCHOLARSHIP APPLICATIONS PLMW @ POPL 26 (Deadline= : November 10)

ACM SIGPLAN Programming Languages Mentoring Workshop,= Rennes, France

Tuesday, January 13, 2016, Co-located with POP= L 2026
https://popl26.sigplan.org/home/PLMW-POPL-2026

Following the success of the first = thirteen Programming Languages
Mentoring Workshops at POPL 2012-2025, we= are pleased to announce the
14th SIGPLAN Programming Languages Mentorin= g Workshop (PLMW), co-located
with POPL 2026. The workshop will take pla= ce in person in Rennes, France.

PLMW aims to encourage graduate stud= ents and senior undergraduate
students to pursue careers in programming = language (PL) research. This
workshop will bring together world leaders = in PL research and teaching
from both academia and industry to provide (= a) technical sessions on
cutting-edge PL research and (b) mentoring sess= ions on how to prepare
for a research career. The workshop will help stu= dents imagine how they
might contribute to our vibrant and thriving rese= arch community.

We especially encourage women, members of underrepre= sented minorities,
and people with disabilities to attend PLMW.

T= his workshop is part of the activities surrounding POPL, the Symposium
o= n Principles of Programming Languages, and takes place the day before
th= e main conference. One goal of the workshop is to make the POPL
conferen= ce more accessible to newcomers. We hope that participants will
stay for= the whole conference.

Our sponsors have generously donated scholars= hip funds for qualified
students who do not have the funds to attend PLM= W. These scholarships
can cover expenses (airfare, hotel, and registrati= on fees) for
attendance at both the workshop and the POPL conference its= elf.

Note that you do not need to apply here if you just want to att= end PLMW:
Attendance is open to everybody who is registered to workshops= for the day.

We strongly recommend to also apply for student volunt= eering at POPL if
possible.

Application deadline: November 10 202= 5 AoE

Scholarship Application Form:
https://docs.google.com/forms/= d/e/1FAIpQLSfv8HuJpgsjso6_D_CZtp5AD17HPu2JTLWN2PjdwxKed0q5kw/viewform
Organisers:
Yannick Forster <yannick.forster@inria.fr>
Andrew Hirs= ch <akhirsch@b= uffalo.edu>
Jenna DiVincenzo <jennad@purdue.edu>
--00000000000039128306424ecc0d--