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=RpQ1NAN0; 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=dPyvxnVD; 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 BDA3B400BC for ; Wed, 8 Oct 2025 02:22:37 +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: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=Cu15X7ShL70A+qVn7tSYyIZ0cxT+CME1vZS2kQ+trkc=; b=RpQ1NAN0kvjnHDU6EFZwkiSoC9dlqxgArFTrxfmTep2+opyYmzUaa0oQ gHctyU1+mJ9aJlb2pMNTckjl17LNFxPcIpC38G8wAAy3qZ9y8LEtwb42i bmi/kEWwOWszUIKO/4E+6TqrSzKTyOaTHWXFHg8idPp1IK82ROtbUY66t w=; X-CSE-ConnectionGUID: 5N/APG3kQKqyoFT10XOBaQ== X-CSE-MsgGUID: pr7XZL/yQTOmktIQJOvDbg== 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.18,322,1751234400"; d="scan'208";a="243002021" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Oct 2025 04:22:37 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B5825E0CDA; Wed, 8 Oct 2025 04:22:36 +0200 (CEST) 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 84507E0171 for ; Wed, 8 Oct 2025 04:22:30 +0200 (CEST) X-CSE-ConnectionGUID: CjmB71m8Qpap7IjAxgfD7w== X-CSE-MsgGUID: ZJBcg8VbRuqSQ5SXS6siUA== IronPort-SDR: 68e5cae5_0ToiZ+ZXuYv8sUvEcugGJI37ZCmVaThKMJ9hdQ4vC2Zd5oo FxwerNYlpLA7W2YmwErjund6kg0anMO+Ehm59Rw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FlAwCSyuVofCraVdFaDnuEEIECXTQEC0mEVY9SgiGcS?= =?us-ascii?q?IFWE4EsPQIPAQMBDRQBASEaBAEBAwSFAIxJAh4HAQRHAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBAQEBAQ0BAQUBAQECAQECBAYBAhABASIZBw4SKYZPDYJFgUJhAgIDAwM4A?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQIsDGsGCx0BG?= =?us-ascii?q?xENAxIQCQYCJgIjAREBBQEjJg6BSYEYgiIBBhABAzYDom2BBUKLPoEVBQIWg?= =?us-ascii?q?QGCDQbaYAoZKA1uA4FhAgEGFIEIhSQpTg6COR0BgW6DfjuDQoEhgQOBJYEVN?= =?us-ascii?q?YQ4gwAEFTo4gw6CaQSCIoEWgVWPWQGDLAWDeIgOJggBBhcDBwcJBQQcBgUFA?= =?us-ascii?q?j8JBgUKEgMEAwQEAQILEwkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMEQooI?= =?us-ascii?q?hICKQoBAgEfCjEDFAQZAQEHBgICAwEEAgQMAgQFAgIFBAMCCgQDAwQBAQgCA?= =?us-ascii?q?i0DAQMZCAkIAgsFFBgMCwUCCigDDwEBBAkKAQECBAICGgIBAwgGAQ0CAwICA?= =?us-ascii?q?QICBAIEBgcECAEBAgECAQEBBAEHAQECAgMDBQMFAwgZARUJFQMEBQISAgIBB?= =?us-ascii?q?wECAQEDGQIBAwMEAQsCAQEEGwQVFAIkAhkCAQUFBQEDBAsQCAMCBQQCAgYCB?= =?us-ascii?q?A4CBwICGgQCAgEDBAYDAQIIAgIHBAgDAQICBxcCFQECAQMCCQoEBQQDBAMCA?= =?us-ascii?q?gIBDAIBAgMCAgECAQEDAQUGHQIBAw4IBAICBwICIA8LAQIBAQYGAwMDCgMBC?= =?us-ascii?q?gEBBgIBAhIFAgICBAICBgQlAQIBAgEBAQUCAQIBAgQCBwIBAgMIAQUCBgECA?= =?us-ascii?q?gkBAgECAgIBAgEBAgYCAREEAQICAgICAwEDBgICAgICAgkCAgICBQIFAwIDB?= =?us-ascii?q?QIFAgMDAgMEAwkDAwgDBgQDAQECAQICAgECAQUCAwkBAQMCAQICAgMGAgUFA?= =?us-ascii?q?QMMDAEBAgEDBQMDBAMGAQ0EAwIEAgICAgQCAQUDAwIFAQoBBAIBAwMDBAQDA?= =?us-ascii?q?QICCgwCBAEBAQECAQICCgMCBQMDAREDBAEGBQUGAgcJAwICAwICAQIEAwUEB?= =?us-ascii?q?AIEAwMCAgIBAQoCAgECAQEDAwcGEAECAQ8CAwMEAwQGAwUJAQcBAQEBAQIUA?= =?us-ascii?q?wIEBREIAgEBIAEVAgcBBAMnHgICBgICAgIDAgIDAwMBAgEBAwUBAwIDAgECA?= =?us-ascii?q?QYCAwMDBQMBDgICAwEDAQYEBAIHAQICAg4BAwICCQIHCQgCARMTAgICAgECA?= =?us-ascii?q?gECBwEBAgMCBQUIAgEBAQICAwILAgIBAgECAgMCAwIGAQkEBAQBAgEBBQQDC?= =?us-ascii?q?QECAyQDAwQFAwICAgcCBAMZAg0GAQQDBQUDCAMGAgIDDwMHBgcCBwQCBAICA?= =?us-ascii?q?g4CAwMHBQICAwEMBAcCAwICEgMBAQIPAgICDAEBBAICAgUCHwoECgIHCgIBA?= =?us-ascii?q?wEBCgIEBAMKBgIGBQICAQQDCAIBAgECCAMCBwMCAwIBDxkDAgMKAgYFBAcCA?= =?us-ascii?q?gMDBAICAgkBAwYBAQEBAgICAwICBQYOBAQEARIKIAMBAwUCBAcCAQMCAgEEA?= =?us-ascii?q?QEDAwIBAgECAwECAgQCAwMDAwMEBQMBAQMCAwUCAgMCAgICBAEBBQsBAgQDA?= =?us-ascii?q?QUBBwUDAQMGAwQEAwIEBQMLAgIEAgMDBgMDBgMCBQIHAgIBBQUCAQEBAQwJA?= =?us-ascii?q?gICBwMOAwICAgMEAQIDBAMFAgMEAQEBAQQFAgQDAgIBAwUCAgEBAgIEBAIDA?= =?us-ascii?q?wYCBAIPAgEBBRwRAQIGBgMCAQEDBQMDAwMDAgQCAgICBgcLAgoEBAIBBQYHA?= =?us-ascii?q?wMFBgMBAQQEAwIJAwULAgQLEgYDAwUCAgIBAgwBAhQDAwYGAgQEAwQIAgYJA?= =?us-ascii?q?wIDAwQBAzANDxIWBAUDAgUDAwMBQAMOBAMVBgICGAIBAQIGAgEDAwgCAwEDA?= =?us-ascii?q?gcDFwoBBggCBAQMAgMDAwcFBAUDBwICCRUUGAIEAgICAQICCQMDAwMCAwYDA?= =?us-ascii?q?wMGAwoCAgIBAQUCBQcIAQMBAgoDAwIDDAICAgYDIw8DCwkIEz0BCwcyBDYBB?= =?us-ascii?q?g4UByshX5krglo8NE5VGFBAdBtHkmslLbMLB4QfgWSEMIYKlVMzqmuIA5EDI?= =?us-ascii?q?oUDiGOVNDSFQBEkEoFcAg6BXDMaIy9SgjYfMAMZD444J4NCglaMXqYVAkUyP?= =?us-ascii?q?AIHAQoBAQMJkh6BSwEB?= IronPort-PHdr: A9a23:dyQOthFOF/rANyuFmm09NJ1Gf7dFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21xmRAc6Cs6gc26KW6/mmBTdbp87a8TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgXO voHf3Jeu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyL BKrpgnNq8Uam4RvJ6g/xxfTvndFdOtayX50KV6Ngxrx5dq78Jp//yhNof4s+MBNXKvgc6gkQ 7FUCSktPnwo6sHsqRTMQgyD62cGXG4LiBRIGQ/F7B/7Xpf1rCT3s/d21TeZM8PrU706QCyu4 ahzRhDnkSsKKTE3/nzPhsN/kKxUrhShpwdiw4HPe4GaKOB+fqLGctwEQ2dKQ9tcWDZAAoO4a IsPEvYBMONFpITzu1cCsR2zDhSrC+3y1z9InWf20rMm3OQ9Hw/G2wkgEMgPsHTSsd75MKgfX OSwwKTO0D7Nbe5Z2S3l5YfHch4vr/KCU69uf8XNxkciDB/FjkyKpID5Iz+ZyuYAvm6G5ORgT +KvjGsnphltrzip28gskJfGhoMIwV7e8iV52Jg6JcakR05mfNWpF4FftyeHOItsXMwiQntku CYgxr0evp67ZDYFyI87yB7CcPGHfI2I7QjiVOaVOzt3mHVleLemihu07EOvxfHyWNOu31ZWs ipKjMPMtnYV2hLd6cWJRedx8Eeg1DuMyQzf9+BJL087mKbGNZIs37A9m5oTvEnNGiL7lkf7g q+YeEk59eWm5Ovqb7X4qpKdN4J5jBz1PKopmsy6G+s4Mw4OUnCf+eS6173s4Ff1QLRMjvAwj 6LXs4jaKNwFqqKlBwJZyIUu5halAzu4zdgVnmMLIV1bdB+BkoPnIUvBIOriAve6m1mskClkx /TBPrD5B5XCNHnDkLP4cblj6U5Q1RM/zd5Q6p5KEL0BL/XzWkj+tNzcEBA1KRC7w+HiCNll1 4MeX3yAArOBPa/MrVOF4vgjLuqMaYMPpjrxNvso6+ThgHMngVMdeLOm3ZoTaHC2BPRmJECZb GL2jdcHDGgKpBQxTO3whF2CSzJTf3GyX7oi6TEgFI2mEJzORo+ogLOb3Se7GodaaXxBClCJC XvobZmLW+8QaCKOJc9siiALWqKkS48lzB2usA76y6F7LufP4S0ZtZfj1MBv6OHJlBEy8yZ0D 8WH3G2XQWF0hHsERzkt069nu0xy1k+D0bRkg/xfDdFf+utFUggkOp7bzOJ0Ecj/VQzccNuRU lapXMumDzIrQN8pxt8BeUd9G9G7gh/d3SqmHqYZl7KECZAq6K7c0H/xJ8Fyy3bCyqYtlUUpQ sxKNWG+m6F/9AnTB4vRnkuBmKile7oS0jLR+WmF1WaBoURYXxRqUarZRX0RflLYo8z26E/aV L+uEbonPxNbx8OeN6VEd8XljU5eRPftINveY3y+m2O3BRuQ3r2CdZLkdWpOlBnaXUMNlgRW+ XedKSA/AD2gqiTQFngmHlvzbkzr6+hzs1u+UkZyxAjOJ01ozLm4/ho9hfWHSP4X2vQDoihl4 zV9B1Ww29aTANOOqiJhdb5fbNc5plBd2iaRtwt5e52mIadKgl8Fbx8xpETzzR56BIJansVsq n42iEJ7IqbC+E5dczKDwYu2J6HaOmDpuh2jdv34wFbbhf+Q9r0C6bwArE3upwq0Xh4r9Xl93 tgT0z2E4Y3HFwEPeZ30W0czsRN9oueJMWEG+4rI2Cg0YuGPuTjY1od1VYPNqz6ldtZba+afE RPqVtYdH46oIfArnF6galQFOvpT/eg6JZDubOOIjYisOusohze6lSJf+oko20SA7Sd9DO6Ox 5EdzuqTwyOIUj79iBGqtcWk0Ztca2QqF3GkgTPhGJYXY6RzeYgRDmL7Ksu73Nh/wZ6rQ3lA+ UWoGnsJ3caofVyZaFmulRZI2xExpnqq0TC90yQykzwtqf+H2zfSxu35aBcdEmtCRW0ngFW1Z Ibo1ZYVW0+nawVvnxygjarj745coqk3b2zaQEMTOjPzM3knSayo8LyLf89I7pos9yRRSuW1J 16AGPb7pFMB3iXvEnE7pnhzfiy2upj/gx1xiX6MZHd1on3DfMhsxBDZrNXCTP9V1zACSWF2k z7STlS7OtCo+52TmfKh+qi3UW67W5wVcW/zypuNryCmzWJvCBy72fu0n5yvEAQ31zP6y8g/T T/B/3OeKsHg06W3N/4if1E9XgetrZonXNsnws1s3sJ1uzBSnJie8HsZnH2mNNxa3fm7d38RX XsQxMaT5gH52UplJ3bPxoTjV3zbzNEyArvyKm4QxC856NhHTamO67kR1yJzrkC1rETRJ+B6h joGwuYG53sTguVPsw0ohHb4YPhaDQxDMCrgmg7dpdm4oL9aZSCvN6C3zEdlls2JA7SLowUaU 3H8MMRHf2c4/oB0N1TC12f244fvdYzLbN4dgRaTlg/Jk+lfLJ9ZeuMivSN8Iiq9uHQkz7V+l hlyxdShu5DBLWxx/aW/CxoeNzvvZspV9Cu/xapZm8+X2cioEPADUn0CWpfyQPPuEHQKsuzqL A2TODI5o3afX7HYGEeT5VxnoHTGD52wfyvPdT9JkJM4HUnbeBYXiRtxPn1yhpMjEwG22MHtO Fx04Dwc/B+wqxdBzP5pKwiqV27eoAmybTJnAJObLRdQ8kRD/xKPaZ3Yvr81RXgIuMH7/2nvY iSBag9FDH8EQBmBDlHnZfy14MXYtvOfHqy4JufPZrOHrapfUe2JzNShyNgDnX7EO8ORM31lF /B+1FBEWCUzEsLVgTgODSxRjyXVYtWQuT+z/yR2qoa09/GhC2eNrcOfTqBfN9li4UX8iKGPL eORwiY/MTFA24gH2FfHzbEe2BgZjCQkJFzPWfwQ8CXKSqzXgKpeCRUWPjhyOMV/5KU5xgBRO MTfh4C9xvtig/UyEVsASU35l5Tje5kRO2/kfgCiZg7DJPGcKDbM2c2yfa6sVegakrBPrxPp8 TeDTx28YnLazWSvD1b3drgSxCCDYE4H59r7K0cxTzClFJW/NHjZeJd2lWFkm+VlwCOXczdGY X4kNBoS5ryIsXEC26s5RjwHtys/a7HDwnfR7vGEeMxP770xWXUyzLgcuDNjmt43pGlFXKAnw XSI6IQz+Bf7zK/XjWA+GBtW9mQS29jN5xg5f/yArN8YHiyctAQE6WHaY/gTj/1iDNCn+6VZy 9yU0bn2NC8H6NXMu80VG8nTLsuDdnsnKxvgXjDOXkMDSnawOGfTilY48rna/2CJrpU8tpnnm YYfAr5dWlsvE/oGC0NjVNUcKZZzVzkgnPaVlskNrXa5qRDQQo1dsPWlHrqKBu7zLT+CkbReT x4BwLe9IIZKc4OngQptbV51mImMEE3VHJhMriBncg4osRBN/Xx5HQhRkwrubgKg5mNWFObhx EZnzFsjJ750pHGwuQRSRBKCviY7nUgvlM+whDmQdGW0N6KsRcRNDDKysUEtM5T9SgIzbAuon EUiOi2XItAZx7Zma21vjxfR/JVVHvsJB6RCbAUdxLeXIe0vyVlHoTiPykpO5O+DApxn3lhPE 9bkvzdb1gRvYcRgb7TXP7ZMx0NMi7imuyap0qU8wlZbKRpXtmyVfyEMtQoDMbxsdE/KtqR8r AeFnTVEYm0FUfEn9+lr+k0KMOOF1yv80rRHJyhZ2MSQKqqYvy7LksvaGzvYN2sNnkhBuLV0i IItLxDSWEcow7+cUR8OMJiaQemwR8VX/XnXOy2JtLeVqa8= IronPort-Data: A9a23:CnPC86o1oL6OY0JYMUQKSZDq25deBmK1YRIvgKrLsJaIsI4StFCzt garIBmBMv+CZzGgfdkkPI2+8EkC7ZaGzdJjTwE9pSE0E3hBpOPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7ko/1BjOkGlA5AFnPagU5AW2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656Jm5T8Mz38FzFdHiJNw+uFhwwj/1UulzFPgvQ42SjTNZ9DI5h8QLEPSHI sRFM3xgaxPPZxAJMVASYH48tL3w1z+vLnsC8QLT+fBfD2v7lGSd1JDkNtbPd93MRYNNmV6Vv Wnb12v8CxAecteYzFJp91r13LCSwnunCdN6+LuQxNxAi1LD+GYpFQQtbAaAkcLnkU+DcocKQ 6AT0nFz9PBtpRLDosPGdxaxpXrBuh8HR/JLAugi4UeMzLDV6kCXHAA5oiVpbdUnsIo7R2Vv2 APT2dzuAjNrvfueTnf1GqqoQS2aEioQBzBbYH89VQIdvPjhiZE8gD6QUYM2eEKqteHdFTb1y jGMiSExgbQPkMIGv5lXG3iX01pAQbCZEWYIChXrY46z0u9uiGeYi2GA7FHa6bNNLt/cQAXb+ ncDnMea4aYFCpTleM2xrAclTe/BCxWtame0bbtT838JqWnFF5mLI9s43d2GDB01WvvogBewC KMphStf5YVIIFyhZrJtboS6BqwClPe9RIS7D6GJPoIUM/CdkTNrGgk+NSZ8OEi9wCARfV0XZ cbznTuEVCZCVfU6l2Teqxk1i+RzlntvrY8seXwL50/6iOLBNSD9pUYtP1yJYeQ0pKKCq0O9z jqsH5ri9vmra8WnOnO/2ddLczgidCFnbbio8ZA/XrDYeWJORjpxY8I9NJt7J+SJaYwPy7+Qp hlQmyZwlDLCuJEwAV/WNig7OeO/Bc4XQLBSFXVEAGtEEkMLOe6HhJrzvbNuFVX+3LU7laAmf OpPYMiaHPVERxLO/jlXP9G3r5VveF7vzUiCNjasKmp3NZNxZR37yvm9dCvW9Q4KEnWWs+k6q OaezQ/1e8cIaDljK8f0U8iR6W2Nk0ITo89IZHuQEOJvIB3t1KNINx3OiuQGJpBQCBfbmRqf+ QWkITYZgujvpYUK3sHDrv2Gpd3xEs9VPElTL0/E55mYaAjY+WuCx9dbceCqJDryakL9yJ+AV 850kc7uEaQgt0kQlZh/CJNp/LIay/7wgYEC1SViPnHAT2rzO4NaOnPcgPV+7Pxc9IFWqS6de xyq6NJFHZ6rJcm8MloaBDR9X9S5zftOxwXjt6UkEn7buh1y0qGMC3hJHh+2jydYErt5HaUlz colu+8U8waPsQUrAPnXkhFr83mwEVJYX5UFrp06BKrZujgvwHxGYr3eDXbSy7OLYNNuLEIrA 2G1gIzvurdi/XfBIkEDTSX14elghJo1qE9ryn0GLA+3gdbrvKI88yBQ1jUVdT5r6Ct7/dh9A UVVEnFkBL6v+m5ojfdTXmr3FABmAgaYy3PLyFAItTP4ShCoX1PSMF8CPvapw3FB1mMBeDIBr beS51v4YGy7YODwwSoAdkp3oNPzTdFK11PjmeL2O++nDpUFcT7erav2XlUxqjzjGtEUqHzcg OtXoNZLdqzwMBAPr50BC4W10aoaTDaGLjdgRc5N0bwoH2aGXh2PwhmLdl6Mf/1SK8zw8UOXD 9JkIuRNXU+c0AeMtjUqOr4eEYRrnfIG5MswRZ2zHDQo64CglztOtI7c0gPch2VxGtVnrpsbG 7PrLjmHFjSduGtQl2rzt/J7A2ufY+QfRQjCzeuwofQoFZUCjblWSnsM8ICI5lebDAg22Civn lLnR7TXxOlc24hTj9PSMqFcNT6Vd/L3dsq1qT6WjfofQ+/LA8n0syEtlmLGJCVTZLsYZMR2n ++Csfnxx0L0g4w1WGH4xbiEG7V42sGpeO9xLMjMDWJ7mBGaU5TG+Coz+GGfKL1InuhC58Khe RCKVcuoefMRWPZf3HdwaRUCNzosUIPMcbbGpw6miualUygmzg3MKe24+U/TbW10cjECP7v8A FTWv8mCy895roNeIg0tHNBjXoFFJWH8VZscd9HesSeSCk+qiAigvprgjR8R1iHZOEKbEcrV4 YP3eTamTU6c4Jr39dB+t5B+mjY1D3wn2Ok5QR87yu5M0ju/CDYLEPQZPZA4Eaprqy3V1qzjR TTzfWAnWDTcXzNFTE3G2+7dfDyjX84ABtSoAQYS3RKkW3/jTsfISr5s7Txp7HpKayPuhrPvY 80X/nrreAO92Nd1TOIU/ea2mvpj2uic/H8T5EThiIbnNn7y21nROKBJR2KhlBArEv0hUG3OL GkxAG1GGQS1FRS3HsFndHpYXhoeuVsDCtnugTinmL7iV0ezlYWsC8ET/8n817QCaIIBI7tmq bbfWT6W+27PspAMkfJBhj/q6JOYzdqEG8G7KOnoQgh6c2RcLIg4F5tqoBfjh/3ONOKS/50xW 9VsD7UD6Jy5FX1s IronPort-HdrOrdr: A9a23:IV7D1aMCO4U1U8BcTuKjsMiBIKoaSvp037BN7TEIdfU1SL3gqy nKpp4mPHDP+VQssR0b6LO90cq7IU80l6QFhbX5VI3KNGLbUQCTXeZfBOXZslvdMhy72OoY+q tpbrRkBMeYNykese/KpCe9V/gvqePpzElqv4vjJrVWID2Cp5sP0+6xMGemLnE= X-Talos-CUID: 9a23:9+8ZVm9Z5mDSTVt8HsaVv2UWH+p6K3iN9W/ZOxCZC095R7O5FkDFrQ== X-Talos-MUID: =?us-ascii?q?9a23=3ARujf2Qz68TvQZuVNqKuPSYnKR8qaqJaMIksCwas?= =?us-ascii?q?MgdSdDhUtAAem0i+2f6Zyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.18,322,1751234400"; d="scan'208";a="127570499" X-MGA-submission: =?us-ascii?q?MDHypHw98ZM0CriuTJtHJb3jnxrEoUJl1VPhmY?= =?us-ascii?q?ROFiCA3xHwGcflFbR2qkXOw6Vs4qPsnsAxstvNooiHifWkkvjykLlwfz?= =?us-ascii?q?sWe8ZVt9QrG0mQhuDfRlSGR1PyaT/0uwWyzdw1C/yhJmNHay87oOjT97?= =?us-ascii?q?/bB553SKk5Tnavj/Q4QTzZcw=3D=3D?= Received: from mail-ej1-f42.google.com ([209.85.218.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Oct 2025 04:22:30 +0200 Received: by mail-ej1-f42.google.com with SMTP id a640c23a62f3a-b4c89df6145so627518966b.3 for ; Tue, 07 Oct 2025 19:22:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1759890148; x=1760494948; darn=inria.fr; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=Cu15X7ShL70A+qVn7tSYyIZ0cxT+CME1vZS2kQ+trkc=; b=dPyvxnVD6g86q56s3jLa6Itiy8WIHomCprCBZZqquWgRVNgcdIbpn0U5HZRdONh1ji b6Jal6Rwk0SjApvViEm14sEA1kefInN6MpnnnGl9ysJBxlCfINSTQvRdjsfOUdb93j3C Wd/dkeZsOB/CwWl2hlT3DkLNkAHjUnSN+I6k1iWlgNhLN4QZAAor2Fkpwkz5HShHEGox AkZfDH7yekOQqxQ2RW5rwodHwkSKcIwyR7ZD3QP5oDaTav4lbVZx4G7SmPfkMtRLZskV HcDxN+e0WVczYfIf/RfI9HpGPWq5MrHXgn6GkfmglVlUH0B1pXKJ6E+0UeiQzkyc2ckS Smnw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1759890148; x=1760494948; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=Cu15X7ShL70A+qVn7tSYyIZ0cxT+CME1vZS2kQ+trkc=; b=beF5atUgwMjPGcNS6DoizRykptF0nftls1QCQf/PAL7dP4Kz/5Q95Wvd2OxBD5thX2 fU6u8gIg8yDF/Fzg4pwxQSRBWHS0x4TOPghFgpUfxvCN6/mkuCoZw7cVSAehcTiO4XFd gHA9+8OisfVwYHkHsjFeT8kNq9vuDpm308sBWAE9AcuYI82rL8KiKZCYaL1z+KB6cHYf LQ5G9mDiJRi4veTcf6znNh97OR5mPLEZDAT4/h3VImKZj8oTTFmR41MPeZyYfo1RwyJh w/pQ/Ix4IVpShypeTBcemnj7yh4xJBhu1ywBKmCDznzU3B6Cd+kHrg0lEY1hwElCWJ5u B73w== X-Gm-Message-State: AOJu0YxLiiXGweIPjUgD/MRt5aOCPeHiF2uKD7DUEqoc/SePX+jbMQq9 C/bbE9/BUlV+9egjQt5gf4Y8EqnKMS9ROqUkVDQgnQ5Jxgy2YdxBjmZSxx/CShAGlrjNrMgW9O2 UB8PfGYAwrh0U5+EVLj/zBsnDaQT5hP9CdmUm X-Gm-Gg: ASbGncvnZHYw+80jn12SrzrDsol0Hkz+8SjMNvXpdAKR63ARYiuJx3mGQd2jmEH8QD5 eRFQ/B92zP1kX0zahQyMQdbh6kYQO74n9iXUAJYH0xvxnxRu1Y7AevMVwJAxB1vNuciS6DhxXZp a9EF7vQTB/nUsZ6KwcUl4IyVUsI3tkuxniYbaEvx1Oz+9qnvq1qjwnI32Wh2TpvMsJ+OI1Imw14 fgTIxp4KB+2hmLxm9QN7pXbEsE6P5Jw X-Google-Smtp-Source: AGHT+IHfcvT/+94kcwI53GdN0DsPtwwS/+Ye5Zt6+BLeENHfkE3SN9qOFyzyd4DVjEcKIUEIW91n5LNLqLxA1F906Rg= X-Received: by 2002:a17:907:94d0:b0:b3c:a161:683b with SMTP id a640c23a62f3a-b50acc21549mr191767166b.60.1759890148409; Tue, 07 Oct 2025 19:22:28 -0700 (PDT) MIME-Version: 1.0 From: Andrei Popescu Date: Wed, 8 Oct 2025 03:22:17 +0100 X-Gm-Features: AS18NWDGLz1XYPcEtzgvpaC1XsXrxn2N0UyZLb4GexchX_Nej2ryeZtc6fu_jMM 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: [Caml-list] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19384 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, 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 Talk title: Mathematics in the Age of AI Jeremy=E2=80=99s website: https://lnkd.in/ep3w-fiB Registration (for access to the Zoom link) is available here: https://lnkd.in/eRE-Bb2A Further details about the talk are included below Best wishes, Andrei Speaker: Jeremy Avigad (Carnegie Mellon University) Title: Mathematics in the Age of AI 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.