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=ZhdjTnf3; 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=XekYwYiA; 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 244E44009D for ; Mon, 3 Nov 2025 01:56:40 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:references:in-reply-to:from:date:message-id: to:content-transfer-encoding:subject:reply-to:sender: list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=UoooIIxgWgVMw2+mJi2nC16SjATLb7FIscTrYWRCbFU=; b=ZhdjTnf3kzhK2/gjbg8M+DtuJKyAsWk4LgqgLQ7a0YSRo0c+/01E62Xu oyZDbbUk/a/7NyjyvcXqk6CuW0OBO8ZyMIEI84R94Zl/el9j0xEx+0KQh j7WCIxkN2ZXR8zZ9JBxYEYJa0Qa6f8NpZrTQdDo8mirhkRvZZUD7sHBRr M=; X-CSE-ConnectionGUID: rjWwFsYKTAyQKdQ0Pyz+Ow== X-CSE-MsgGUID: bBLyyXo/S/iaupEfojDMnQ== 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,275,1754949600"; d="scan'208";a="247180392" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Nov 2025 02:56:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id AFCD4E0B0D; Mon, 3 Nov 2025 02:56:39 +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 E8530E0171 for ; Mon, 3 Nov 2025 02:56:36 +0100 (CET) X-CSE-ConnectionGUID: gEMEl1mOQG+MKjERbLTDJA== X-CSE-MsgGUID: kbIRG07cSH6dXKkw9UFPaQ== IronPort-SDR: 69080bd3_xVchrCVPWfJeWs/Jfj1YBUIOPKG0yQOkuWNXVatZE2ni/bu OI8bshnwn9k+7TEIGPjshFVsULZAEjXki6uBfuA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GsAADRCghpfDHaVdFaDg4BAQEBAQEHAQESAQEEBAEBQ?= =?us-ascii?q?IE/BAEBCwGCP4ECXTQEC0mEVYNPjAOCIQOCJpofgWmBLBYnAg8BAwENPRQEA?= =?us-ascii?q?QEDAQM4g0cBAX8CjFMCHgcBBDMGDgECBAEBAQEDAgMBAQEBAQEBAQENAQEFA?= =?us-ascii?q?QEBAgEBAgQGAQIQAQEiGQcOEimGTw2CWztxYQIFAzoBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQIUGBUqAQEeAQEBAxIGCx0BGxENA?= =?us-ascii?q?wwGBQsJBAICHwcCAiEBEQEFARwHJg6BSYEYgiIBBhABAzYDEaJsgQVCiz6BF?= =?us-ascii?q?QUCFoEBgg0GgQnZVwoZKA1uA4FhAgEGFIEILgGEdSlODoI5HQGBboN+O4NDe?= =?us-ascii?q?ieBA4ElgRU1gnU+gQWBXAGBIwQVJRU4gw6CaQSCIoEOhid4AYMpg0CKWiYIA?= =?us-ascii?q?QYXAwcHCQUECRMGBQUCPwkGBQoSAwQDBAQBAgsTCQMDAg4CCAMCCAYZAT8SB?= =?us-ascii?q?BMKDQsHBR8KAgwRCigiBA4CKQoBAgEfCjEDFBkBAQcGAgIDAQQCBAIKAgQFA?= =?us-ascii?q?gIFBAMCCgQDAwQBAQgCAgMqAwEDGQgJCAILBREYDAsFAgooAw8BCQQCHwYSE?= =?us-ascii?q?QUIAwMCAgIBBwICAQIBAQMDBwYQAQIBDwIDAwQDBAYDBQkBBwEBAQEBAhMDA?= =?us-ascii?q?gIBBBEHAgEBIAEVAgcBBAMnGQICBgICAgIDAgIDAwMBAgEBAwUBAwIDAgECA?= =?us-ascii?q?QYCAwMDBQMBDgICAwEDAQYEBAIFAQICAg4BAwICBgIHCQgCARMTAgICAgECA?= =?us-ascii?q?gECBwEBAgMCBQUIAgEBAQICAwILAgIBAgECAgMCAwIGAQkEBAQBAgEBBQQDA?= =?us-ascii?q?gYBAyQDAwQFAwICAgcCBAMYAg0GAQQDBQUDCAMGAgIDDwMGBgcCBwQCBAICA?= =?us-ascii?q?g4CAgMHBAICAwEMBAcBAQMCAhIDAQECDwICAgwBAQQBAQEBAQEBBAEBAR0KB?= =?us-ascii?q?AoCCQYCAQMBAQYCBAQDCgYCBgEEAgIBBAMHAgECAQIIAwIHAwIDAgEPGAMCA?= =?us-ascii?q?woCBgUEBwICAwMEAgICCQEDBgEBAQECAgIDAgIFBg4EBAQBEgoBBhkDAQIBB?= =?us-ascii?q?QIEBgEBAQEBAQEBAQEBAQQBAQMDAgECAQIDAQICBAIDAwMDAwQDAgMBAQMCA?= =?us-ascii?q?wUCAgMCAgICBAEBBQsBAgQDAQUBBwUBAgEDBgECBAQDAgQFAwsCAgQCAwMGA?= =?us-ascii?q?wMGAwIFAgcCAgEFBQIBAQEBDAkCAgIHAw4DAgICAwQBAgMEAwUCAwQBAQEBB?= =?us-ascii?q?AUCAwMCAgEDBQICAQEBAQEBAQMBAwIDAwYCBAIPAgEBBRoRAQIGBgMCAQMFA?= =?us-ascii?q?wMDAwMCBAICAgIGBwsCCgQEAgEFAwcDAwUGAwEDBAMIAwoCBAsNBgUCAgIBA?= =?us-ascii?q?gwSAwMKBAQDAgUCBgkDAgMDAQMBAzkfFgQFAgUDAwMBOgMOBAMNBhgCAQECB?= =?us-ascii?q?gIBAwMIAgMBAwIHAxQGAQYIAgQEDAIDAwMHBQQFAwcCAgcPKAIEAgICAQICC?= =?us-ascii?q?QMDAwMCAwYDAwMGAwoCAgIBBQIFBwYBAwECCgMDAgMMAgIQAgMFAwMDCQQCA?= =?us-ascii?q?xMDAwYDAwMDAwwCAggDAQIBAgQCAgEEEAEXCAgBAwUDAQIFAwgFBAcEAgMLA?= =?us-ascii?q?wUOBAIKAwQCBAILAwUDAwEIAQMDAxUBBAIEAgICAgICATUFAwMDAwMDAwQDA?= =?us-ascii?q?wYCBAICAgIEBgECAwMDAwMDCQMDBAIBAgEMAQICBgIFEAYDBQIFAwYCAQUNA?= =?us-ascii?q?wQDAgMFAgQFCS0QBgMDBwIHCyMPAwsJCBM9AQsHMgQ2AQYOFAcrIV+TTBmCD?= =?us-ascii?q?Dw0TlUYUEB0GykekmslLbMLB4QfgWSgDTOqa4gDkQMioxo0hUARJBKBSCSBX?= =?us-ascii?q?DMaIy9SgjZPAxkPjiEXJ4NCaocPhzu8JQFGMgI6AgcBCgEBAwmSHoFLAQE?= IronPort-PHdr: A9a23:UhuZ9hNqimp49tqqzUYl6naaBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq4r1AOCBNqFu64My7KP9fy7AipYutfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muQgoEW e9vbxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUoHdgN6q2O+s5pbdfxtHhCanYbN1M R66sRjdutMZjIZsJKs90AfFr3RHd+hLx25lJFGekhnh7cu04JJv7j5ctv0v+sNOS6n2Y6o1Q blFBzk6Lm4549HmuhbEQQaT/HUXT38YkgBPAwjL7RH6Won+vy7nvedj2yeUINP7Q6ksVTqt9 6lkRwbkhTkIOTAk6G3YhdB+g6xdoBK6uhxw2JXUb52PNPp/ZazSY9UXTndcU8lLVixBBoS8b 5YTD+cEIO1VoZXxq0cIoBCjAwSnGeHhxSJShnLu0qI63eYuHwHI0gIjAtwArmjbotruOacOS OC41rXEwSnfY/5U3zr29YjGcgomofGJRb99bczRxlQ1Fwzbj1WbtJbrPzSN1usTqGiU8/dgX v+ohmE9rQF+vyKvydktioXThoIZ0EjE9SJhwIkrPt23VFN7bMWrEJtVrS6aNo92Ttk+TGFvv SY307sLsoO0cyYW0poo3QLfa+CZfIiS5BLuTOifLzl4in9keLyxhxa//Va+x+HhVse50VlEo yVLn9XSuH4Byhje5taJR/Z8/Eqs3SqD2h3S5+1aIE05lbbXJ4Inz7UtmJQTtkHDETX3mEXwl KKWckAk+vOy5+v9frrqvIKcN4xshg7iN6Quh9azDvolPQgTWWWQ5Oey1KX78EHnXLlHiuc6n 6rZvZzAO8gXu620DxVa34sn7Ru0Ei2o384CnXYdKVJIYBKHgJbtO1HJOP34CO2wg1WokDty2 f/GPKDtDozDLnXMlLrtZ7l960lbyAo8ydBQ+YhYBa0GIPL2QkPxtdrYAQElMwGs3errFNFw2 pkdVG+PGKOVLr7evFyS6u8gJ+SAfIoVtyz8K/gh6f7ul3g5mVoFcKaz25sYdWq4EepnI0mDY XrgmM8BEWASvgUgV+zllECCXCVcZ3a3Ra085zU7BJi6AofEQ4ChmKaB0zujHp1KemBGDUiBH mvyeIWBX/cAcSaSIs56kjwYTrWhUI8g1RS2tADg0bZnL+zU+jcZtZ35ztR16ffTmQk09TNvF 8udyX2CT3lonmMUQD87xL1zrVRyylid1qh2gOZWGMRd6P1USgs6L4DTz/J5Bd7oQg/Be82GS FeiQtm/Hz4xTM89z8YAY0tyH9iulB/D3y2tA78ak7yEGoY4/b7b33j0P8py1nXG1Kgkj1Q+W sVBOmOpiLBj+QXPAYDFi1iWl6OweqQGwCHA7H+Nw3OWsk9XSAJwSr3FXX4Ha0XMsdn3+17MQ 6e1CbQ/PAtO0c6CJbVOat3ulVhIXO7tNszRbTH5p2DlDh+NwvaIbZH2U2QbxiTUTkYe10gY9 GqLOg8kByq6i2fCBXplHBanY0r38uR6rFu7R1Q3wgWOKUp72P79+hcOhvGYT7YY17wJkCcos DZ5GFL72MjZT5KAoA4kfaNSZvs54UxbziTCsBFnNZGuKLptixgYfhgz90rl009fF5lEkNM2t zU30AdiILne3V9cJB2C2pWlE7vbMGTztCioc6PN0UyWhN+Q9r0C6bI47U3kpAyyHVcK/HBu0 t0T2HyZsMaZRDEOWI78Bx5kvyNxoKvXN3FVD+L80HRtNfLxqTrew5cyA/NjzB+8ftBZOafCF QnoEsRcCdL9YPcylQ2PaRQJdPtX6LZyJ9mvIvKA1LSmPaBg2iqhlWlc651V3UeF9i46QenNj N4e2//N5gKcTH/niUu59MX+mIRKfzYXS2O5xTLpBchRILV1ZYsQAnqGLMi+x9E4jJnoCDZD7 FD2IVQA1YeyfAaKKVzw2QoFzUMMvXmugje11RRxmjAt66edhWnAn7Wkex0ANWpGAmJliD8AO KCSiNYXFAitZgktz16+4FrigrNcvOJ5JnXSRkFBe273KXtjW+2+rOjKZckH854uvShNNYb0K VmHVr7wpQcb2CL/DiNfwj48bTSjppT+mVRzlmucKH95qHeRd9t3wF/T49nVRPgZ2TRjJmEwg D/bHFW9ednv5dKMmozIr8ixUmugUttYdiyqhYKMuS2n5HF7VAWllqPW+JWvGgw73CnnkthyA H+Q/VCsP8+xjvT8bbM0GysgTEXx4Md7BIxkx445hZVLnGMfmo3Q5n0f12H6LdRc36v6KnsLX z8ChdDPs22HkAVuKGyEw4XhWzCT2MxkMpOzZG8M1yN774ZSD7+Z97dZtSRwq1u86wnWZLIu+ 1VVgetr83Mcj+wT7UAkyCmHD7FUHQ9AOjThjB+Vx9+7paRTIm2odPLjsSg21cDkB7aErAZGX X//cZp3Bi584PJ0N1fU2WHy4IXpEDXJReoarQbc0xLJjuwObYk0iuJPni1/f2T0oXwizec/y x1ox5Cz+oadeS1h+6ewAxgQMTOQBYtb8zfhl6tf2MbQx4e3E45qBx0EWZLpSbSjFzdaufn8N gmIGSExsT/BQeuZTVLZsh426S6eW5mwUhPfbGEU19BjWAWQKAREjQYYUS971p81Gwa2xdDwJ UJw5zQf/Fn9+VNHzuNlMQW6U3+K/l/5LGdpDsLGfFwKv1InhQ+dK8GV4+NtEjsN+5SgqFfIM WmHf0FTCnlPXEWYBlflN73o5N/a8uHeCPDtSpmGKbiIt+FaUO+FgJy11Y4ztT+KOt+CPz9iS eU8wkdYVm1RFMHQmjFJQCsS3XGoDYbTtFKn9yt7o9rquv3tVBji5M2PTaNVKdh08A2ejqKKN urWjyF8Y2U9tNtE1TrDz74R20QXgidlemy2ELgOgiXKSbrZhq5dCxNIIzM2LsZD6LgwmxVcI cOOwM2gzaZ217RmbjUNHUykgMyiYtYGZn2wJE+STljeL6yIfHXK252lPv/6EOcNyr0S71rp5 36aCxOxZ2vY0WC4C1b3d7kL1X/+XlQWuZnhIEw1WC6zEZS/ME39aJgu0nU32eFm3CqUczNMd 2EtKQUV6eTBpSJA3qclQjIHtCE0a7Le3X7etri9SN5esOM3UH0rzaQAuSt8kOETtGYeHbR0g HeA94E05Qv7ya/SlHw/F0AX4jdT2NDS4h8kY/iCsMAZAzCcu0hViAfYQwIDo98vYjH2k4ZXz NWH1Kf6KTMZtsnR4dNZHM/MbsSOLHsmNxPtXj/SFgoMCzCxZynZgARGnfee+2fwzNByo4Xwm JcIVr5QVUAkXvIcBEN/GdUeIZBxFjo6mL+fhcQM6DKwth7UDMldu5nGULqVD5CNYH6BiqJYY hIT3b7iBYEaN4m+1k47L1cmzcLFHE3fWd0LqSpkL0c1rEhL7HliXzgz1kbiOWbPqDcYEf+5m AJzixMrO7x8smexpQ1udhyW9XhV8gF5g9jujDGPfSSkKa6xWdoTEC/orw0qNYu9RQ9pbAq0l EgiNTHeRrsXgaEzEAIjwALap5ZLHuZRCKNeZxpFj/iRa+8l0BJc7D2g3UJc7vbtBp5rlQ9se pmp5SEluUorfJsuKKrcKbAchEBXnb6LtzS02/oZxQYfIwMA8jrXdnJZ/kMPMbYiKmyj+ekmu mng03NTPWMLUfQtuPdj8Egwbv+BwyzX2LlGMkmtNuabIstxWkDFnM+MB14yjwYGyxgD8r9x3 sMuNUGTUhJ3pFN+PxsMPMvGbwpSapgLnJA2VSmLuOTJh5lyOtflft0= IronPort-Data: A9a23:IRKxM65LP9Pzsmm2+rvpBwxRtAjDchMFZxGqfqrLsTDasY5as4F+v jcZCGqPMvbbamr0c4hzb9m/oRkOucWDytBgTQM4ris9Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjVAOe6UaicZ30ZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvPrRC9H5qyo5WpB5gZmP5ingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYvu5kqz2e1E9WbXbOw6DkBJ+A8BOVTAfzsCa+v9T2Ms0MS+7uR3R9zxC4 IklWaiLdOscFvakdNLx/PVvO3oW0aVuoNcrKJUk2CCZ5xWun3DEm52CAKyqVGGxFyke7Wxmr JQlxD4xgh+riM+T7bbiT85VqYcGD8vGBok7hl1C5GSMZRomacirr6Ti4NZZ2HI9hJkLE6qPI cUebjVrYVLLZBgn1lU/Uspv2rf1wCOmI3sE+Tp5poJvi4TX5AV33KLgMZzVPMSNXchOlVuwq WfP/mC/CRYfXDCa4WPfoyz837CXx0sXXqoRHpyC2aY1i2azmGAjKx4JBGaVmfCA3xvWt9V3c BFNonV/88De7neDRdD4W1i8oWWYlgUNXsJZVew88gCEjKTOizt1HUABRz9FLdEk7Yo4GW1s2 ViOkNfkQzdotdV5VE5x6J+bgBafPXEQClYtJgonTyY/6f3fjKMa20enoslYLEKjsjHi9djNL 92iqSE/g/Aej5dO2fnqu1/AhD2oq97CSQtdCuTrsoCNv1IRiG2NPtzABb3nARBoctzxor6p4 iRspiRmxLpSZaxhbQTUKAn3IF1W2xp1GGaB2AYwTsdJG8WF9HmkcoRdqDB4LwEBD/vojQTBO ReJ0SsIvME7FCLzMcdfPdjtY+x0lvOIPYq+Bpjpgi9mOMQZmPmvpnw2PRb4MqGEuBRErJzTz r/CIJfxUChKUPo2pNd0Ls9EuYIWKukF7Tu7bfjGI96PiNJyvVbMEe9bYmidJPs09r2Fqwjz+ tNSfZnCgRZGXeG0JmGd/YcPJBpYZTI2FLLnmfxxL+SjGwtBHH1+Kvnzxbh6RZdpsZ4Incj1/ 1a8eHRi9nzBuVP9Jz6nVFVfeZL0fJMmrXsELS0mZlmp/H44YLeQ1qQUdrppXLx+9OVc0uJGc P4VX/qxWtN0FzLNoWUbZ7bAsb04JQiKhB2PDQWhcjMQb55tfC2X297GLy/E1jgCMTqzjuQ6+ 4af7wL8RYERYihTF+PUVa6f9Eywtn0jh+5CZUvEDd1NckHK8oIxCSjOotIoAsMLczPv+yC70 luIPBImuuX9mY85393Xj6SirY3yMe9fHFJfLlbL/4SNKijW0Wqy87BuCN/SU2jma1r136G+a cF+7fL2aqQHlWkXlbtMKe9gyKZm6ub/o7Nf8B9fI0zKSFaWEZJlHGiN2Jhel69Kx4IBgzCMZ GC0xoB4N4mKaeTfK3xAACo+b++G6+MYpSmK09QxP3fBxXFW+JipbBxsGiei2QJhKIl7CocH+ dsamdU37lW/gyU6M9zdgSFz8X+NH0M6UK4ml887BYP3uzUv0XVHR4LWMQ7twZS1c94XGFIbE jyVo6vjhrpn2UvJdUQoJ0XNxeZwgZcvughA6V0/e3Clq4HiveAm+h986hElZ11l9QpG2OdNJ WRbDU15CqGQ9TNOhsIYfWSTNyxeJR+e6Grj4kAokTDHckyWSWD9Fm0xFuKT9kQ/8WgHXDx6/ qmd+Vn1QwTRY8D98Ssja3FL88W5Y4RKyTTDv8S7E+CuPZowO2Pli5DzQ1s4kULsBMdpiXDXo eVvwv1LVpT6EiwtuIw+NZiR0OUBaRKDJVEae8pbwoEyITj+dg2xiB+0EGLgXuNWJvfPz120N Nw2GOJLSCaF9XivqhI1OPcyBoFazd8TyvgMQLfJHVI9kqC+q2Npua3A9yKli24MRc5voPkHK YjQVmyjF2CMtERQgEvIitdOAUujQNw+fAan9vuEwOYIMJMise9XbkA51IWvjUiVKAdK+xG1v hvJQq3rk8hO+N9LpJT9NKduHCCmAIrDb/uJ+wWNrNh+V9PDHsPQvQczqFO8HQBpEZYOetZwh 5KfmcXW2R7bgbMITGzpoZmNOK1X78GUXuAMEMbWLmFfrBSSSv3X/BoP1GCpG6NnyOoHyJGce DK5T8+sefo+edRXniRVYhcDNSctMf38a6O4qB6tq/iJNAMm7jXGC9Ga7l7sU3BQc34ZGp/5C zKsgc2U2PJjkN1uCiMHVtZcOL0pEG+7DOFiP5f0uCKDB2alvkKat/Gw3VA84DXMET+fHNy8/ ZvBQQPkeQ+vvL3TiutUqJF2ogZdGUMVbTPcpa7B04UeZ/GG4G86wSA1NJwHDtRZkHW32s2pI j7Ka2QmBGP2WjEsndAQJjj8dl/3OwDMEo6Ryv8VE4e8ZCK/BYfGC7xknsuly2kjYSPtlYlLN vlHkkAd/XGNLlVBSuMa5/j9iuBirh8fKrTk5mil+/HP790i7XnmGZCv8MehlcAKLi0VqHj2G A== IronPort-HdrOrdr: A9a23:iBCXCahopd7qIC5DJzihnLDQvnBQXgUji2hC6mlwRA09TyX+rb HVoB17726OtN91YhsdcL+7Sc29qB/nhPtICMwqTNWftWrd2FdATrsSi7cKqgeIc0bDH6xmpM RdmsNFeaTN5DZB/L7HyTj9PdJl79WO7byyif229QYLcShaL49lqyl2Yzz1LqS0fmV77FgCea Z0KvAom9NoQxUqUvg= X-Talos-CUID: 9a23:WMGNFmFAOGGSbFnsqmJo2Ws5HpkgVUTyj1LzIWKCA0JVZJ+8HAo= X-Talos-MUID: =?us-ascii?q?9a23=3AsKMmVgwIrWb63up4cv807CQwPB+aqKekKXoiyco?= =?us-ascii?q?NgOnaORxTOCjMsRqPS7Zyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.19,275,1754949600"; d="scan'208";a="129681702" X-MGA-submission: =?us-ascii?q?MDGfH/LGVFBIauu7QLFRveN4bujNX0K/5G+MwT?= =?us-ascii?q?aBIuGiihVXf8S3HmRUWN+dwG3CeqsNkJC+0GCZSY9Oq48KH542f1IaJu?= =?us-ascii?q?jzMiWtVG0yFqIlGN4pGQfY7LIW6+5RLYep9h30zinLRIjby7mQ6iFVh5?= =?us-ascii?q?Ra+kIO3SS6kG9eiicC7Mc4Fw=3D=3D?= Received: from mail-ej1-f49.google.com ([209.85.218.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 03 Nov 2025 02:56:35 +0100 Received: by mail-ej1-f49.google.com with SMTP id a640c23a62f3a-b4736e043f9so646300066b.0 for ; Sun, 02 Nov 2025 17:56:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1762134995; x=1762739795; darn=inria.fr; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=UoooIIxgWgVMw2+mJi2nC16SjATLb7FIscTrYWRCbFU=; b=XekYwYiAxvJqlgRxJzJcLT7EsAGBOr16PDHjHvFHxywQjUSJ3RsOrDtS6D7LhcMyHX kk1CkT0nfUcOhkQjoTDedVxaaCH44qg4vwKYtd9xWdvpezRIOknXHoV/p+ns+lUp1huu pFL85T0JbsSmghEuicM+ijL261SdsZO3lYVy0RD/CzAEqZOKGcE6EP6mFVR7AiWoQhpk n1kWxR+jB6bibG78aymvmEFFhkvPbvfrGoKFoLjPRrnMUtnthwS00jSfHMVmy3HIyNAM u4zEBpqwPk13QHZ5nEkXCUgeo7ftFxQ4DIzVEKIfb2ISCAdtHLvW6WMDvs9Ry/9ch6QA MTqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1762134995; x=1762739795; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=UoooIIxgWgVMw2+mJi2nC16SjATLb7FIscTrYWRCbFU=; b=Q+1vwpkHGUfFVmA+HzPfd5XSyvx59tIe7Xc/ANT7DuDxjPlFCjgdfBmiqWSQ34N1JL 3WA1zSK4fKd+N4KX1Fci/oOJ9tYAEzESesUhIKJDfnP6Zeh7+fOCWf5Y8COpdGVjAs0t xzy0305i5fMMmX5qGdNBTSzAhI+Mg2N8j6zgeZKTXr6z24LxJ0Ej6uGgbG9EySeQ4axB ZlIOvDFpUk1s3Jsqa9E9cvlwwcJJ28lA5q1gidLpUv6pwUwhP129LllbjGZuBY4EbFmG WstJ0+FG73RxlzJSSM2tF/r5AW5SGEaUX+nVQKAJm1LCgGdPdOLdOC2uimr7P0q54A7A FM+Q== X-Gm-Message-State: AOJu0Yy+y6gZXFhdWCPFKUhNemzkvii3wGKJysLPN8KUCLeLKNvXnc+e 0vfi1zK1Ct3KTCaYJ7MawwtUwP+Q5m7qTH+qEJNJRfUGr6pX//7vwB3EAi83Vy7zy7/TUxDuWnh PfFRnstdRxK2WTu8LkrCk/s33aKFMxVpzlJZC X-Gm-Gg: ASbGncu9mqr3NXUEwDv71xTNmsHPhUKZRPfEOPlAv1Fku5EmtBtx9WeMWwfcHS/kblJ k7mf9TfvzvSBcATxdgBeABlKnqlrvZ8udPsimAtXodysR1qlMh+sUYCEyYeDMXKK3HUFp0QqX3q zO+IKbSry1Ni399Hqr9Ni+EEdIHYa4nxiscay1NkNlzuU8UXUcKfgL3sNPyf0Yma6Jc+2g1R8K/ ubNSf7Hxpz4JjhyEXT35Bo2w2Tc2hBkv3CSZEZQ5FA7tRkILowAQ/82k5RnKX2iNEt0aF4tC2id SARwMFPB4OCUgI5CPXJhwB2jcABCiw== X-Google-Smtp-Source: AGHT+IFUYsW/+gCeaRl2NreMFXq1ZP7OGx6oHDg+LRGRCw+CDQ/hFOWdqcz0CZh/V3J/AhWSDGDYR1ybh60NO8Qn/rw= X-Received: by 2002:a17:906:6984:b0:b6d:c44a:b69b with SMTP id a640c23a62f3a-b70704b2753mr741496366b.35.1762134994556; Sun, 02 Nov 2025 17:56:34 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Andrei Popescu Date: Mon, 3 Nov 2025 01:56:23 +0000 X-Gm-Features: AWmQ_bmp6O6W2WK-UBgi9ONoa2DbF8lMB6tuuUAOLj4Xo4D_keOycRLdWiDDSgY Message-ID: To: caml-list@inria.fr, categories@mta.ca, haskell@haskell.org, haskell-cafe@haskell.org, hol-info@lists.sourceforge.net, acl2@utlists.utexas.edu Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar: "Mathematics in the Age of AI" -- 6 November 2025, online via Zoom Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19397 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: Dear Colleagues, A brief reminder that Jeremy=E2=80=99s talk is coming up soon. Details are = below. Best wishes, Andrei On 08/10/2025 04:22, Andrei Popescu wrote: > Dear Colleagues, > > I am delighted to announce that this year=E2=80=99s London Mathematical > Society (LMS) / British Computer Society -- Formal Aspects of > Computing Science (BCS-FACS) Evening Seminar will feature Jeremy > Avigad as the distinguished speaker. Registration is free but required > in advance. > > Date: 6 November 2025 > Time: 19:00 (UK time) > Format: Online via Zoom > Registration (for access to the Zoom link): > https://www.lms.ac.uk/events/lms-bcs-facs-seminar-jeremy-avigad > Talk title: Mathematics in the Age of AI > Speaker: Jeremy Avigad (Carnegie Mellon University) > Jeremy=E2=80=99s website: https://www.andrew.cmu.edu/user/avigad/ > > Abstract: > New technologies for reasoning and discovery are bound to have a > profound effect on mathematical practice. Proof assistants are already > changing the nature of collaboration, communication, and curation of > mathematical knowledge. Automated reasoning tools are used to find > mathematical objects with specified properties or rule out their > existence, and to decide or verify mathematical claims. Machine > learning and neural methods can discover patterns in mathematical > data, explore complex mathematical spaces, and generate mathematical > objects of interest. Neurosymbolic theorem provers, now capable of > solving the most challenging competition problems, combine aspects of > all of these technologies. > > It is helpful to keep in mind that the phrase "AI for mathematics" > encompasses several distinct technologies that overlap and interact in > interesting ways. In this talk, I will survey the landscape, describe > a few landmark applications to mathematics, and encourage you to join > me in thinking about how mathematicians and computer scientists can > collaborate to guide mathematics through this era of technological > change. > > Bio: > Jeremy Avigad is a professor in the Department of Philosophy and the > Department of Mathematical Sciences at Carnegie Mellon University. He > is the director of the Institute for Computer-Aided Reasoning in > Mathematics, a new NSF Mathematical Sciences Research Institute, and > the director of the Hoskinson Center for Formal Mathematics, a > research center at Carnegie Mellon. He has contributed to mathematical > logic and the history and philosophy of mathematics, and he is > currently working on applications of formal methods and AI to > mathematics. He serves on the Lean Community Admin Team and the board > of the Lean Focused Research Organization.