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=jpxeDM2p; 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]) by plum.tunbury.org (Postfix) with ESMTP id B95B0400A5 for ; Fri, 25 Sep 2026 23:07:23 +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=/WqojilIetl9ePG8AGpF/Ua4+H5dM9SaOzDuBd/spsM=; b=jpxeDM2pTO39bHD0XC45caNfI7YKcN0lKuUqjhnW90M2olYp9H3lJVih tOL+nzS1clN6bJBeQLV3LHFdz+1WnBQ5jG04XCt2VommKIfB/kpkXy+WR MnUt2DNxUZVKOSsLDFSYHR3PPC6aMqii3ylEVevfIknI0rbxV4hKIEpMC g=; X-CSE-ConnectionGUID: TjXmbLpvTgm0o/cQFug+DA== X-CSE-MsgGUID: NVYct5d0TTKbhEiFU6x5PQ== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; 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 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@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.27,123,1787004000"; d="scan'208";a="297016750" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Sep 2026 01:07:23 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 150A4818E7; Sat, 26 Sep 2026 01:07:23 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id B583780622 for ; Sat, 26 Sep 2026 01:07:10 +0200 (CEST) X-CSE-ConnectionGUID: OHWC8THZQcmbEeUtzRu/Mg== X-CSE-MsgGUID: vyhUmjaqSrWOp6ttD0uALw== IronPort-SDR: 6ab6fe9d_yKNmDCBu72sZst1z+cXTZajbxXUKTKukiXVO5yGJV0LjNFD tn9AbliqeGOniR2UgKzTny1ziTlgsHI2MokvqdQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0ERBgCK/bZqgarlfUpUBg6EYylaMWA0BAtJhFiDT4wDg?= =?us-ascii?q?iGBFoETmh+BaYErFgUiAg8BAwENPRQEAQEBAgEDhH6ODAIeBwEENBMBAgQDA?= =?us-ascii?q?gMBAQEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQEiGQcOO4ZPDYwTF?= =?us-ascii?q?yRxYQIFAwkBAQEBAQEBAQEnAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEFAggkFSpJHQEbHgMSEAkGAh8HAiMBEQEFASOCPFgBgiIBB?= =?us-ascii?q?hABAzcDEbZ2i3KBFQUCFoEBgg0GgQo+BdkeChkoDXIDgWgCBxaBCS6EeSpPD?= =?us-ascii?q?oJAHwGBcYQIO4NHeieBA4ElgRU1gj4FcYEFgVwBgScVFSWDRoJqBIIigQyBW?= =?us-ascii?q?gGIOYpgJggBBhcDBwcJBQQcBgUFAj8JBgUKEgMEAwQEAQILEwkDAwIOAggDA?= =?us-ascii?q?ggGGQE/EgQTCg0LBwUfCgIMFAooIhICKQoBAgEfCiwDFBkBAQcGAgIDAQQCB?= =?us-ascii?q?AwCCQICBQQDAgoEAwMEAQEIAgItAwEDGQgJCAILBREYDAsFAgonAw8BCQMfF?= =?us-ascii?q?xYIETQIBhYBGgYFBgs3FQUMEQECGwIfBB0RCAMBFAICAgEJAwQWBAIUCh8CA?= =?us-ascii?q?wMGAwoJAgUDGxgEAQICAwIBAggDBwgDDQMEAgMDAwQBAgIBAQECAwEDAwQDA?= =?us-ascii?q?QYCAQMHAgIDAwMLAQIDAwUDAwUFAgIFBQMFAgIKAgMDAwIBAwIaCAMGAxIBE?= =?us-ascii?q?AMDBgEDBwMHAgQDCQIIAwMICAMXAwMFAQICBAMDCAgEAwMEAgIDDAUDAgMDB?= =?us-ascii?q?QMDBwIEAgQDAwEFAQIHAgMHAgEYAwIECAcHBQILBAIIBA0JBAIEAgIPBAYDA?= =?us-ascii?q?wcBAQIBBwUGAwICEAEICgUGAgICHAMeAw0GAQkFAgEFDgcFAgIYAwYCAwYFA?= =?us-ascii?q?QMBCgsBAQMKAQIEAgUDAwEDAgMCBgMDAgUFBQMJBwUOCQEDAwYFAgIDAgMBA?= =?us-ascii?q?ggEBgUDAgIDBQEDAwQDCgMCCAMDCAMMAhoCBQMDAwYJAwcHAgMHAwIFAgcFA?= =?us-ascii?q?wMFAwYBAwIBAwMICxUfAwMBBQMDAgEDAgUDAxgCAgQFAwMDAwMIBAICAQcGB?= =?us-ascii?q?AICAgEFBQUEBQYCBAMIAQEFAwMKDQECBwwDDAYDBwMDBAQDAgUKAgQBBw0HC?= =?us-ascii?q?QcDAgMIAQELBAEDAwoDAwUCAQEHBQMGAwcCAwMDBQQFAwILAwcCAgMDAwIpA?= =?us-ascii?q?QEBAwMDAwMEAwEDAQMDBwMFAwIQBwEBCgMCBgMHBgMFAwMCAQIDAwURAwYEB?= =?us-ascii?q?QYXAgYROgEIAgMDARQEBAUCBRUCCAEDBQMDAwMCBQMBBQEBAwMFAwMDAwMDB?= =?us-ascii?q?AEDBAIDBwYIAQEBAggDAwIFAwMDBAMDAgENBAIFAwYCAgQCBAEHAwECAgMDA?= =?us-ascii?q?wMBAgQEAgcEBQIMAwQCAwMFAgMCAwsGAg4EAgMDAwMDEAECCwYDFAUJBAYHB?= =?us-ascii?q?QMPBQEFBwcJAQMIBQMGAwsDCAkIEz0BCwcyBDYBBg8UBSkhX5AfGR6Bc4FJD?= =?us-ascii?q?QkcGRiBEA1BJnONEIVvszsHhCGBZoo8jhwYhyAzhASBV4s9hwOSVIgEkQQjg?= =?us-ascii?q?jahE4VGESQSgUkjgVwzGiMvUoI2CUcDGQ+OOSeDRId5hzu8ZkYyPQEBBwIHD?= =?us-ascii?q?gMLgWiQNGthAQE?= IronPort-PHdr: A9a23:jUXSthT6zHHEvuH1so5/WFor4dpsohKWAWYlg6HPa5pwe6iut67vI FbYra00ygOSA8ODsbka1bCM+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHROOjNwjQAcWuURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi7owTcutMKjYd8Jao8yxrErmVWd+9L2W5mOFWfkgrz6cu34JNt6Tlbteg7985HX6X6fqA4Q qJdAT87LW0759DluAfaQweX6XUSSmoZngNWDgbK8R/2Rpj+vDf0uep7wymaINb5TasoVjS47 qdkUwHnhSEaPDMk6m7Xi8hwjKVGoBK9ohF03oDZbJ2JOPd4Y6jQe84RS2hcUcZLTyFODYOyY YUMAeQcI+hXs4bzqkASrRunHwSgGP/jxiNKi3LwwKY00/4hEQbD3AE4A98OtmnbrM/rO6cTT Ou71q7IzS3dYPNNxTj99ZXDfxc7rvGKQL1wa9TeyUg1GwPFlFmQsYvlPyuL2eQWr2eb8vFtV e2qi2E9qgFxpiKjydsrionMn48YzE3P+iplzogvP9K4VFJ7bsC+EJtWryyXOZV6T98tTmx0p Cs21r4LtJ+1ciQU1JgqyADSZvKDfoWG4h/uSOicLDhkiH9ndryyiRi//Eekx+HiVse50VJHo yxYmdfCsXAN0gbc6smBSvZl+keh3C2P2xrJ5e5YO0w0iKnbJpg8ybAzjpoeqUbOEyDslEnrk qObdl8o9va25+njeLnqu52RO5NyhwrjKKohgNa/Dv49MgUWX2iU5+C81Lr78E38WrpKj/k2n rDEv5DeO8gXv6C5DgBL3oo55Ba/CDCm0NscnXYZNl5KZBWHj43xN1HPJvD3E+u/jkyunTpk3 fzKI6PtD5XXInTdjrvseaxx51NexQYv1dxf4ohbCrAFIPL9QE/xs9nYAwcjPAyy3unnEsty1 oIEVWKPGKOZKKTSsUeW6eI0P+aMeZQYuDn4K/c/5v7uiWU1lkMafamsxZcXcmy3Hux6I0WFZ nrhmssOHn0Pvgo6VeDqjFyCUSVPZ3upRKI95jQ7CJq8AovZR4CthqaB3CahEZFMaGBGEEiAE XHzeIqcQfcDdDqSItN9kjwDTbWtVpct1R6wuw/9yLRpNPLZ9SMFu577zth6+fPTmxIo+zFsC sSSyWCNT2VtkmwVQz86wrlzoUJyx1udy6R4jPtYFdtc5/NNTAg2L4LTz+t/C9zqRw3BfdaJS FO+T9u+Dj8+QMw/zcMSbkh7A9mtkxXD0DCwA7AJj7GFHIU6/LrT0XTpPMZ903jG2bE7gVQ6X 8VBKHWqhrVn9wjdH4HJk1uWl6KtdakExCDD7X+Nw2Xd9H1fBQB3VI3ORjYZd1aQoNjkogveX qejEvEuNA1G1MiJJ4NOa8b1lhNdSf74fsnGbmS33Wq8GFLAxrqXb4fufyAW1SvQIEgNiAMe+ XLAMhIxQm+hqnndAThqPVLmeEDh9e04r2m0Cgc/xgSOKklgzKad+xgPhPXaRelA8KgDvXIIr TluEVf159XOBsGLukI1daNQe948plcBzWXBuhd2I7SvKqljghgVdAEh7BCm7Al+FogVyZtil 3gt1gcnccpwsXtEfjKchtXrP6HPb3L15FapYrLX3VfX1JCX/L0O4bI2sQarpxmnQ2wl9Xgvy NxJyz2E/JyfBQweS5/wFEZx7x9iqqrRfwEy4orV0TtnNqzn+iTa1YcRDfA+gg2lY88ZNaqFE AHoFMhPDs6iMuEr3VjvdhUcMftZ6YY7Osqnc72N36v4dP14kmeAimJKqJt4zlrK9yd4TbvQ2 I0ZxviDwgadfzL1jVPkvsSt3I4YP3cdGW2wzSWiD4lUDkFrVaAMD2rmY8i+x9ElwoXoR2Yd7 1m7QVUPxM6ufxOWKV37xwxZk0oN8zShnmOjwjp4nitMzOLX1THSw+nkaBsMO3JaDGhkg1D2J IGojtccFEG2ZgktnRGh6A703a9e7Kh4KmDSRw9PcU2UZylrVKequ7vEY4hX74slqi5KeOu5a FGeDLX6plpS0i/uGXdf2CFubyuj6fCb11RxjGOQKmo2rWKMJp02nE2CooaGFLgIgWJVIUsww SPaDVW9IdSzqNCdlpOY9/u7S3rkTZpLNy/i0YKHsiK/o2xsGxy22f6pybiFWUA31zH2095yW GDGthH5N8Pi0aigPOMhfg9wA0fx8MFnMo57m4o0wpoX3DJJ4/fdtWpCimr1PdhBjOj3anYXS D9Nw5jN5xDow0Z+Bn2MzoP9EH6ax4EyArvyKnNT0SU74cdQDa6S57ERhip5rG2zqgfJaOR8l DMQoRc3wEYTmPpB+A8kzyHGR6sXAVEdJiv00RKB89G5qqxTImepa7m5kkRkz5itC7SLowcUX 3icGN9qFCl89Mh+dlKKyHrr55rvZfHfaNsSsluflBKIg+VOKZ03n+YHnmI4ZSSk5yBjkbRqy 0Uxhdmzp+3lYy118bi8AwJEOzG9fM4V9jz3zO5fksuQw4GzD8BkEzQPUoHvSKHNcnpavvDmO gCSVTwk/yjHX+OFQEnFshYg9i2XQPXJfzmNKXIUzMtvXkyYLU1b20UPWSki24U+DkaszdDgd 0Fw4nYQ4ET5o11C0LENVVG3X2HBqQOvcjpxRoKYKU8c5wdO/UrUd8zY9uVrEjpT47WuqQWML iqQYAECXgRrEgSUQkvuOLWj/4yK+u6UHOe/afuIebKWpPdVSt+HwJuu1s1t+DPGZaDtdjFyS vY83ERER3VwHc/Uzi4ORyIgnCXId8eHpR24934/voWl/f/sQg6q+ZqXBu4YL4B04x7vy/TmV abYlGNjJD1fzJ9J2XLY1O1VwgsJky83Pzi1TeZf6WiUFv+WwukPSEdFIyJraJkSt/N6jlQLY JSLzIuyj+Ed7LZ9Ck8bBwa5wpj7OZxUezPhZA2bVhTMaerOJCWVkZurOf/uF+0I1LcI50Ps6 2TcThGGXHzLliG3BUrxab4egnGRZE4C6N/hIEQqVDarTcq4OEfraIcl1jNuk+Fk2C+YZylBb 10eOwtMtuPCtyoA2qcmRzEZvCY1c7XWyWHEsaHZMshE6/AzDHZ6nb8CsihqlecHvmYZGrRjk S/W5LaCunmAle+CgnpiWRtK8XNQgZ6T+F5lIePf/4VBXnDN+FQM63+RAlIEvYktDNqnoK1Wx tXV8cC7YD5f79LZ+9cdDMnIOYqGNnQmKx/gBD/TCkMMUzeqMWjVg0EVnuuV8zWZqZ0zq56kn 5RrKPcTTFsuCvYTEVhoBvQHKZZzGz8gy/uV0JRO6n25ox3cAs5du9GPV/6fB+nuNCfMjbRAY Ehto/uwJoASO4vnnk16PwYm2t2QRgyKB4EL+3I5PWpW6A1X/XNzT3M+wRfgYwKpuzoIEOKs2 wUxkk14aPgs8zHl5xE2IEDLrW0+ihpU+52tjDaPfTr2NKr1U5tRDn++vk49KJ76BQYzdQqqk FdvKR/LQrtQi/1rcmUh22q+8dNfXOVRS6FJekpa3faMe/AhykhRsA2izE5DoOfBU95syFFsf pmroHZNnQlkaZRmQM6YbLoMxV9WiKWUuyau3e1k2w4SKXEG92aKcTIJskgFXlHHDy+h/+gp5 QjY3jUfIi4DUP0lpv8s/UQ4abzoJ8fI3LtKK0T3POuaffvxU4fomsuBQ1d23UQNxRAtwA== IronPort-Data: A9a23:MIHI5q+20bwFgjQVzs3uDrUDBHqTJUtcMsCJ2f8bNWPcYEJGY0x3n zYXDzjTO//cZGDyKtp3PdvgoEpXupXXytViTAo9qXgxFiIbosfsO4ilIxarNUt+DOWTFRM9t 512hvrodZ1vECeE/n9BFpC78BGQAInRHuKU5NbsY343HUk4Dnx503qPosZh6qZwm9+1HgiRj t37pszbKTeN1iV9Wo4uw/vrRChH4rKo51v0gnRkPaoV5A6EyiFPZH4iDfjZw0XQEtE88tGSH L6rIIGRpgvx4xorA9W5pbf3GmViaqLSJwWHlk1NUKGkhBVYzgRqukrsHKd0he9/0l1lrvgpo Dl/ncXYpTQBZ8UgrN8gvyxwT0mSC4UWoe6deSDXXfu7lCUqe1O0qxln4dpf0Ycwoo6bCkkXn RAUxaxkgrluSItazZriItSAiPjPI+HMHLw06k1A/wjSCPwLTK3fUZ/XovpXiWJYasBmRZ4yZ uIcYDtrKRjEOVhBZg1RB5U5k+OlwHL4dlW0qnrK+exuuTWVllYgluGyaLI5efTSLSlRtk+eq njL/iL5RAkdLNGEwiet/Xelh+uJliT+MG4XPOTlpqYx0A3JnAT/DjUIRFuGpPuwk3WkZPVHd VAI1nIzhIwtoRnDot7VBEDh+CHV4HbwQeF4GOQ/7ESJy7HIyx2IA3ANCD9Hct0v8sEsLQHGz XeMltLtQDBr6vibFSjb+bCToje/fyMSKAfueBPoUyMiw+bI8L0TvCvES9xOHZOpnOfoXhT/l mXiQDcFu1kFsSIcO0yGEb3vhjutot3FSlRw6FmNGG2i6Qx9aciuYInABbnnARRoctfxorqp5 Slsdy2iAAYmU8zleMulHbxlIV1Rz6zZWAAweHY2d3Xby9hSx5JTVdsNuWkhdRkB3jcsdjjub 0ve8QJX79k7AUZGmZRfOtrrY+xzlfaIPY28Cpj8MIASCrAvL1Tv1H81OiatM5XFyhlEfVcXY s/DKZ7E4LdzIfgP8QdasM9EgeN2l35vmziPLX05pjz+uYejiLeuYe9tGDOzgioRtctoeS2Mq 4gBZfiZgQ5SSvP/aSTx+IseZwJCZ3siCJy874QdeuefK0A0UCssGt3A84MHIoZFpqVykvuX3 3efXkQD9kHzq0eaIiq3a1diSojVY7BBkVwBMxcBA3OUylk4QIP27K4gZ5o9JrYm0+p4zM9Ld foOeuTeI/EWSj345CgvQobsiLNTLDGq2ASEZXujahcCYq86FhDo+8DlTCTr5iIhHiq6jupgg ryChyfwY4sPeBRmN+nSMMmQ9lKWuWMMvt5yU2/jAMhhSG+1/KdEcyXO3+IKeecSIhD99x6m/ gexAyZAg9LSooUwoeL7tYrdo6iHS+JBT1dnRU/F5rOLNA7fzGqp4alEdM2qJTn9dmfFyJ+OV NVv7cPXEaM4xQ5Rko9GDbxU47o05ILvq59k3w1UJij3QGrxOIxwAEut/JdpjbJM9I97qAHte 0Oo+/tmA5urFv7hMmYsIFsCUrze+9ASwiLf/NYkEnXcvSVXxoeKYW9WHhuLiRFeEodLDZMY8 b8hlfMSuiOCiUsME9eZjypr2XyGAV4eXo4G6JwLIo/ZpTA661NFYK3jVyz95a+XT9BDL0IFc yCmtIzAi4l2wED9XWI5PiXP17AFhLAlmhND/HkdLXunx/vHgf4O40BS+jEJViV75AtM/NxhC zNWNkNOOqSF+QlztvVDR2yBHwJgBgWT307Ml38lpTb+dFa5cG7gN0gvEL+9x18Y+GdiYTRrx rGU52L7WzLMfsuq/C8NdWN6iv7kX/pj3xbjnZ25IsG7AJUKWzrprauwb24uqRG8I8cQhlXCl NZ67tRLdqz3Gi4BkZIVU7DA++wrdymFA2heTdVK3qADRzjccQ7v/wm+ERm6f8cVKsHa9UO9N ddVGftOcBaDzweLkCEQAP8dAr1zncNx3uE4RJHQGTckvYec/x1Ti7CB0gjlhWQufcdirtZlF KPVaAC5MzKxgVl6pjbzifdqa0SEZesKXgne5NyO0f4oEssDud58cEtp3bqTuW6UATRd/BmVn V3iYoHL/cxAzY1XwozIFI9dDCqKO+Koas26qlmzuutRcOKVYNvvthwUmHbjLQ95LbscYPUpt LWv4frc/lLJg6YyaE/dw6K+Lqhu4d6jetZYKeT1JyR+sQrYffTz8T4vxWycAr5YouN3v8WIa VOxV5qtSIQzRdxY+kxwVwFfNBQ4UIHccabqoHKGncSmUxQy/1TOE4K6yCXPc2peSy4vPq/+A C/Sv9KFxIhRjKZINS8+K8BWOb1KC369ZvJ+bPz0jyeSMUewiFDburfCqwsp2QuWNla6SvTF8 bD3bTmgUi+tuZP47sBT6K1zmRw1MExTo8cNemAlxtonrAziUUAnK70RP6xTX9sQ2mb32Yrjb T7AUHo6BG+vFX5YeBH7+5L4Uh3ZGuUKPczjKyc0+1+PLR27H56EHKAr4xIID62aodc/5LrPx RAiFnzM0tyZx5hoQaMf4qb+j7s9gPzdwX0M9Ab2lMma79Pyx1kV/CQJIeaPfXWv/wLxeIHjK m08RGQCS0a+IaI0Odg1YGZbQXn1oxu2pwjFrk6zLBL3tICSzekGw/r6Uw02Pnvvc+xSTIMzq bjLq6dhLoxYNrH/eUfkhj7xvZJJNA== IronPort-HdrOrdr: A9a23:riMCbaF5tsVOb1N8pLqE1ceALOsnbusQ8zAXPo5KJiC9E/bo8v xG885x6faZslwssTQb+OxoW5PwI080l6Qa3WB5B97LYOClgguVxedZgLcKqAeQeBEWg9QtrJ uIBJIObuEYY2IXsS+D2njeLz92+qjizJyV X-Talos-CUID: 9a23:bnjjOGMJ+EeCb+5DfwlY3x4oOvIceXjX4XrtP12CFCFMR+jA X-Talos-MUID: 9a23:EUOingnlEwGzf2gUoRuDdnp8JcdV5qanEXsXrrIe5dWYGXRtEhOC2WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,123,1787004000"; d="scan'208";a="158038822" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDFyVo3Jo4fuL216wPaFf7KJBbENJ3NMH+2ieE?= =?us-ascii?q?U0ag/UBNEHpy3m/cmvMrHfy9O6IvVTZqWdM2aSqpDHV28aaPTit/+X2Q?= =?us-ascii?q?fRHTOecdIESYnm0zglTrU/8YPQfVQtrD4eA2GofGDe9fQDas+7Md3AUI?= =?us-ascii?q?VMdfZxhhN0/PoZZ0kSKvUsqA=3D=3D?= Received: from mail-dl2-f42.google.com ([74.125.229.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Sep 2026 01:07:09 +0200 Received: by mail-dl2-f42.google.com with SMTP id a92af1059eb24-144d60be6b0so815937c88.0 for ; Fri, 25 Sep 2026 16:07:09 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1790377628; cv=none; d=google.com; s=arc-20260327; b=bwojL5JsFaYWplHyTIf5U3zUp3JEVAheIKERdd40jV/AHj3InUVXE5GQwJc1QHOZ3p 10QE1u2R5Y9xOvJan4LmISJ95eZByd6tAezmPgrp0kecgUDq4V4yU+tuRqGQot8WKj1P Ro4/bmhEdtOICl8vvQr2Lqg3JfqNK+SSo84yVHc4T3JpH8P8tU4EiyyJDovdvrnN3fUH 5y0oNvs1mf6Wdy5irz5Sx3+bOBAaX4YTZuWql6IauSdIWM8ggfwqJZ8oMDDMSkJrSy3D 71hilwBB65WbM068t+MpW7Hjqiho15aACAkXIq0oNji30Uf9J4ezlgrPJghfYAykH3R6 2F+g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=/WqojilIetl9ePG8AGpF/Ua4+H5dM9SaOzDuBd/spsM=; fh=eJ4Qacq05Xz1Q/Kie8Qp59hMdyCHa/AlSq0QISxmotw=; b=grD7KGsVfEpmyeElCk7KEtCw//2vB5E3o1WuRWhbsJQCmiwgdHa+5zWr+4PhkmxBGJ Kn64EwQU14cC5QvXLmfxfDMrpBpxTbkyobjmVMxFsTnskGOQaE+RGpgolMSthHxXi2/T GLdMr3Mj7EgCibL9m+hGxnJVEH67dI0CG5rxzXVlPmhS2saiO2VOL6qZX8kKTACd/P9z 8IQQPauIcyg02KOdGmUZSSoSq0XaGigpnsyWmcfOQBXXMEK47nlXJ7I81VaHFRkMmG+f j3LZhRQibSO0sh+PJFk4V22Y7OOdC8WxCupjPHxXvmHhNkS93eIuczKsvtk7gJiT8Xpj Qz9A==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1790377628; x=1790982428; h=content-transfer-encoding:content-type:to:subject:message-id:date :from:mime-version:x-gm-gg:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to:content-type; bh=/WqojilIetl9ePG8AGpF/Ua4+H5dM9SaOzDuBd/spsM=; b=ndoCWySLEMGBDiAPBdPDRVbY1kJqcm6Gxc6zAb6fDTTqJZvooNFi94Hyey3THmFqST OyVYeVXVjkb9zwRktksePTnYBrjof82l5pzN6U/cWZ2sJVnPWtCzvxq94lMvtYZnI/ix /9JAzXmt1oMVaNkcUc+uFCUPpQqhH+94fhrAumMnmn89KG+UNw+oXzKwUEhqGe03g/d5 X50bbRUZpF5YdbSx7FngFreh1HIHqO5Hw8sK1qpq1u7+CYiPv77p1KxbDd9sCfE6Q09b 0eJ6lnGrqGKh0MmjyVOH6g9fH3/TlYZ7y3sTphXj7hOna8neTIFzP7aQDBOEuhn/4xei agBA== X-Forwarded-Encrypted: i=1; AKwUvBy7P0MZDZ+gzsHv3hnr86vfGSX7Xsq+xQvtc2jDh5TP6TCmVEn/5EtcqXaSx8sTg6xCk0XmRLScZck=@inria.fr X-Gm-Message-State: AFuF++lwSQByUcdFpuLr4SuVHE3k+KdETCOfg6g9Xgn62qPcuth1mrjx crQaVdRBXkkhKqE4as6XcV4jJUODpswS4knzxTc76O6dMgP8v3WpDTnpc+nsGw6U9O284OhE43x jNs8nyxgvAuv3TZjXzIm51AXsc08Q7OScs14ouIo= X-Gm-Gg: AYBFou2u9ANZbezdQiZZjExg4mmeJfUN7BrvhOMFvKBSsMVZjG5JNdZRW6w/ieISCEm huRC33Lb66SpjeoaY8s+ikV4PFDwwzzq6RazD6+/wbaaL8LU7tixg2fDbnG49K3tPQIa37I+Iob 4y5g4xTtguX/M1WWqyEFTrGPu+TlwZcCuJd4A6EbM9R5rXnZ355cMnHivfFaEcxO2SYASOXxe0t Nx720DabIrLHZc/kaQnzovCMWleuQyOJpM6IDAIqWMMVY6JIwGQJldrGDBg0TP9/64mkMka+Z/S LKom5l6/AJ6TszfkvM0gNH/6ETxA1DxpGdWCq/UjmSwTc1JKrIB3z0etG62++FSprVS22py7yrv CrttemGzoeQ7pKiwvoUmybBZhZ9V5yBxLlafHz2XTvkrqbvWrEuK3pBjWAhOA3VmNt8Xq54EZ6P U5QTd8XkttmogJpH5nAE8O3NAjY/UDLdI9SbIv2kUsI/u1yWZoqg0LuJOHNqNRwvb/H9DzhQky4 UMWRC0/Hkk4R/xgegyRkLgvdDKV3F9IEb8+5iVzlLVyr9KREq85ORjeUP/uDS6aTklytqLoqBwA PcZqwwj6wu3gkd0qjX+hGbdP+SDc08cC4YIwIw== X-Received: by 2002:a05:701b:241a:b0:144:c90f:2583 with SMTP id a92af1059eb24-146cdeb8c80mr1145572c88.6.1790377627699; Fri, 25 Sep 2026 16:07:07 -0700 (PDT) MIME-Version: 1.0 From: Andrei Popescu Date: Sat, 26 Sep 2026 00:06:56 +0100 X-Gm-Features: AclHuK8BRBEpQZ-sHjSUQMUv5xEzcVidcRbKhUuUWlnrfMWyxX1O4gI7heBEDWE Message-ID: To: fom@cs.nyu.edu, types-announce@lists.seas.upenn.edu, haskell-cafe@haskell.org, haskell@haskell.org, caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Andrew Hodges to give this year's LMS/BCS-FACS Seminar: "Alan Turing, The Absent Father of Computing" -- 12 November 2026 (London and online) Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19589 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, We are delighted to announce that Andrew Hodges will give this year's LMS/BCS-FACS Seminar on Thursday, 12 November 2026, with a talk titled "Alan Turing, The Absent Father of Computing". The seminar also marks an anniversary: Turing's "On Computable Numbers" paper was read to the London Mathematical Society on 12 November 1936, ninety years to the day. The seminar will be held in a hybrid format, with the opportunity to attend in person at De Morgan House in London or remotely via Zoom. Date: Thursday, 12 November 2026 Time: 16:30-17:30 GMT (welcome and refreshments from 16:00; reception from 17:30) Venue: De Morgan House, London, and online via Zoom Registration: Attendance is free, but advance registration is required. Please register for either in-person or online attendance via the event page: https://www.lms.ac.uk/events/lms-bcs-facs-seminar-2026 Speaker: Andrew Hodges (University of Oxford) Title: Alan Turing, The Absent Father of Computing Abstract: Alan Turing (1912-1954) has often been dubbed the 'Father' of computing, this vague word conveying the complex connection between On Computable Numbers in 1936, the digital computing plans of 1945, the first working electronic computers in 1948-51, and computer science thereafter. I will address this complexity, starting with an update on the well-known question of whether and how von Neumann=E2=80=99s EDVAC repo= rt of 1945 was related to Turing=E2=80=99s work. But my emphasis will be on wh= at happened after 1945, regarding it as a puzzle that Turing drew so little attention to his own 1936 foundations, despite their relevance to his famous Intelligent Machinery predictions. His extraordinary reticence affected the emergent science and technology of computing, as I will illustrate with some little-known documents. My conclusion is summarised in the title: it is fair to consider him a =E2=80=98father=E2= =80=99, but he avoided taking either praise or responsibility for his offspring. About the speaker: Andrew Hodges was for many years a tutor and lecturer in mathematics at Oxford University. His research was mainly as a colleague of Roger Penrose in making a new approach to mathematical physics, and in this field he was also a visitor to the Institute for Advanced Study, Princeton, working with Nima Arkani-Hamed. He is now an Emeritus Fellow of Wadham College, Oxford. He is best known as the author of Alan Turing: the Enigma, published in 1983. In the forty years since then he has contributed further to the world of Turing studies, with a website at turing.org.uk. In an unusual career he has also seen various adaptations of this work in the arts and media, most recently in collaborating with the Pet Shop Boys in A man from the future, a musical piece released in October 2026. We hope you will be able to join us, either in London or online. Please feel free to circulate this announcement to colleagues, students, and anyone else who may be interested. Best wishes, Andrei (on behalf of the LMS/BCS-FACS Seminar organisers)