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=iakUfr4i; 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=cinEpfvV; 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 7CB0E40022 for ; Wed, 26 Nov 2025 02:48:14 +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=TeM/G8Ha1CiAn2Hj7NmvFuswFHMSD17ny32la7mWfxY=; b=iakUfr4iYt4F0BVzOv87GgXSuwUquk5Md3HeTSWH0vHKo0TCh0dRLfT+ v8/S6V+7EDsMHy3r8FMuddJbwo5Tj35E4Uon9lDx+fSfZDy1Fqh3awSTo HFvrPukfkAJ8PS+fMXqZbtAXJrQqAqx+3juJZAwpkH+a7hvxGRIgqYHcx E=; X-CSE-ConnectionGUID: kaCiErNJTJCKx9Q7kVVTJA== X-CSE-MsgGUID: CyZc9Rx4RGOk788hi/55sA== 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.20,227,1758578400"; d="scan'208,217";a="251239355" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Nov 2025 03:48:14 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 21C3BE0AF1; Wed, 26 Nov 2025 03:48:14 +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 166BAE0157 for ; Wed, 26 Nov 2025 03:48:11 +0100 (CET) X-CSE-ConnectionGUID: PoGEUHpwQ1SekTsXwz7Efw== X-CSE-MsgGUID: aiBx86D+QYK/t5scbQB9MQ== IronPort-SDR: 69266a6a_e0azqSkVIsZ9yacsMNBvgg1GvJri39RMORatjpKtC00Usdn 1tL+ft9CPOHf2rKnaJMdkKv7uGHs/kALmWtSJPA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FwBAAOaiZpfCvaVdFCGA6CSwKBOwFaKIECXTQEC0EIh?= =?us-ascii?q?FVcR44wgiGXRoUCgWmBEQMYFicCDwEDAQ1KBwQBAQMEggyCdFEVi38CHgcBB?= =?us-ascii?q?DMGDgECBAEBAQEDAgMBAQEBAQEBAQENAQEFAQEBAgEBAgQGAQIQAQEiGQcOE?= =?us-ascii?q?imGTw1JARABgWqBQmECBQM7AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBBQINHxtcER0BGx4DEhAgEAcCIwERAQUBIxIUDoIIWYIiAQYQA?= =?us-ascii?q?QM2AxEGplSBBUKLPoEVBQIWgQGCDQaCFQXYRgoZKA1uA4FhAgEGFIE2hHYpT?= =?us-ascii?q?w6COR4BgV4CDoQAO4NDgSGBA4ElNGE1gkRvgQWBXAEBAYEWBAsRBAdLgy6Ca?= =?us-ascii?q?QSCInoUgQIWhGsUD4QkgyiEM4cUJggHFwMHBwkFBBwGBQUCPwkFAQ8SAwQDB?= =?us-ascii?q?AQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMEQooIhICKQoBAgEfC?= =?us-ascii?q?jEDFBkBAQcGAgIDAQQCBAwCAwEFAgIFBAMCCgQDAwQBAQgCAi0DAQMZCAkIA?= =?us-ascii?q?gsFERgMCwUCCigDDwEJAx8GEhgIAwMCAgIBBwICAQIBAQMDBwYQAQIBDwIDA?= =?us-ascii?q?wQDBAYDBQkBBwEBAQEBAhMDAgIFEQcCAQEgARUCBwEEAycZAgIGAgICAgMCA?= =?us-ascii?q?gMDAwECAQEDBQEDAgMCAQIBBgIDAwMFAwEOAgIDAQMBBgQEAgUBAgICDgEDA?= =?us-ascii?q?gIGAgcJCAIBExMCAgICAQICAQIHAQECAwIFBQgCAQEBAgIDAgsCAgECAQICA?= =?us-ascii?q?wIDAgYBCQQEBAECAQEHBAMIAQMkAwMEBQMCAgIHAgQDGAINBgEEAwUFAwoGA?= =?us-ascii?q?gIDDwMGBgcCBwQCBAICAg4CAgMHBAICAwEMBAcCAwICEgMBAQIPAgICDAEBB?= =?us-ascii?q?AICAgUCHgoECgIPAgEDAQEGAgQEAwoGAgYFAgIBBAMHAgECAQIIAwIHAwIDA?= =?us-ascii?q?gEPGAMCAwoCBgUJAgIDAwQCAgIJAQMGAQEBAQICAgMCAgUGDgQEBAESCiABA?= =?us-ascii?q?wUCBAcCAQMCAgEEAQEDAwIBAgECAwECAgQCAwMDAwMEBQMBAQMCAwUCAgMCA?= =?us-ascii?q?gICBAEBAwsBAgQDAQUBBwUDAQMFAwQEAwIEBQMLAgIEAgMDBgMDBgMCBQIHA?= =?us-ascii?q?gIBBQUCAQEBAQwJAgICBwMOAwICAgMEAQIDBAMFAgMEAQEBAQQFAgMDAgIBA?= =?us-ascii?q?wUCAgEBAgIEBAIDAwYCBAIPAgEFHREBAgYGAwIBAwUDAwMDAwIEAgICAgYHC?= =?us-ascii?q?wIKBAQCAQUDBQMDBQYDAQMEAwgDCgIEGAYFAgICAQIMEgMDCgQEAwIFAgYIA?= =?us-ascii?q?wIDAwQBAzkfFgQFAgUDAwMBOgMOBAMIBhgCAQECBgIBAwMIAgMBAwIHAxQGA?= =?us-ascii?q?QYIAgQECgIDAwcGBQcCESgEAgICAgQDBgMKCAcEAwEKAwMMAgIQAgMHBAIDE?= =?us-ascii?q?wYDAwQDDAYDAQISGAYBAwcDCAMCBwQCCAcNAgQCCQMFBQEVBAIEAwICAgIBM?= =?us-ascii?q?QMDAwMFBwIEAQQGAQMDAwcDAwIMAQICAgIFEAYDBQIFAwYCAQUNAwQDAgMFB?= =?us-ascii?q?QUJLRAFAwIHCw4FCAYDAwQDAwUDBAUGBgUDAwIDAwICAwICAgEUAwYCAgQFA?= =?us-ascii?q?gwSAwMEAQQCAQICAgI8AwQDAwMHAQ0aEAIEBgMFCgMFBgIGAQkiDwMLCQgTP?= =?us-ascii?q?QELBzIENgEGDhQHKyFflBIZUYJsZQgHCSAJJhckBg1CCTgMS5JLDxorD7MJB?= =?us-ascii?q?4QfgWSINIIGjhuEFIMkM4QEjROSDYdHmQYijHtrlTQwhUQRJBKBSCQ8bx4MB?= =?us-ascii?q?zMaI10GHoICAQEyEj0DGQ+OOCeDQoUTiiG3LUYyAjoCBwEKAQEDCYt9hW00g?= =?us-ascii?q?UsBAQ?= IronPort-PHdr: A9a23:9TxVuBSqxzmp37isQykArmBiYdpsoj+WAWYlg6HPa5pwe6iut67vI FbYra00ygOSBsODt7ke17GP7OigATVGvc3a9ihZMdRlbFwst4Y/p0QYGsmLCEn2frbBThcRO 4BvcmEg1FyAdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/2O+94YDcbBtVjzShf7xyM A+2rQLMvcUKnIduMKk8xxXHr3dSZ+hbymxkKUyckhvy+8u9/oNo/yBMt/487cJNXqv3cqoiQ bBEAjkqNn0+6dH2uxXEUQaA6XwQX3kMnBFVGQbF9hb6Xpnwsiv+qOVw3TSRMNP1Q74pRzms9 r9nRhDwhigILjI07m7ZhNFogK1UvByuqRp/w5XJYI6OL/pxYrndfdIBSmVfWMtaSjFMDZm9b 4sLCOoBIPpYoozgrFYAsReyGQ+hD/7oxTFVm3/2xrU63Po9HgHa0gIgGNcOv27VrNXzKaweV e+4wa3NwTjFcvhY2yry6JLQfx8uof+CU7F+f9fPx0YzDA7KlEmcpJb/Mj+JyugAsW6W5PdgW +K1jG4nrhl8rySpxsgxkInGmIMVwU3e+yV+2IY6O8a4R1JmYdW5F5ZfrSeaOJZsQsw8QmFko iY6xqceuZ68ZCgF1o8nyALCa/GcfIiI5wjsVOeVITtimH1lf7e/ig+0/EO9xeLyStO630xWr ipZjNbMrHYN2gTP58aIRPVw8Eas1SuB2Q7T9OxJJUE5m6XVJpMjwrA9l5sevVjHEyLqhUn7j bGbeEo59+ao7+nqYqnqqJ+dOoJ3jAz1L6ogmsu6AesiMwgOWXCW9v+g273450H5R69KjvIun qnWt5DaIssbpqqnDANPzokj7BO/AjG729obhXkKNExJdA6DgoTzOFzDIOr0Aemij1mvijtmy P7LM7v8CZvXNHfDiq3ufbNl5k5c1gUzyddf6opRCr4bIfLzXlb9u8LaDhMkKgC0zenqBdtn2 oMRXmKPBaCZMKfMvlOS+u0vJOyMaJcUuDb7Nfcl++bjgWEllVIZZ6Wk3psaZGqmEvh7IEiVe 3Xhj9kZHWcPpAU+TejqiFOYUT5UYna/R7gz5jcmB4K8E4jDR5qhgLyb0CejGZ1Wfn5JCkuQH nf1bIiEVPIMZziTIs9liDALSb+hS4o52RG0qAD606ZnLvbT+iAAqZ3szt115+nKmRE29Dx0F Nid3nqWT2B0m2MIXyU50Lp+oUx70FeD0LJ3j+ZWFdxJ//9JVBw1OobGz+NmE9DyRh7BftCRR Vq7WtmmDi8+TtUyzdEUe0tyFcisggjZ3yW0Hb8blKaFCYQx8q3G3njxI99xxGjE1KU8llUmT MRCOGO8iq5w8AjTAIHJk0GHmKqwaasc2yvN+H+ewmqNvUFYVRZ9X73KU38ReEXYscj06EXaQ 7CzDLQoKBFBxtKaJ6VSc9PnlVpISO/4ONTGbWK8g32+CAqVyL2RdIbqYH0d3CvFB0gEjQ8T+ XGGOBAmCCm4u2zQA28mKVW6aErp9ax6qWinZk4y1QCDKUN7k/K+8wIYivuGSv4I9rcYsWEqo nE8HF+m3N/SD/KArhFicaFYJ9Qn7xMP1WvCtAF5OtmrJq5vrl4XaAd6u0eo0A94Ts1Alsxvr XUkyyJ2KLmEyxVacC6C1p3+PafYJy/08QzrI6fd3gv2zcqS+7wT87Ilt1jztRrvG0Y/oFt91 NwA+n2Q/JjLRDIVSZ/qWVt/oxF8q6vXY289oZvTzXB3OrScvTrL2tZvD+wgnEXzN+xDOb+JQ VehW/YRANKjfbB787DIRhcNPeQIsbUxI9vjbfyNnqiiIOdnmjuiy2VB+oF0lEyWpGJnUuCd+ ZEDzrmD2xefES/mhQKotMztlIECZXcKGXKy0iP5LIFUb6x2O40MDDTmONW5k+13nIWlQHtE7 BimDlIC1tWufE+baVDn0AwW1QIPpmSqgiCl5zNxmjAt6KGY2X+G2PzsITwAPGMDX2x+lRHsL Iyz2sgdR1StZhM1mQGN4E/7w+1Wpv06ITWIB0hPeCfyIidpVa7YWqOqRclJ5dtotCxWVL75e lWGUvvnpBBc1Sr/HmxYzTR9djewu5y/kQYowGSaZG1+qnbUY6QSjV/W+cDcSPhN3zEHWDgwi D/ZAUK5NsWo+tPcnonKs+S3XWasHpNJdiyjwYSFvSq9rWpkZH/31/m1lsfqEE46lzf8z9RxX jjgoxP1Y42t3KO/cKpmckRuGF7g+p9iAIgt9+l4zJoU2HUcmtCU5S9dyTa1YYgdg/uuKiZWF ltpi5bP7QPo2VNuNCeMzoP9DDCGx9d5IsO9aSUQ0z486MZDDOGV6qZFlG17uAndz0qZbP5jk zMa0fZr5mQdhrRDsQwh1CicRLBUBU5AMDfnijyH6tm/qONcY2PlIt3SnAJu2MusCr2PuFQWU XD1YJojWy829sJnPUnHzVX874jlfJ/batdZ5Xj221/QyuNSLpw2jP8DgyFqbHn8sXMSwOk+l RVy3Ju+seBrMk1V9bmiSl5dPzzxPYYI/y31yLxZlYCQ1pyuGZNoHnMKWoHpRLSmCmBaufPiP geIWDoyzxXTUbPZERWS6QFm6WrIC52wPGy/K3wQzNEkTx6YbEBSmwEbWjwmk4VxTFj7gpy8N h0gtnZNvRbxsX4ugqpwOgP6U3vDqQvgcToyRJWFbVJX4gxE+0bJIJmb5+N3ETtf+87ppwiMJ 2qHIgVQWDtRCwrUWha5Z+nouYKTlorQTvCzJPbPf7iU/OlXVvPSgImqzpMj5TGHcMOGInhlC fQ/nEtFR3FwXcrDyFBtA2QakTzAa8mDqVKy4Cpy+4q29vjxVQOp5c2XDKNfKt5y0x+ziKaHc eWXgWwqTFQQnoNJ3nLOxLUFiRQbjS10ejjrEfIYsjbAV6nNsqBSBh8fLSh0MYEbisB0lhkIM sndhNTv07d+hfNgEFZJW2vqncSxbNALKWWwZxvXQVyGP7OcKXjX0tn6NOmiHKZIgrwe5HjS8 X6LVlXuNTOZm3z1WgCzZKtS2TqDMkUWuZnhIEkxTzG5EZS+LEX8aYE/jCVqk+Rr3TWTZDJaa X4kNBoSy9/YpSJA3qclQz0HvicjdLPU3X7etraQK45K46EyXGIpx6QDsS58k/wMvWlFXKAnw nKM6IQ18hf9yK/XjWM2NXgG4iBCgIbB1al7EYPe8JQIGXPN/RZXqH6VFwxPvdxuTNvmp6FXz NHL0qP1MjZLtdzOr4MaAIDPJcSLPWBEU1KhESPIDAYDUT+gNH3Oz01bnvaI83SJr5884pHyk ZsKQ7VfWRQ7DPQfQkhiGdUDJt9wUFZG2faDi9UU4HOlsBTLbMBTv5SCW/DLRPuzc3CWir5LY xZOyrT9bMwSOoD9x01+ewx6kYDNSC+yFZhGpixsaBNxoV0YqiAvCD1unRi8OkXxuyx2d7b8h BM9hwpgbP548T7t5w1yPV/WvG4ql0J3n9z5gDeXeTq3LaGqXIgQBTCn0ip5ep79XQtxahW/2 EJ+MzKRDbtXg6FtdCZrzhfboZZUEuN0QqhNYRtWzvaSLaZNsxwUumC8yElL6PGQQ4Nljxcve IWwomho3gtiaJs4J/WVKvYSiFdXga2Ks2mj0eV7k2p8bw4dtWiVfiAPokkBMLIrcjGp8uJb4 guHgzJfeWIIWpLCR9pl80o8P6KLyCeyi9ary2i0Pu2baq6b4i3OyZXOTVQ32UcF0UJC+Oouu S/MW0WRXkErirCWEkZQXfc= IronPort-Data: A9a23:T4ZOkaCLuIVSPhVW/xnnw5YqxClBgxIJ4kV8jS/XYbTApD133zIFm GUdCzrXOfnZYzbzc49ybIjlo0hQ6JKByd43OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG86yQ6jOfQG+eU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgWYc3l48sfrZ9Uo25qmq41v0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlkvF/w0gA8+Sib3ydEsHWNb6ZWBiXVILM0QKqkEqSh0ais7XBtJEAatko2nhc+RK9 Tl4ncfYpTHFkUH7sL91vxFwS0mSNEDdkVPNCSDXXce7lyUqf5ZwqhnH4Y5f0YAwo45K7W9yG fMwEDciQy2jn/2PmYm2SdV3ttsxc+TlI9ZK0p1g5Wmx4fcORJnCR+DH54Yd0mtrwM9JGvnaa owSbj8HgBboOUUefAdKTshnzKH03RETcBUAwL6RjaMx73LezUpxlqDqKNfOccGiSsBcn0Ler WXDl4j8KktHbYbEmGHZqBpAgMfGnAnrCNw+V4SJ1bl23UaYzFU5WTgvAA7TTf6R0RPnA40Od ST44BEGpqE38AmvT8LhdwappWaN+B8aQdtZVeMggDxh0YLR6gedQ2UGF3tPNIdgu8gxSjgnk FSOmrsFGACDrpWtTl2wy5eMsgrrAiUWEXQyej1bYAUatoyLTJ4Isv7Zcjp0/EeIYjDdHDjxx 3WHrnF7ielIy8EM0Kq/8BbMhDfESnn1ouwdt1S/soGNt1wRiGuZi2qAtwSzARFoctrxc7V5l CJY8/VyFchXZX13qMByfAn9NOr0vq7aYWO0ba9HEJ4m+DCgs3+ldsY43QyS0HxBa55eERewO BG7kVoIuPd7YiH2BYcpONnZI5pxncDd+SHNDKy8gixmOMUpLFfvEeAHTRL44l0BZ2B2yPFlY 8/FKJ/xZZvYYIw+pAeLqy4m+edD7kgDKan7HPgXFjz+ieLANk2GA6wIKkWPZe0f5aaJ6ledu dVGOsfAj10VXOTia2OFucQePHIbH0gdXJrWks1wcvLcAwxEHGp6NeTd74l8cKNYnoNUtNzyw FeDZmFixmDC2EL3cTexVig7aZfEf4pOknYgDCl9YXeqwycCZKis3oc+drw2X78ty8J7x9UpT fNfI8SkKdZMQwTh5D4yQ8TcrotjVRLzniOIHXOvTwYedq5aZT7i24HbbCq20wIRVAylttAbo Yyw8i/+Xrw9Hx9DCuTSY9KRl2KBh2AXwr9ObhGZM+ttd1XJ26k0Dj76kdscAdwGcDfHzRukj zemOw8S/7TxktVk4evypP62qqmyGLFDBWtcJW7Q6Ii2OQT8/maOxYxhUv6CTQvCVVHbqbmTW uFI887SaPE3vk5Gk45ZIYZZyagT49jOpbgD6i9GGH7NTUqgC5I+A32g8PRMiJZwxe5iiVPrY n6Mx9hUAqXWGcXHFFVKGhEpQN7e3t4pmx7Tz88PHmPE2AFN8oGqa35iZyu3tHQFLZ9eEp8U/ uM6ictHty29kkULN/iFvAB19kONDHoKbIs/vLpHAoWx0gsP4XNBaKz6FSXZzsyuadJNE09yO R6SpvPIqIp9z3r4UUgYNCbyz8sEor8R4jZYz0QnJWWZvvbgmdkJhAZw9xYzRSRrliR36fp5Y DVXBhckNJew8CdNr+kdenKnBCVqJgCTo271wHs3zFzpdVGiDDHxHTdsKNS23R4r9kxHdWJm5 5Ce8mHuVAjqcOzX3icfXU1EqeTpfedu9z/tydyWIMCYI6YUOTbVoLeiRW4tmSvVBckcgE7mp +4z2M1Sbab9FzAbooxlKo28+IkTdiu5Jz15cak8xJ8KIGDSQyHt+D6sL0vqRNhBCcaX+mCFC utvBPl1aTKA6Ai0oAs2O4swMp5vvftw5NM9arLhfmEHlL2ErwtWipHb9wmgpWpyQ9xRjtoPF YTBUw2zSkmB2H1ewT7LpuZ5J1viMMUlZRL97s+x4u4mB5IOi8AyUEAQg5+fnWSZDxtjxD2Q5 Dj8Xq7xy/dw7KhdhK7uL/lzPBq1ItbNS+i4ygC/nNBQZ9fpM82VlQcqhnT4HgZRZ509Zs9Wk OmTjdvJw0/1hrY6fGTHkZ2nFaMSx8GTXvJSA/3nPkthgiqOd8/90SQto1niB8Ryr+pcwc27S y+TSsi6L4cVUugA4kxlUXFVFhJFBpnnaqvlmziGkM2NLRogyi3CEsKs8C74TGNcdxJQAabEN C3Ph6+M6Oxb/aN2Pz1VN8E+VtU8aBXmVLA9ftL8iSiAAyP6yhmes7/ljlw75SuNFnCAF93g7 InYQgTlMi6/o7zM0MoTprkaUsf715qhqbJYkoMhF99KZ/SSCWcHKaEQM8xDBM0P1CP10578a XfGa25K5eARm9hbWU2U3Tghdl736i8y1hPRKTkg/kfSYCCzbG9FKKU07T9uuh+aZRO6pNxK6 rgiFrnYMR24w5UvTuEWjhB+bSGL2duCrk81FYvBfwAezvrQ7XjmFJCsIeaVaRH6Lg== IronPort-HdrOrdr: A9a23:0xR/vKEcfCA6LKnZpLqExceALOsnbusQ8zAXPiFKOGVom6mj/f xG885rtyMc5AxhO03I+urhBEDjewK5yXcd2+B4VotKNzOW31dAQrsSi7fK8nnPH2nQ+uZByb xtacFFebjNJGk/o8K/zgfQKbkdKRq8nJxAR92y856gd29XgmhbjjtENg== X-Talos-CUID: 9a23:+dooBGGqdCyJr/pYqmJf82E5J+A9bUSE93rTH1SIFnQ2ZbOKHAo= X-Talos-MUID: =?us-ascii?q?9a23=3A/YlseAwC1QjtfOmkdyyED0GjbJWaqK2vIlBdz7l?= =?us-ascii?q?FgvincjAtIDyXtR7mZ7Zyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.20,227,1758578400"; d="scan'208,217";a="251239342" X-MGA-submission: =?us-ascii?q?MDFt9mAH+H02K/Pr5Q0YINatzHgrxVmWQYuZTy?= =?us-ascii?q?OE1xMufLM8zCTIlRczqdI+G8JQNDMXkln4J/rJ7WEy/NFhNqqNylFb9g?= =?us-ascii?q?0cacyla4Y4DNYL5daAGFGsDorpBDIkOyvX3p9YiSun46l3AKh8VeXPLi?= =?us-ascii?q?EOS9QJBPWNpObj9aIkyy3A1Q=3D=3D?= Received: from mail-ej1-f43.google.com ([209.85.218.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Nov 2025 03:48:10 +0100 Received: by mail-ej1-f43.google.com with SMTP id a640c23a62f3a-b736cd741c1so1089364566b.0 for ; Tue, 25 Nov 2025 18:48:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1764125290; x=1764730090; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=TeM/G8Ha1CiAn2Hj7NmvFuswFHMSD17ny32la7mWfxY=; b=cinEpfvVv9C4gdrH9v1v74x7TKU8WPlgZw1FhtSa4f3d6Rs3t28hjWgNuOqUBIUyym Swxyy30SjDpBgSqLNh8YgDpCpcuzKohHUetKnRQHCLHBNdaQ4UYR/5HNpBxsakItdOHm abPX0P1sc8s/yOxQdesCm3dNyNKl7GYaKh3BQaxeVrf+ORzxaL63Ghbnjuy/GtzbagZw mqBwhw1igHZxHN9HdP42GlmPjreG/M1cLeOVAz6dkA1Rqnoik+gnxTECjsks8SRY1hYN UOXHwVGBEmqo1uoZRi6mBeaWjOYgCjewziliUNsJoj4u0i/xXy3PQNryUcETDjJEEGlp FRJw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1764125290; x=1764730090; h=to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=TeM/G8Ha1CiAn2Hj7NmvFuswFHMSD17ny32la7mWfxY=; b=QX2Q+KRgNIfz24oJquKvM+kVENVDzkjTBkayr6IfJ67XwEEzUpZYHiyHrV37AkQvZq y9PDz+Shex/AsSTHcimyclhRedzVEeLyP/nEkOdPFIU3AoSH8oxzUno3ILyO15r4vSmZ EcPyqkB0bPWNZ0ekTFD6XePTqXgYPvNc3282LyzcEAhvtGh18PjZmH1cPAdK8ub9hugg jaEF4fLZ14HZlIbwvRMxsBrkKY8PkuCUl+vSZTpFMNIj5AWPTnUoA9pFjQHzIYa1+u86 MUQ6dUY78PBvVGcVqv2lPrr3St/j/KWUY69YiZocO5//cmWG+pYN9CWGeZkRifJRI3j3 /JeA== X-Gm-Message-State: AOJu0Yx93fSr0FEt8/TUvjYa73wrD+e/Kmy1Jr/X3c1f8GSmEv9fVHxt SkEpvsfuUq7APaMQWYIh+9RrAYegzuZ1tRDWpnXbiSpyVotOMvUgvwd8Jr1O4nfx9EADBVj2n0A qQB/j+MZWVywB21d9JzDyX+n2lnYGD9v9gk5j X-Gm-Gg: ASbGncvIVCnvqKKBBCv08V/SVX+kHQBzhSb+/nM8LQVcsT+A+8tKCY2RoaF+mUdbZhz FQHJekOuVVX3nvs8C/poj9c955FEgGxIX4qlyg+WcPoz80wMRc2Hbgwx8TAyu0riNQIhPgBG1vn 1SzYx6n3Ifkub7F/c2Zb31tbABvU0AsViXYQsbPygkXpLR/Orli5dfOSloNr60SJfIyXqVm0b5U yGqZXTG6qyFhhfxETDxxylKoEWBmih5JpUvD+nMC9tRig6suokLGqLqnpZGV56p20uMW0ye X-Google-Smtp-Source: AGHT+IEuzaGM5jRnPkjybwMJiyDQmwjRI3Um8Dgff3XcHpXCxiKy5KGSyA7eewfaBOHEOmCRMd6w79NILnif0okwtoI= X-Received: by 2002:a17:907:72c9:b0:b49:5103:c0b4 with SMTP id a640c23a62f3a-b767183d242mr1898300166b.56.1764125289318; Tue, 25 Nov 2025 18:48:09 -0800 (PST) MIME-Version: 1.0 From: Andrei Popescu Date: Wed, 26 Nov 2025 02:47:58 +0000 X-Gm-Features: AWmQ_bk8HRjNDozijb-d1z0zKS25Ds8878dd4fQ3Dl3k5s3kSmKS0rdCwUZ8aWQ 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: multipart/alternative; boundary="000000000000358b7c0644766d03" Subject: [Caml-list] Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19405 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: --000000000000358b7c0644766d03 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear Colleagues, Please see below details about the event, which will be preceded by the BCS-FACS Annual General Meeting. The event can be attended either online or in person. Best wishes, Andrei https://www.bcs.org/events-calendar/2025/december/hybrid-facs-agm-and-peter= -landin-semantics-seminar/ (free registration online) Hybrid event: *BCS-FACS AGM & Peter Landin Semantics Seminar* *Formal Methods: Whence and Whither* BCS London office (near Moorgate underground station) and on Zoom, 4 December 2025 Speaker: *J **onathan Bowen * (Chair of FACS)Agenda 3:30pm - Networking for attendees (refreshments and biscuits) *4:00pm* - 5:00pm *FACS AGM* (optional!) 5:15pm - Networking for physical/online attendees. Includes refreshments and biscuits for those in person. *6:00pm* - *Peter **Landin Semantics Seminar Talk* 7:00pm - Questions and answers 7:15pm - Networking for physical attendees (light refreshments) 8:00pm - Event ends for online attendees *8:30pm* - Event ends for in-person attendees Synopsis Alan Turing arguably wrote the first paper on formal methods over 75 years ago. Since then, there have been claims and counterclaims about formal methods. Tool development has been slow but aided by Moore=E2=80=99s Law, w= ith the increasing power of computers. Although formal methods are not widespread in practical usage at a heavyweight level, their influence has crept into software engineering practice to the extent that they are no longer necessarily called formal methods in their use. In addition, in areas where safety and security are important, with the increasing use of computers in such applications, formal methods are a viable way to improve the reliability of such software-based systems. Their use in hardware, where a mistake can be very costly, is also important. This talk explores the journey of formal methods to the present day and speculates on future directions, including the use of Artificial Intelligence. About the speaker *Jonathan Bowen*, FBCS FRSA, is Chairman of Museophile Limited (founded in 2002), an Emeritus Professor at London South Bank University, where he was Professor of Computing, establishing and heading the Centre for Applied Formal Methods from 2000. From 2017, he has been an Adjunct Professor at Southwest University, Chongqing, China. Between 2013=E2=80=9315, he was Pro= fessor of Computer Science at Birmingham City University. During 2006=E2=80=9307, = he was a visiting academic at University College London. Between 2007=E2=80=9309, he= was a Visiting Professor at King's College, London, and during 2008=E2=80=9309, h= e was an Associate at Praxis High Integrity Systems (now Altran). From 2010, he was a Visiting Professor at the University of Westminster. During 2010, he was a Visiting Professor at Waikato University in New Zealand, and in 2012, he was a Visiting Professor at the Pratt Institute in New York. He is the current Chair of the BCS-FACS Specialist Group. ------------------------ Our events are for adults aged 16 years and over. BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You=E2=80=99ll be very welcome. You=E2=80=99ll receive access = to many exclusive career development tools, an introduction to a thriving professional community and also help us Make IT Good For Society. Join BCS today Please note: if you have any accessibility needs, please let us know via groups@bcs.uk and we=E2=80=99ll work with you to make suitable arrangements= . If you are attending in person, please familiarise yourself with the Visito= r Instructions = for the BCS London Office. For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters. Photo by Markus Spiske This event is brought to you by: FACS (Formal Aspects of Computing Science) group --000000000000358b7c0644766d03 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Colleagues,=C2=A0

