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=aQv+Hocy; 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=YEao+7zQ; 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 056C44009D for ; Mon, 3 Nov 2025 02:46:04 +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=dGh5Yh5f7blj2OhvWw0wXjs+LUiWYA75hmSFYL/C1j0=; b=aQv+HocyjyzDoFxpE/oZL9vEG2k5JOl9tQegcLgo4C75A2XI12hv0qJP Ujy2VHbICT497KYLB6izuqHy5nAtbhoAAwN+jSmhRMOVjmiNkKnchEsFF 1oe3BIy7CHvGkn7cfORHLT2ePBjFEdp4xhnBelhonHnZcBXnSsWyrYmVu 4=; X-CSE-ConnectionGUID: BDspbTJcS/ucnGBGGHUmcg== X-CSE-MsgGUID: 1X031DP3Ssq739t7VUmwjQ== 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="247182131" 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 03:46:03 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4A535E0C55; Mon, 3 Nov 2025 03:46:03 +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 650FEE0171 for ; Mon, 3 Nov 2025 03:45:59 +0100 (CET) X-CSE-ConnectionGUID: 4zR1nS0DTGmyA+5d/VQRfA== X-CSE-MsgGUID: xXvekuxQQaWzIk2tsHzP0Q== IronPort-SDR: 69081767_WmxJLJW54RyKwRoOmnY4S60VOJNflcwitRU1TtXX+fQ7wnt PfAdZlEmC6LI+nC6VlyjSZYsuxvF3MCEBWzE6+g== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EUAwCsFghpfDLQVdFaDnuBUIJAgQJdNAQLSYRVg0+MA?= =?us-ascii?q?4IhA4ImkSaIeYFpgSwWJwIPAQMBDT0UBAEBAwEDhHwCAgKMUwIeBwEEMwYOA?= =?us-ascii?q?QIEAQEBAQMCAwEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABASIZBw4SKYZPD?= =?us-ascii?q?YJbO3FhAgUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEFAhQYFSoBHwIBAxIRHQEbHgMMBhAJBgIfBwICIQERAQUBHAc0gmGCIgEGE?= =?us-ascii?q?AEDNgMRonOBBUKLPoEVBQIWgQGCDQaBCT4F2RQKGSgNbgOBYQIBBhSBCC6Ed?= =?us-ascii?q?ilODoI5HQGBboN+O4NDeieBA4ElgUqCRG+BBYFcAYEnFTo4gw6CaQSCIoEOh?= =?us-ascii?q?id4AZFDJggBBhcDBwcJBQQcBgUFAj8JBgUKEgMEAwQEAQILEwkDAwIOAggDA?= =?us-ascii?q?ggGGQE/EgQTCg0LBwUfCgIMEQooIhICKQoBAgEfCjEDFBkBAQcGAgIDAQQCB?= =?us-ascii?q?AwCBAUCAgUEAwIKBAMDBAEBCAICLQMBAxkICQgCCwURGAwLBQIKKAMPAQkEI?= =?us-ascii?q?QYSFggDAwICAgEHAgIBAgEBAwMHBhABAgEPAgMDBAMEBgMFCQEHAQEBAQECE?= =?us-ascii?q?wMCAgURBwIBASABFQIHAQQDJxkCAgYCAgICAwICAwMDAQIBAQMFAQMCAwIBA?= =?us-ascii?q?gEGAgMDAwUDAQ4CAgMBAwEGBAQCBQECAgIOAQMCAgYCBwkIAgETEwICAgIBA?= =?us-ascii?q?gIBAgcBAQIDAgUFCAIBAQECAgMCCwICAQIBAgIDAgMCBgEJBAQEAQIBAQUEA?= =?us-ascii?q?wgBAyQDAwQFAwICAgcCBAMYAg0GAQQDBQUDCAMGAgIDDwMGBgcCBwQCBAICA?= =?us-ascii?q?g4CAgMHBAICAwEMBAcCAwICEgMBAQIPAgICDAEBBAICAgUCHgoECgIPAgEDA?= =?us-ascii?q?QEGAgQEAwoGAgYFAgIBBAMHAgECAQIIAwIHAwIDAgEPGAMCAwoCBgUEBwICA?= =?us-ascii?q?wMEAgICCQEDBgEBAQECAgIDAgIFBg4EBAQBEgogAwEDBQIEBwIBAwICAQQBA?= =?us-ascii?q?QMDAgECAQIDAQICBAIDAwMDAwQFAwEBAwIDBQICAwICAgIEAQEFCwECBAMBB?= =?us-ascii?q?QEHBQMBAwYDBAQDAgQFAwsCAgQCAwMGAwMGAwIFAgcCAgEFBQIBAQEBDAkCA?= =?us-ascii?q?gIHAw4DAgICAwQBAgMEAwUCAwQBAQEBBAUCAwMCAgEDBQICAQECAgQEAgMDB?= =?us-ascii?q?gIEAg8CAQEFGhEBAgYGAwIBAwUDAwMDAwIEAgICAgYHCwIKBAQCAQUDBwMDB?= =?us-ascii?q?QYDAQMEAwgDCgIEGAYFAgICAQIMEgMDCgQEAwIFAgYJAwIDAwQBAzkfFgQFA?= =?us-ascii?q?gUDAwMBOgMOBAMNBhgCAQECBgIBAwMIAgMBAwIHAxQGAQYIAgQEDAIDAwMHB?= =?us-ascii?q?QQFAwcCAgcPKAIEAgICAQICCQMDAwMCAwYDAwMGAwoCAgIBBQIFBwYBAwECC?= =?us-ascii?q?gMDAgMMAgIQAgMFAwMDCQQCAxMDAwYDAwMDAwwCAggDAQIBAgQCAgEEEAEXC?= =?us-ascii?q?AgBAwUDAwUDCAUEBwQCAwsDBQ4EAgoDBAIEAgsDBQMDCQEDAwMVAQQCBAICA?= =?us-ascii?q?gICAgE1BQMDAwMDAwMEAwMGAgQCAgICBAYBAgMDAwMDAwkDAwQCAQIBDAECA?= =?us-ascii?q?gYCBRAGAwUCBQMGAgEFDQMEAwIDBQIEBQktEAYDAwcCBwsjDwMLCQgTPQELB?= =?us-ascii?q?zIENgEGDhQHKyFfk0wZhB8YUEB0k02zXQeEH4FkmFWHODOqay2YWSKjGoV0E?= =?us-ascii?q?SQSgUgkgVwzGiOBAYI2TwMZD444J4NCh3mHO7wzRjI8AgcBCgEBAwmSHoFLA?= =?us-ascii?q?QE?= IronPort-PHdr: A9a23:LmpqnRFWi11s0nXYXWMJGZ1Gf69FhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21xmRAc6CtKwV16KW6/mmBTdbp87a8TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgXO voHf3Jeu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyL BKrpgnNq8Uam4RvJ6g/xxfTvndFdOtayX5qKF+Smxvx6dq78Jp//yhNof4s+MBNXKvgc6gkQ 7FUCSktPnwo6sHsqRTMQgyD62cGXG4LiBRIGQ/F7B/7Xpf1rCT3s/d21TeZM8PrU706QCyu4 ahzRhDnkSsKKTE3/nzPhsN/kKxUrhShpwdiw4HPe4GaKOB+fqLGctwEQ2dKQ9tcWDZAAoO4a IsPEvYBMONFpITzu1cCsR2zDhSqCejyyDFHm2X20LU13OQvEw7I3AIuEdETvnrKsNr7O7wfU fyszKTS0TnPc+9a1DX75YPVch4hu/aMXbdofMfNz0kgChnFgUuRqYf4JT2V0fwNvHaA7+V8S OKklmkqpBt3ojey3McjlIjJipgVylze7SV5x541KsOjSEFnfN6pC5RQtySAOIt3RsMuWX1nu CE/yrAfv5OwYScFxog9yRHFd/yHb5aH4gjlVOuJIDp1mHJodK+iihuw7UWt1/HxWMe73ltFo SdLksTAuHAR2xHN5caKS/Vz8Emg1DqSyw3e9u9KLF46mKfZJZAszbg9nYcdv0TEGy/5gkT2j KmOe0Ug/+io8P7rba/6qZOGKo90iQfzObktlMynGek0LBQCUmyB9em/1LDv51P1TKlJg/Esk qTVrJbXLtkBqKGjGQ9ayIMj5g6/Dzi41NQYmmEKLFdfdxKGi4jlIk/BL+3lAfumjVShkCtny +rJPr3mBZXNIXzDn6n7cblh7E5czRI/zdFZ551KFrEMOOz/VlP1udDCDRI0Mxa4z/j7BNh+z I8TWX6DDrecMKzIsF+I4uwvI/OLZI8QoDvyMf4l6OP0jXAnmF8RZ6mp0YEPaHC/BvRpPV6Zb mbxgtoaHmcKuxAxTO3uiFGYTTFTYHOyU7om5j4nEIKmEZvDRoe1jbOdxii7G5lWanlCClCNC nfoa56JW+wMaSKXOs9uiCYIVbmnS4871BGhrhX2y7R9LubM/C0Xrors1MJp6O3LiREy6Tt0A tyA322VQGF7gGQISTws0q1nr0Nz10+P0bJmjPxGFtJd/etEUgIgOp7dy+x2Es79VR/cctuQR larQsmqDSs+TtI2xN8ObEJ9FMu4gh/f2CqqBqcZmKGIBJw196LRx2D/KclzxHjYyKcsk18oT tNSOm2jnKF/7RTcCpbRnUuAj6ikerwQ3DXV9GeN1WeApl1VXhNtX6ndRnAffkXWosz55kzcS 7+uDqwqPBNYx8CaJaUZIuHu2F5PQfOmPNXFf0qwnX2xDFCG3PfEZ4P2dmoaxiTQE2ABjwlV9 n/CfQg3HSSsp2b2DDV1Fl/rZwXr6+Y64HOyVUw5ywXPZERv2pK18wUWiPiYDfQJ0fZMuCAl7 jRyElGV29PNF8HGvA18Zq5Rb9Qn71oB02/F80R0NZj6B71+gl8Fbx8xol/jxxxsTIhMjJsEt nQvmSN0JbiV0Rt5cCuVxpvtcuneLGXo8RHpa+jO3UnTy92L0qgK4fU87V7kuVf6RQIZ73x73 owNgDOn7ZLQAV9KOXqQekM+9hwg4qrffjF4/YTfk3tlLaiztDbGndMvHuosjBi6LJ9EKK3RM gj0HoUBAtS2bvQwkg2gaB4eMeEU9OgsONurbPCb8KGuNedk2jmhiDcP+5hzh3qF7DE0UevUx 9AAyvCc0BGAUmL1ilu7v8GxmcZcYikfBWGi4SfhDY9VIKZ1eNVDEn+gduuwwNg2nJvxQzhY+ VqkUksBw9OscAGOYkbV2ARR0QEarSXil3bgiTNzlD4to+yU2ymmL/3KUh0BNyYLQWBjiQ2pO o2ol5UAW0PuaQE1lRyj7EK8xq5Bpa05IXOBCUFPNzP7KW1vSM7S/vKLftJP5ZU0sC5WTPX0Y FaUTaT4qgcb1CWrFnVXxTQyfTWn8pvjmBkyhGWYJXd15H3XHKM4jR7Z6MbRRLhRmCIBXCRjg iT/CV21Pt3v9tKR1t/Cvu24S2O9R8hLayC4qOHI/CC/5GBsHVi+h6XpwoyhQVV8i3erkYQyB kCq5F7mb4Lm1rq3K7did0hsXhrn7tZiX5t5mc02jY0R3n4TgtOU+2AGmCH9K4Y+u+q2YXwTS DoM29OQ7hLi3RgpJ3SF3Y/4EHXb2sx5asKxf0sZ3ys864ZBD6Lev9km1WNl50G1qw7ce603l zER0/Yvrn5cm+YRtREm0w2SB7kTGQ9TOimmxHHqp5iu6a5QYmioa7250kFzyMugAL+1qQZZQ H/le50mEEec9+1HOUnXmD3244DgIpzLaM4L8weTmFHGhvRUL5Q4krwLgzBmMCTzpy9tx+k+h B1olZa02erPY2xr8Li0A1hYcCXyf84I8SzFgqNXn8LQ1IeqVplsATQEWpL0QOngSmpD86S6c VzWQHth8j+SAt+9VUeH5V1jrm7THpzjLHyRKHQDjJ1jSBSbOE1DkVURVTQ+kIQ+E1Piz8jgf UFlozEJswSg+10cl6Qyb0m5Dz+MwWXgIi05Q5WeMhdMuwRL5kOPdNeb8vo2BSZTuJuosA2KL GWfIQVOF2AAHEKeVDWBdvGj48fN9++AC6+wNfzLNP+Hr+BEWvbOxdS31ZNr5D2RHsqKN3hmS fY83wAQOBIxU9ScgDgJRyENwmjEacKBqRb6+mtvqdiy6//2cA3q7IqLTbBVNJ88nnL+ybfGP OmWiiFjLD9e3Z5Z3n7Exo8U21sKgj1vfT2gQvwQ8DTAR6XKlupLHgYWPmltYdBQ4ft2jWwvc YbLz8n43bligrspBkdZABb/z9qxa5VCInnhZgybQh/RafLeY2WMmp+/YLvgG+QP16MN5kH24 XDDVBa9W1bL3zjxC0L1abAK3HzdZUYO/tn6K0klCHC/Hoi/NFvmYJku3Gdwmfpt1zvLLTJOa 2EiNRkW//vLt2UAxawufg4Jpnt9cbvdxHzftbCHbM1M96MsWH08lvoGsi1lkf0PsXoCGaIzw GyI95Zvuw30y7bVjGA6C1wX82wN3MXR5SAAce3P/51EEx4o5Tor6mOdQ1QPrtphUJj0vrxIj 8LIn+T1IStD9NTd+Y0dAdLVIYSJKihpNx2hAzPSAAYfKFzjfWjCm0xQlu2T/XyJv9A7rJbrg p8HVr5cUhQ8CPobDk1vGNFKLo1wW3solruSjchA4nTbzlGZXMJBopXOTe6fG93qITedyLRIP l4GnOu+IoMUOYn2nUdlbxgynYjHHVbRQcEYoiBlaVxRwg0F+3x/Q2svnkP9P1n1sTlDSLjux k5w11MtBIZlvC3h6Fo2OFfQ8S45kU1r3M7gnSjUajn6aqG5QYBRDSPw8Uk3KJLyBQhvPmjQ1 QRpMinJQ7VJgv5ub2du3UXVv5dVFP8aTetcZwcd3vqKT/ot2FVY7C6gwAUUgImNQYsnjwYsf ZO2+jhY3Bl/adcuOaHKDK9Az1wVi67X+yH1jqY+xwgRI0tL+2SXMn1t2gRAJvwtICym+fZp4 AqJlm5YeWQCYPEtp+pj6kI3P+noJ83I3LtKK0T3POuaffrxU43omsuBQ1d23UQNxREtFVle1 M4idw+ZWxlqwubJURsOMsXGJEdeaM8ArBDu IronPort-Data: A9a23:rHQTmq8SroPWNPdRkdldDrUDs3qTJUtcMsCJ2f8bNWPcYEJGY0x3z mVOXW6FafiKMzHwL9knboy0pEkPv5GDnN5gTlQ/r3pEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjPzOG/ylTraZZ0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNuspvlDs15K6v4WpA5ARkDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9FIs+liLvybnoRSbfUOwWU4lIOM0R1qkUqSoQai87XBdJEAatlo23hc+NZl L2hgaeNpTIBZcUgrgiyvy5wSEmSNYUekFPOzOPWXca7lyUqeFO0qxli4d1f0ST1NY+bDEkXn cH0JgzhYTjfldjvxonjZtVDg9UKb5Tne70mgH9JmGSx4fYOGfgvQo3P7N5cmTo834VAQK6Ya M0eZj5iKh/HZnWjOH9NUMN4zLru3CGvNWAAwL6WjfJfD2z7xQp9yrXsdtqTYtuSSN5eg26Xo 2vH+yLyBRRy2Nm3k2baqyL237aU9c/9cJIiCrC76+5TuVSs1E0QUgENdUmD+cDs3yZSXPoEd hVMpXtwxUQoz2SgR9z5Ghm5u2KspQ8ZQ9MWEusg6QjLxLC83uqCLm0NTzoEZdB/8cFrHXol0 ViGm96vDjtq2FGIdZ6D3uuGl2q0AnA5EUAHdAZHEAdC3eDZrqhm23ojUe1f/LiJYsoZ8AwcL hiPpSk6wrgf1IsFiv398lfAjDah4JPOS2bZBzk7vEr8tlkRiG2NPtzABb3nARBoctzxor6p4 iRspiRmxLpSZaxhbQTUKAn3IF1W2xp1GGaB2AYwTsdJG8WF9HmkcoRdqDB4LwEBD/vojQTBO ReJ0SsIvME7FCLzMcdfPdjtY+x0lvOIPYq+Bpjpgi9mOMQZmPmvpnw2PRb4MqGEuBRErJzTz r/CIJfxUChKUPo2pNd0Ls9EuYIWKukF7Tu7bfjGI96PiNJyvVbMEe9bYmidJPs09r2Fqwjz+ tNSfZnCgRZGXeG0JmGd/YcPJBpYZTI2FLLnmfxxL+SjGwtBHH1+Kvnzxbh6RZdpsZ4Incj1/ 1a8eHRi9nzBuVP9Jz6nUEtTMIHUYc4nrFYQHzAdAlKz6n1yPaet9Pg+crU0T5kG9cti7/h+c Ncdce7dAP4VEjXj0BYeZKnbs4ZNWkmKhwWPHiz9exk5XcdqaDLo8+/eXDnE1XcxHAvukuAh+ Zuy1Rj+Q6sTYyhHE+DoMOmOyXG1tlgjwNNCZVPCeIRvSR+94bpUJDzUpd5pBtMHNjHo5CaQj iSSCjcm/dj9mZc/qoT1tPrVvrWSMrVMG2RBFDPm9pewDy7R+1SjzaJmUOqleTP8Vnv+yJ69Z Nd6nu3ND/kaoGlk64ZMMa5n7aYb1evdo7V3ygdFHnKSS3+JDrhmAGeN3OgRl6lr64JahzCLW RO0yoEHAYmKBcLrK05OBQwHau/Y6+oYtAOP5tsIIWL7xhRNwpy5bWtoMSKhtglhPZpuEYZ8w e4eqM8csAO+rRwxM+e5tCNf9kXSD3lZU6wYqY0oP7b7rjUak3RpPJrWUH7w6r6yduQWY1ULI yCVtoXGlb9z1krPSFttNHnvjM52p4UChwBO93AGf2+2o9viguQl+TFg6hE1c1hl9QpG2OdNJ WRbDU15CqGQ9TNOhsIYfWSTNyxeJR+eoGrd9kAokTDHckyWSWD9Fm0xFuKT9kQ/8WgHXDx6/ qmd+Vn1QwTRY8D98Ssja3FL88W5Y4RKyTTDv8S7E+CuPZowO2Pli5DzQ1s4kULsBMdpiXDXo eVvwv1LVpT6EiwtuIw+NZiR0OUBaRKDJVEae8pbwoEyITj+dg2xiB+0EGLgXuNWJvfPz120N Nw2GOJLSCaF9XivqhI1OPcyBoFazdAV4OgMQLfJHVI9kqC+q2Npua3A9yKli24MRc5voPkHK YjQVmyjF2CMtERQgEvIitdOAUujQNw+fAan9vuEwOYIMJMise9XbkA51IWvjUiVKAdK+xG1v hvJQq3rk8hO+N9LpJT9NKduHCCmAIrDb/uJ+wWNrNh+V9PDHsPQvQczqFO8HQBpEZYOetZwh 5KfmcXW2R7bgbMITGzpoZmNOK1X78GUXuAMEMbWLmFfrBSSSv3X/BoP1GCpG6NnyOoHyJGce DK5T8+sefo+edRXniRVYhcDNSctMf38a6O4qB6tq/iJNAMm7jXGC9Ga7l7sU3BQc34ZGp/5C zKsgc2U2PJjkN1uCiMHVtZcOL0pEG+7DOFiP5f0uCKDB2alvkKat/Gw3VA84DXMET+fHNy8/ ZvBQQPkeQ+vvL3TiutUqJF2ogZdGUMVbTPcpa7B04UeZ/GG4G86wSA1NJwHDtRZnnW32sygI j7Ka2QmBGP2WjEsndAQJjj8dl/3OwDMEo6Ryv8VE4e8ZCK/BYfGC7xknsuly2kjYSPtlYlLN vlHkkAd/XGNLlVBSuMa5/j9iuBirh8fKrTk5mil+/HP790i7XnmGZCv8MehlcAKLi0VqHj2G A== IronPort-HdrOrdr: A9a23:le4TsaxtCXA/dpAeJng+KrPw871zdoMgy1knxilNoHtuA7alfq GV7Y8mPHrP4gr5N0tQ/exoVJPwJE80sKQFg7X5Xo3DYOCFghrPEGgK1+KLqAEIWReOldK1vp 0QCpSWZueAdWRSvILV5E2WH9483MKK6smT9IDj5kYoYwUvRa8I1WhE48WgfnGehjMqOXP0Lv ShDwN8xgadRQ== X-Talos-CUID: =?us-ascii?q?9a23=3AmaNeDGr4ajfxP6Vu53S4OIbmUZw3SCTb9y/8H2C?= =?us-ascii?q?9GE8qFbHSd2aq9ooxxg=3D=3D?= X-Talos-MUID: 9a23:+XxKFgudsO6OSbbwVc2nlAF8OcR1852XAX8fsJZcp9KkJxQoAmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.19,275,1754949600"; d="scan'208";a="247182113" X-MGA-submission: =?us-ascii?q?MDEDFMsSB3Qntwe7y7nw/XOk63DeHRJb4JPKSK?= =?us-ascii?q?huQ792Q/JErt2wT9Ha39xaBU1RzHaUFzHiaeF0QczoBTo5I9z6x7yqNV?= =?us-ascii?q?RrTpb0sTg9N3FPtUE5mY3vMKNslqA7aMtAcGasrHGTGH33uNHnxMd7Ft?= =?us-ascii?q?oz7Gya3l+KKOV5lAd6bmeTqw=3D=3D?= Received: from mail-ed1-f50.google.com ([209.85.208.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 03 Nov 2025 03:45:58 +0100 Received: by mail-ed1-f50.google.com with SMTP id 4fb4d7f45d1cf-640860f97b5so2471411a12.2 for ; Sun, 02 Nov 2025 18:45:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1762137958; x=1762742758; 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=dGh5Yh5f7blj2OhvWw0wXjs+LUiWYA75hmSFYL/C1j0=; b=YEao+7zQykfpqh6uUAiwzpWaHdYBdsc8llHwUWKgjsKjQb5Wwler7uqpxosIAvhTDc pomsKrowlJCRuzgUUQgSnh+8rY/B0rJgwRc5TPTSNKh6CxTW4PyBkWCkR5+zRMJLAacR bXOinRnFdaYuZ7Q4NYtp4hydEXt+VSwzFV9lc5c5shPtlYRRH2R8iB1T30OxY7SF33No 2IxScNwXTIZ3l8Njew91uGamfZZv06j2Gf5UgoEuUIj+2SYGwMsnmfpkLTESQTCKjPd0 B2pzF4QPgPrWJjlKHnfM4xSiL3P3wMuTK6t/HZ+ie97bwh7F0HUxWNVH/jzJ1WF+2cnx 9BQw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1762137958; x=1762742758; 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=dGh5Yh5f7blj2OhvWw0wXjs+LUiWYA75hmSFYL/C1j0=; b=KM7If3XEjJF4SASKcPdWNW5tC38Vkgnpww+ewdWlLlsMrQ1VE7IKzw/O2Eouxm+PDt nRhzgIBGDkOO/tDDP5ma5AZPKJzSPLukYHgH7Y0DHoa6JYDNTGz15o+AJsAcc7kZ3086 jKCF5QvfFqIT1M5r8KbimSJ2jnU2m8vWo2SABr6s7vAw7f4kC3YS4vGALINwJsrrso5T vwkxoZ8m3hkDjYNuoWza9eWcIDOf2ja5+dwczgnv3Kz6dy2tCVJuGmbyTTOANBBRU6+k k8Iqn2ZqIj8wprbImgIkHPHXpN8WrWSpheHlxYvozCKctRzPz9G+1XB/uGYBhoRGEPa7 M1/A== X-Gm-Message-State: AOJu0YwT4jv3X8MAq+ID1TvFBR7Bc25BMsN/xKsTqAdMF4T0tKxRKDqB oQrVPpUlF3jbRHtynBNGN8W3xwyFL1x5J4R8VuwAfFa6Q5XKDG5w8VN9Q2OfjTTbx5AumWYrtA8 OD3KAo4MfY57YaGl+q0cxp0g9osuTVbsFKwbg X-Gm-Gg: ASbGncvE6MqEHiSY/BTgDrvE3qGcuLbrI/Tcu+b3NG5A+hqc4N+GRc55kMIH2O7EhBC WESdCTKek0zRifVBQ5ZqflI8/1BKbskWz1ehxiwRIGkM+apd8cFh1hFH3zzPx/a8DkormHWCZxm WtiZ4DwgVFvgoOJXjt7X0XqI4rpaGwU4BtjtPi9MuRVKwHILJ9atHP+pGallHu2LxuAZq49UlTU suhnwTJks6UBydalLxIe79I8UTrmH62r7ytZNzH1bmOEOKWBt7e9OW/HrhOBFO0uzLucuGJfd1m sLcI4eM0nm32eEKEy8xasWRsriJt5A== X-Google-Smtp-Source: AGHT+IFsO3ZqB2ixjU7S1kruS1fmLw7aOYQjLdGYtBXzZ6h1D06CEnuD6ckwM3VC+aBngeCJSWN/BbGH68DqcxslQgM= X-Received: by 2002:a17:907:9484:b0:b40:da21:bf38 with SMTP id a640c23a62f3a-b70704b654cmr1096274266b.36.1762137958045; Sun, 02 Nov 2025 18:45:58 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Andrei Popescu Date: Mon, 3 Nov 2025 02:45:47 +0000 X-Gm-Features: AWmQ_bmv15dQXjiNl-xqXPLI5oOsjTwOUtcpOtVBgYXs50Tqyv1BWhfxplU_E5g 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] LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19398 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, The 2025 Computer Science Colloquium of the London Mathematical Society will take place on 9 December and will feature an excellent line-up of speakers. Registration is free but required in advance. Details are below. Location: De Morgan House, London, UK & online via Zoom Date: 9 December 2025 Time: 10:00 -- 16:00 Speakers: Julia B=C3=B6ttcher (LSE), Richard Mycroft (University of Birmingham), Namrata (University of Liverpool), Parinya Chalermsook (University of Sheffield) Registration page (including access to the Zoom link for remote attendance)= : https://www.lms.ac.uk/events/lms-computer-science-colloquium-2025 Best wishes, Andrei