Please see below= details about the event, which will be preceded by the BCS-FACS Annual Gen= eral Meeting. The event can be attended either online or in person.

Best wishes,=C2=A0
Andrei=C2=A0


(free registration online)

Hybrid event:=C2=A0

BCS-FACS AGM &=C2= =A0Peter=C2=A0Landin Semantics Seminar=
Formal Methods: Whence and Whi= ther
BCS London office=C2=A0(near Moorgate underground station)=C2=A0an= d on Zoom,=C2=A04 December 2025

Speaker:=C2=A0Jonathan Bowen=C2=A0(Chair of FACS)

Agenda

3:30pm = - Networking for attendees (refreshments and biscuits)
4:00pm=C2=A0- 5:00pm=C2=A0FACS AGM=C2=A0(optional!= )
5:15pm - Networking for physica= l/online attendees. Includes refreshments and biscuits for those in person.=
6:00pm=C2=A0-=C2=A0Peter=C2=A0Landin Semantics Seminar Talk
7:00pm - Questions and answers
7:1= 5pm -=C2=A0Networking for physical attendees (light refreshments)
8:00pm -=C2=A0Event ends for online attendees8:30pm=C2=A0- Eve= nt ends for in-person attendees

Synopsis

Alan Turing arguably wrote the first= paper on formal methods over 75 years ago.=C2=A0Since then, there have b= een claims and counterclaims about formal methods. Tool development has bee= n slow but aided by Moore=E2=80=99s Law, with the increasing power of compu= ters. Although formal methods are not widespread in practical usage at a he= avyweight level, their influence has crept into software engineering practi= ce to the extent that they are no longer necessarily called formal methods = in their use. In addition, in areas where safety and security are important= , with the increasing use of computers in such applications, formal methods= are a viable way to improve the reliability of such software-based systems= . Their use in hardware, where a mistake can be very costly, is also import= ant. This talk explores the journey of formal methods to the present day an= d speculates on future directions, including the use of Artificial Intellig= ence.

About the speaker=

Jonathan Bowen, FBCS FRSA, is Chairman of Muse= ophile Limited (founded in 2002), an Emeritus Professor at London South Ban= k University, where he was Professor of Computing, establishing and heading= the Centre for Applied Formal Methods from 2000. From 2017, he has been an= Adjunct Professor at Southwest University, Chongqing, China.=C2=A0Betwee= n 2013=E2=80=9315, he was Professor of Computer Science at Birmingham City = University. During 2006=E2=80=9307, he was a visiting academic at Universit= y College London.=C2=A0Between 2007=E2=80=9309, he was a Visiting Profess= or at King's College, London, and during 2008=E2=80=9309, he was an Ass= ociate at Praxis High Integrity Systems (now Altran). From 2010, he was a V= isiting Professor at the University of Westminster.=C2=A0During 2010, he = was a Visiting Professor at Waikato University in New Zealand, and in 2012,= he was a Visiting Professor at the Pratt Institute in New York.=C2=A0He is the = current Chair of the BCS-FACS Specialist Group.

------------= ------------

Our events are for adults= aged 16 years and over.

BCS is a membership = organisation. If you enjoy this event, please consider joining BCS. You=E2= =80=99ll be very welcome. You=E2=80=99ll receive access to many exclusive c= areer development tools, an introduction to a thriving professional communi= ty and also help us Make IT Good For Society.=C2=A0Join BCS today

Please note:=C2= =A0if you have any accessibility needs, please let us know via=C2=A0groups@bcs.uk=C2=A0and we=E2=80=99ll work with yo= u to make suitable arrangements.

If you are a= ttending in person, please familiarise yourself with the=C2=A0Visitor Instructions=C2=A0for the BCS London = Office.

For overseas delegates who wish to at= tend the event, please note that BCS does not issue invitation letters. Pho= to by Markus Spiske

This event is brought to y= ou by:=C2=A0FACS (Formal As= pects of Computing Science) group


--000000000000358b7c0644766d03--