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=cVqlVUQ4; 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=Zc+4pyW7; 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 C871C4003C for ; Tue, 18 Feb 2025 10:31:07 +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=chWQWzvLUNa6JPfSRNFS66s2xInp2t2pbL8/h6u1mRw=; b=cVqlVUQ4Z/n8PlPCmWE/p89dv/yaQObAl/4C5BW/1f9Jblh83Llbh5Qg 3i6NjrYch++wytmmMwwnoRrLiZUhwTz3iHsLXLy6AFcNUYcq29Y/+2DZS J5OBcR0YiKWIhvpxEFuawLdc8TKW0PS5213w/JGbcVP8+xc/wudYcPfco E=; 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.13,295,1732575600"; d="scan'208";a="208782625" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Feb 2025 11:31:07 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 74A57E0D21; Tue, 18 Feb 2025 11:31:07 +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 B42D4E0260 for ; Tue, 18 Feb 2025 11:31:01 +0100 (CET) IronPort-SDR: 67b46164_HOcEsjBCylgRAyJhSUkY1kslM9DIObo4f73diaD5SVOeBBF pyMITMouOkGHs0J/h4otKh8XiZUUVu3JH1vPHaA== X-IPAS-Result: =?us-ascii?q?A0E2BAClYLRnfC3aVdFaDnuEF31ZNAQLSIRWg0+MADOBb?= =?us-ascii?q?gOcPoFqgSw+DwEDAQ00CgYEAQEDAQOEfAICAosNAh4HAQQ0EwECBAEBAQEDA?= =?us-ascii?q?gMBAQEBAQEQAQEFAQEBAgEBAgQGAQIQAQEiGQcOEimFew2CRVFxYQIFAzoBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQIUGD8BHwEBA?= =?us-ascii?q?QMSER0BGwwSAwwGEA0CAiYCAiABAREBBQEcBxIigmGCLwEDMQMRpC+BBUKLP?= =?us-ascii?q?oEVBQIWgQGCDQaBCT4FEBjYaQoZKA1sA4FiAgEGFIEGLoR1KU4OgjcBHQGBb?= =?us-ascii?q?IN/O4NCeieBA4ElgUqBcxI9AjE+gh+BaignOIMOgmkEgi+BboNAiwGECoZ9i?= =?us-ascii?q?Wk3fT2DayYIAQYXAwcHCQUEHAYFBQJCCQYFChIDBAMEBAECCxMJAwMCDgIIA?= =?us-ascii?q?wIIBhkBPxIEEwoNCwcFHwoIDBEKKAMiEgIpDwECAR8KMQMUBBkBAQcGAgIDA?= =?us-ascii?q?QQCBAwCAwYCAggEAwILCQMCBAQCAQUSAwsBBQYFAQEECQ4CAgYCAgEIAgIBA?= =?us-ascii?q?QITAQQDCAIBBAMFAwoBAQECAQQUBgMFAwMHAwQCAwIGAgQKAgIDAwIDAQMDA?= =?us-ascii?q?gECAwkQDxYCAgMEAgYCAgEEJgIBFQUCAwQCAgcCAgMBAgECAgIEAgQCAgYDC?= =?us-ascii?q?QgBAgIHAQICAgMVAgUBBAkDAwUSDCADAgICAgMHCgMFAgEBAgQDAwMDDA0HA?= =?us-ascii?q?gMBAgEDBQMBAgECCQMGAgIDAwQSGQUDAg8DAgEFBAIIEAsHAQEPFAUECQUVA?= =?us-ascii?q?wYCAwMWCwQFAwMDAQwPDgICCwMEEwUBAQcBAw0IAwQEAgMDCQIBEAEDBAIJA?= =?us-ascii?q?gQBAgoCAgICAgQBAQUEAgQDAgUCAgEIBAMDAw0EAwgIAwUDDBICAgIJAgMBA?= =?us-ascii?q?gMDAwQNCB0FCRELAgkDBA0CBAICAQYDBgoGFAECGAICBgwEAwMIAwIDAgIBA?= =?us-ascii?q?gICARECAgkIDQUJBQYCFwMCAwgBCQMPAwIUAQYCCAMHAQEEAgIKEQoBAQICA?= =?us-ascii?q?QYlAgEBAhMTBwMIAgICAgYWDAEFBwMHDwUFBAICFgMDEgQEEAICAwMCAQEUB?= =?us-ascii?q?hUBBQIDBgsBBgECBQQCAwQCEgIDDhMDAwQGAwECChACBAIJCgEFBAMHBQIfA?= =?us-ascii?q?wMCAgULAggCAgUCBQcDCQ4BAgUDBAkCFAIQAgICAggWAgICBQUXAQImAgQBA?= =?us-ascii?q?gECAQIBAgEKAQICDgkDBDYGEQQCAwMCDgECAgsBAgIEAgMBBAcJAwMJCgcBC?= =?us-ascii?q?g0HAgIKCAkQAQICDwcDAgICAgYHDgMCEw8FBgYCCgcNCgQCAQICFQIDCQYDB?= =?us-ascii?q?Q0DBwQKDQIVAhYFAyACCAkLAgcRAgUSAwcHBQMCAhEEAgMDBQMBBwEQBwMHC?= =?us-ascii?q?AICDAICAgIFAgUCBRcRAQ0EAwMDAggBBBUGAwkIKhsSAQEBBQEJAgMCAwQIA?= =?us-ascii?q?wMDAgMEDAsCAQcIAwMGCwgJBgMCBwgZAwUEAwcFCyECBgMCBAUEAQUCEw0CA?= =?us-ascii?q?xkCBgMGEQkMAgYHAQcJAwcBAQECAgIIAQYFEgIDBAIFBAQBARIGAgEDAgIEC?= =?us-ascii?q?QECAgoCCAoBCRMEAwgDAwMDAwUBAgIIBBEFBQIBBQoTDAEKBgMGAwQCAgIKA?= =?us-ascii?q?QcCAwMDAgcBCyMCAQMCAgUCAgEFAwICBgQDAgEBCQIDAggBAgIBAQICAgQBB?= =?us-ascii?q?wELBgEBAgQCAjYCAQMJAgUBAQEOAgYCAgECAgIEAgQBCAsEBQ0BAQIBAgIBA?= =?us-ascii?q?QEEAQgDAQEBAgIDAwUDBQgPDQEBFwsdBQQFAgIBAQEBAQITAgIBCwECAQEDG?= =?us-ascii?q?gIBAwMEAQsCAQEEHwQWAgICAgICBAMCAgMCAgILEQIlAQMBAwIBBgMTAgICA?= =?us-ascii?q?gIEAgECAgUFBQEDBBETCQEDAgUEAgIGAgQGCgIHBAIaBAICAgEDBAYDAQIIA?= =?us-ascii?q?gIHBAIDCgMCAgEBAgIHGAECAhgdAgkDIw8DCwkIEz0BCwcyBDYBBg4UAQYrI?= =?us-ascii?q?V+eZzYBPIENgiyCLYERlDslsipxB4QegWOEMIYFjzeGEjOEA40GmUmIA5B6I?= =?us-ascii?q?o1jhAeRIoVxESMSgUkjgUkMBzMaI4EBgjYhLgMZD44rLoNCh3mHO7VNRjICH?= =?us-ascii?q?AEdAgcBCgEBAwmQKYFLAQE?= IronPort-PHdr: A9a23:9+ti3ROldlFLbUM3Zx8l6nYXBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCA9yDt7ptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmjaxe69+I Am5oQjQq8UanYRvIbstxxXUpXdFZ+tZyWR0KFyJmBry+tm+94N5/SRKvPIh+c9AUaHkcKk9U LdVEjcoPX0r6cPyrRXMQheB6XUaUmUNjxpHGBPF4w3gXpfwqST1qOxw0zSHMMLsTLA0XTOi7 7p3SBLtlSwKOSI1/H3Rh8dti61VvQ+hpwdnw4HKfI6VKPRwfqTYfdwARGpBWNtaWyhOD464a ocCCfcKM+RFoInnv1YBohW+CgusCu3hyTFGm2H40rE13ek6DQHGxRYtE84SvHjIrtj4MroZX +CvzKnPyDXOd+9b2THg54jSbB8hoOyHU6h3ccrJ10YvDB/KjkiNooHiJTyV0PkCs3KF4OphT +6vi3Qrqxl2oji32MgskZXGhp8Ox1DL8CV22oc1JdmiREFnZt6kFYJduieHPIR5Xs0sWXtnu DomyrIYo567ejAHxpo7yxPcaPGJfJaE7w7sWeuVPzt1mnJodbGhihuu70WtyuPyWtSo3VtWr CdIltbBu3IQ2xHX98SKTvVz80m91DuJygvd5OZEIUUumqraLZ4s2qIwlpsVsUXDAy/2gkH2g LWKeUUj/+ik8//nYrX4qZ+SLYN7kB3xPr4zmsy8B+kzLwsAX3CD9OiiyLHu+Vf1TbZKg/Esj KXVrZPXKd4Uq6O5BQJez5gu6xKiDze9zNQXg2MHIk9EeBOGkYfkI03CLfblBvmlmVusii1kx /XeM73hHJrNKn/Dna/kfbln6k5czBM/ws5d555JE70BLv3+V0/ruNzXCR85NAO0w+L5B9lny oweXmePDreYMKPUr1CI+voiL/eQaIIRojrwKPgo6+TwgXMkmlIRZ6ak0JsPZHC9BPtmIkGZY XT2gtcGFGcHphAxTOr3h12YTzFTZmy+X6Im6jEjD4KmFZnMRpuxj7ycxyq7EZhWaXpHClCIC 3vna4KEW/IUZCKUOcBuiiYEWqS5S489yRGusxf3x6d/IurO5iIYrY7j1MRy5+DLiR497zl0D 8CE32GJTmF0hX8ISiQt3KF/pEx90k2M3bJ5g/xeD9xT5ulGXh00NZ7GnKRGDIXyUxnCc9ONY FavWdarBTV3Scg+h5cOal1+FtGmyxvK0SeCA7YOlLGPANoz6K2Yl3P4IsI4z3fdyIEgiUMnS 41BLynuj6V7rSDOG4rIiFmC0bu2eLQVx2jA+HrQ43CJuRRxVgJqXKSNZXcHa1DdsJyt70XOV bKvT7RhKgxZxNWJN4NFb9ToiRNNQ/K1a4eWWH64h2rlXUXA/biLdoe/JzR1NET1DUEFl1tW5 nOaLU0lAT/npWvCDTtoHFapYkX28OA4pmnoBlQswVSsaEtsn6Gw5gZTneaVHvoV0qgJuWEh7 S1zBFum1M/+BN+Jpg4nd6JZMpsm+FkS7WvCrERmO4C4aaVrh1oQaQNy6kro2w96C8NA19Att H4xxxdaJqeR0VcHfDSdjtjrIrOCDG708Vi0brLOnFHT1NHD4qAU9PExsEnupimsH0smtnhli pxbjyba6ZLNAw4fF5n2Vy7b7jBcoLfXKmk47oLQjjh3NLWs9yTFw5QvDfckzRCpe5FeNrmFH Un8CZ9SAc/mM+Esl1WzC3BMdOlP6K45Od+nfPqayeaqOuhnhjevkWVA5sh0zEuN8yN2TuOA0 YwCxrmU2Q6OVjG0i1nE0Ii/kIZIfzwTWGr50S/8CZVae4V9eI8KDSGlJMj2jtRyipjxWmJJo Ua5DgBjuofhch6TYlrhmAxIgB5P8Dr3xG3ilmwyz2x6y8jXlDbDyOnjahcdb2tCRW05yEzpP ZDxlNcCGk6hcwkukhKho0f83alS4qplfAyxCQ9FeTb7K2Z6X+6+rL2HNoRG7p8yvCQRUKKkZ kiXUbXgixQf2iLnWWBZwXpoElPi8oW8hBF8hG+HeTx6qnbDdMA2xVHH48TRXvVM9jUDTSh8z zLQAxLvWrvhtcXRnJDFvOekUmunXZAGaijnw7SLsy6j7HFrCxmy9xyqsuXuChNykSry1t0xE D7NsA65eY7zkaKzLeNgeEBsQl768ctzXI9kwMM8g5QZ2H5SgZvwnzJPmGH/K9han6K4dH0VS CUA3vba5QHk3AtoKXfBy4/iV3qby9dsfJHgOjJQin97tZkaTvvJpLVf+Ek96kK1twfQfeRwk n8GxP0i5WRby+AFtQwxzzmMV7UbHE1WJyvpxFyD69GzqrkSZX76K+Dhkhoj24r4XPfe/1I5O j6xYJopEC5u498qNVvN1Ca28YT4YJzLaspVsBSIkhDGhuwTKZQrl/NMizA0XAC19XAj1eM/i gRjmJ+gu43SYWxr8Li0A1hYcCXyf84I8SzFgqNXn8LQ1IeqVMYEeH1DTN7zQPSkHShH//3hO xyDEXs87G+cAbfEFhK350JvrnaJGJeufSLyRjFR3ZBpQx+TI1ZaiQYfUWAhn5I3IQutwdTob EZz4j1Crk69sBZHzfhkcgXuSmqK7hn9cS86EdLMSXgephEH/UreNtaSq/5+Dz0NtIP0txSDc ySaf1gaVjxPAx3cQQq/Yf/2ooOcu+mAWrjgc72UOu7I8LIGEa/PnMPKsMMu/i7QZJvReCA6V btjnBIEBygxGtyFyWtRDXZLxmSdN4jD403ksixv8pLgqrKyBES2tNHJU/wLYbANs1i3mfvRa LLW3Xwkb24ejtRVmzfJ0ORNhQZCzXgxKH/9V+xH73eFTbqMyPYIVFhCOn81bI0QqPtiu2sFc c/D1oGvju8+3qNzUg0VEwSmw57hZNRWcTvkahWaVADSZe7AfXqSkon2ef/uE+QOyr8P5lvr4 3DDVBayW1bL3y/gUxTlWQ1VpAecOhEW+IS0cxI2THPmUMqjcRqjdtl+kTwxx7QwwHLML28Vd zZmIQtLqfWL4CVUj+8aeSQJ52d5LeSChyeS7vXJYpcQv/xxBy1oluVcqH0kwrpR5StASbR7g izX5tJpplinlKGIxF8FGFJWrS1XgYuQoUh4EaDQ950FVHSduRxRsCOfDBMFo9YjAdrq+uhRx tXJiKPvOWJC/tbTrq5+T4DfLMOKNmZkMAK8QmaFSltYC2TyZSeD2h848rna7HCeo5kkp4K5n ZMPTuQeT1kpDrYBDVwjGtUeIZBxVzdikLiBjcdO62DtyXuZDMhcoJ3DUeqfRPv1LzPMx7BCa wEFwPX4a5wULoDg0FFKZVxznYCMEE3VF4MowGUpfkovrUNB/WIrBHU0wF7gYxix7WU7EPe1m ls7iFI7b7hwsjjr5FgzKxzBoy56wyxT0Z31xDuWdjD2NqK5W4pbXjH1u0YGOZT+Ww9pbAe2k CSM1R/BTrNVyrZiLCVl1FKatpxIFvpRC6ZDZU1IrRl4T/ot2FVY7C6gwB0ejQMgIZRnnQouN 5WrqiAYsz8= IronPort-Data: A9a23:zpbyRK3EeTJ4apqs4vbD5Xt1kn2cJEfYwER7XKvMYLTBsI5bp2QGy DMZWGzUMqqNNDT2L9p+Pty+9EoOvJCAzNJlTwU63Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8gFaYDkpOs/je8Ek27Kyu0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0Kw2fF3AHMGB6Y7od1cAVse+ 8AdIS9YO3hvh8ruqF66Yuxlh8BmIcuyeY1D5zdvyjbWCftgSpfGK0nIzYUAjXFg24YURKaYO 5dxhTlHNHwsZzVGPFsNBZN4nKGwgWHyaDZFgF2QrKszpWPUyWSd1ZC0aIuOK4LVHJ49ckCwo zzpuE3JJQwhKNGf8ASF70CerMrPtHauMG4VPOblr6Y10QP7KnYoIBYfUF/+pfiilmalStdHI goV/DAvpO487iSWosLVWhS5pDuJvEdZVYYNVeI97w6Jx+zf5APx6nU4oiBpUYA8sNY6dwwQ/ XzSpPjpP2xhjLicVifInluLlg+aNS8QJG4EQCYLSwoZ/tXuyL3faDqfEb6P94bl3rXI9SHM/ tyckMQpa1wuYSMj0qy6+RXKgWvpqMSUCAEy4QrTUySu6QYRiG+Zi26AuAKzARVoddnxory9U J4sxZT2AAcmU83lqcB1aL9RdIxFHt7cWNEmvXZhHoM66xOm8GO5cIZb7VlWfRgyY5ZdJmazM BaK6Gu9AaO/2lP6PcebhKrhW6wXIVTIT4yNug38N4oePcAuJFPvEN9GOxbPhjC3+KTTrU3PE czGKJ7zXChy5VVPwz2xSOMQmb4tzWZW+I8gbcGT8vhT6pLHPCT9Ye5dbjOmN7llhIva+lm92 4gEbKOilU4PONASlwGNreb/23hQcCBjXfgbaqV/Koa+H+aRMDp+UKaBm+t7I9YNcmY8vr6gw 0xRk3RwkDLX7UAr4y3RApy6QOq3BsotnmFxJiE2I1ej1l4qZIvlvu9VdII6cfNjvKZvxOJ9B atNMciRIOV9ehKe8RQkbL75sNNDcjavjlmwJCaLWmU0UKNhYA3rweXaWDXT2hMANQeNjvtmk YacjlvaZbEhWzVdCN3nbaPz7lGp4lkYtuFAf2rJBdhxfk/T3pBgAHHzhKVvIuUnCxbK9h2F3 Sm4XDYaoujspdcu0d/r3KqrkaagI9FcLGF7QVbJzO+RHjbI20ae2ql8afasURGBcXLr6YOgS P5wzfqhAMYYnV1PjZVwI4xrwY06+dHrgb1QlSZgI1nmcHWpDaFGMFCd/MwSqJBI+KBViTG2V m2L5NNeH7eDY+HhMVwJITsafvax7u4VlhbS/MYKDh3DvgEvx4W+UGJWIxWoow5eJuEsMIoan MEQiPRP4Am70hcXItKKix5PzFu1L1sCbr4Gs68LC4q6myspzVB/OabnMBHU263WSdtwMRgNG AS21Y7inLVXw3TQf0UjTUbt2fVvvrVQmRRo4mJbGXG3tIvruvsF0idV0wwLdSVO7xAe0+tMK mlhbEJ0AqOV/gZXvstIXkHyOgRNGCym/lfVzn0Xnlb4VGitbHTGd0cmCNaO/WcY0mNSRSda9 7em01TYUS7mUcXy/ykqU2tnlqDHYflu0DbdweaLMt+gHZYoRRbE2IqVensuuR/rJegTlX/3j 7Bm08goYJKqKBNKhbMwDrer8Ig5STeGATdnau5g9qZYJlPsUmi+9hbWIn/gZ/4XAeLB9HK5L MlcJshvcRCa/wTWpxA5AZ88GZNFrMQL1vEjJIyyfXUntoGBpAVHqJjTryjypFE6SuVUzPoSF NnjSCKgIEex211vhG7/nOtVMDGZYP4FRjHG8sKbzeErL68H4cZQKRwc873spHiEEhpVzzTNt iP5WqLm5ehDy4NtoojSLpt+FziEcdPdaMnY8SSYkch/UtfUAMKf6yIXsgbGOipVD5swWvN2t 6i8j9rs+Hz7pZMNCmX/t6ScJfMY+/foTO5zN+TpJkJ7hgqHYtfnuDEYylC7KLtIsdJT3damT A2Gc/mNdcYZdtNe5X9NYQ1MOkw5J5WsS5z/tAWBr/ioIToM4zztdd+I2yfgUjBGS3UuJZb7N D7Rh9+vwdJp9KJ3Gx4OAqBdMa9SeVPMd/MvSIzsiGO+EGKtv1Klv4ninzoG7RXgKCGNMOT+0 KL/ainOTjaAk4CW84gBqK13hAMdM1hli+ppfk49xc9/uwrnMEE4d9YiIbc0IbAKtBft1aPIR iDHN0ojLiTfYQ5qUzvB5PbbYwPOIdBWZ/nYIGUl8XrBPm3yTMmFDaB6/yht32Zud3GxhKu7I NUZ4TvrMgL33phtQv0J6+emhft8gMnX3W8M5Vu3hvma78zy2lnW/CcJ8MtxuS37/wXlkUzKI S04RzkBTh3mD0H2FslkdjheHxRxUPYDCdk3RX/n/Todk9zzIC58JDnXNOT607lFZ8MPTFLLb W2iXHODugh6xVRK0ZbEeLsVbWtcBveCH8z8J6jmLeHXc2dc9Ux/V/4/ceEzoA3ONeKR/54xV tVh3pTmOHm4FQ== IronPort-HdrOrdr: A9a23:NOn2Mard3A1X012oF6Lo84AaV5rReYIsimQD101hICG9Ffbo6v xG/c5rryMc7Qx6ZJhOo6HmBEDtewK5yXcx2/h1AV7AZniEhILLFvAa0WKK+VSJcBEWtNQtt5 uIGJIOcOEYY2IK9vrS0U2WFc0/yMKL/K3tqeDV1Gd1UA1mApsN0y5JTiieVmJ7TBRbHpYifa DsgPZvln6PfTA4YK2AaEXtnNKtmzQIrv/biNI9ZiLPITPvsQ+V X-Talos-CUID: 9a23:liXvAWBWY899UrD6ExA77koNFvIVSFb+l0z7I3XoB1psQaLAHA== X-Talos-MUID: 9a23:krxLgglLRLrJLvwMSnvndnpnaugvypSJFXsRnJU/hcmZBx5aHje02WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.13,295,1732575600"; d="scan'208";a="109396713" X-MGA-submission: =?us-ascii?q?MDHnNsBvsTpS+h9axODmYaJHR/tTnp3pBHymw/?= =?us-ascii?q?fGDRA6vVgXv91SBSICmJz/VuOofOvx8f/2WQ84ZaB4ntpKLgADPD+NKY?= =?us-ascii?q?2yjzMcgtW4laE/UtF1SXqJyqprBUFL0jjb7IvDbPaPE4F3gXwWIX2n0u?= =?us-ascii?q?JuSUs//AaX44R1BjIGRXRcVQ=3D=3D?= Received: from mail-ej1-f45.google.com ([209.85.218.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Feb 2025 11:31:01 +0100 Received: by mail-ej1-f45.google.com with SMTP id a640c23a62f3a-abb8d63b447so281149366b.0 for ; Tue, 18 Feb 2025 02:31:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1739874660; x=1740479460; 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=chWQWzvLUNa6JPfSRNFS66s2xInp2t2pbL8/h6u1mRw=; b=Zc+4pyW7DsQj1TkqdbQU9XihsJrfo5XZUzvNmPBmvaLPvH9BhspEPj2EVqQOOLL7wp SyxcMi3ji7+ffwxguDdWvV9YS0LiCGgQlldpCPx2lqufRjUXZBtzCDD3g5GyrHKziEav fxKJ0RsVDbDAbbFklN8ivlxWpkAsg8EEhrZyo2kxFBJH4IDN9ztnLL3QDHiXAQsFKQHz bpLF7whZKhLfCaiKl6/zqKpv/+afYgbWqYMTjnXm/awM9Ih9v7XGE88QuCISlepFOKdr NaouizIJsMqfHZFA2J2uwJybXoTtrlwib1u5E0i0vWlh9XoXPV95JdKX5IKTN63YAVeB 57pw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1739874660; x=1740479460; 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=chWQWzvLUNa6JPfSRNFS66s2xInp2t2pbL8/h6u1mRw=; b=P6y/YtGipfxY9PmT1aR2C2bCyCiI4HCvTiZkfzjXtKwBU+2p1o+dosQ/bUreBawxVA 0K5J+xZ5GWKtv97GYRTPFvi70QFscfmZ1nhyeQBEbEa/cOKivgv6gwROD/k6juJ1pY5J mBEkY6u6bh2Q2yL6S5DZCzFStPPSdNm7ie8VCqqd0as4emaDY1xTUOcvzubA6VRm6uhS 4tjSOwgsm1fWvYQijvHSxkDFNInPZgoxb9UvOUs/M/R3tp2R5IsujghctPnJBPrh/kgD GsE+Ac+WTEIVWYeHomYrtkl8eE7WamHKeIS8V8KC8plEpc3ZkJy60gyeULjMuBrfrZ9l Bqow== X-Forwarded-Encrypted: i=1; AJvYcCXMX419rv6KXzi1vBW4HanKtzxzc9q15MCuUkyL4Ows9EFUue7F1Z0MmhpEypII2GRAdyrOeUC2Nw0=@inria.fr X-Gm-Message-State: AOJu0YychvmMJux38RyfTC/Srnp5mInGOnwcy5XXt9mv2MoKngxrQ9lA OtfZmoLbXAdfjL6jyHExveq5bcVz7P11ldEhj+IOpt5uNrlPOflrhL+iBiUZR73gLRsV1zUKb1M M8j7bPuQ0NXNjk3oxDaC5HuiPTmU8mg== X-Gm-Gg: ASbGncukUquYk53jMrCO48xQD/SA3SAz+NXdpVUPQoWoh7cOljkP8OrrtB7MjDi88cH tK3NniSAmZI55hjp26GDdwnpgQp3LqShnhodJ5CGujnx6Bcc0gJX5WW65ewvtLRAfEgsu8HBBSc HXeqzZa/DkQLl0z+bnQhTLt1qLn31jQA== X-Google-Smtp-Source: AGHT+IHCo8WRRsY85EOIq7Uh5O45b+EdxgxppfQj5R4Gk6utVxsCFJgon2dDG4FVDn5uloj24zfSntcRwtKRIIZ4JV8= X-Received: by 2002:a17:907:7842:b0:ab6:f4e7:52f9 with SMTP id a640c23a62f3a-abb70bbf5aamr1158021366b.25.1739874659804; Tue, 18 Feb 2025 02:30:59 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Andrei Popescu Date: Tue, 18 Feb 2025 10:30:48 +0000 X-Gm-Features: AWEUYZkK8edl46toGZwUc0lkOgdRubm8JpOBoVst_whAYgUutz1fvhTVTRiv4ko Message-ID: To: haskell@haskell.org, haskell-cafe@haskell.org, caml-list@inria.fr, acl2@utlists.utexas.edu Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19268 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, Please note that the registration for the Midlands Graduate School is now open. You can access the registration site either from the MGS 2025 site (https://tinyurl.com/MGS-2025), or directly from here: https://onlineshop.shef.ac.uk/conferences-and-events/faculty-of-engineering= /computer-science/midlands-graduate-school-in-the-foundations-of-computing-= science-2025 Best wishes, Andrei On Mon, Feb 3, 2025 at 2:37=E2=80=AFPM Andrei Popescu wrote: > > Dear Colleagues, > > This year's Midlands Graduate School in the Foundations of Computing > Science will take place at the University of Sheffield. We have some > great lecturers and topics. (Below you can also find information about > fees. The registration site will open soon.) > > Best wishes, > Andrei > > > Midlands Graduate School 2025 > > 7-11 April 2025, Sheffield, UK > > https://tinyurl.com/MGS-2025 > > > BACKGROUND > > The Midlands Graduate School (MGS) in the Foundations of > Computing Science provides an intensive course of lectures > on the mathematical foundations of computing. The MGS has > been running since 1999, and is aimed at PhD students in > their first or second year of study, but the school is open > to everyone, and has increasingly seen participation from > industry. We welcome participants from all over the world! > > COURSES > > Eight courses will be given. Participants usually take all > the introductory courses and choose additional options from > the advanced courses depending on their interests. > > Invited course > > - Four Lectures on Proof-Theoretic Semantics, David Pym > > Introductory courses > > - Category Theory, Thorsten Altenkirch > - The Curry-Howard Correspondence, Anupam Das > - Quantum Computing, Venanzio Capretta > > Advanced courses > > - Coalgebra, Paul Blain Levy > - Linear Logic, Abhishek De and Charles Grellois > - Modular Proofs in Isabelle/HOL, Chelsea Edmonds > - Refinement Types in Haskell, Brandon Hewer > > FEES AND REGISTRATION > > The fees for MGS 25, which also cover catering (including coffee, > pastries and lunch) during the day and optionally the conference > dinner, are as follows. > > - Academic participant: =C2=A3300, plus an optional =C2=A330 dinner ticke= t for > Wednesday evening. > - Industry participant: =C2=A3500, plus an optional =C2=A330 dinner ticke= t for > Wednesday evening. > > Registration will be open shortly. > > SPONSORSHIP > > We offer a range of sponsorship opportunities for industry (bronze, > silver, gold and platinum), each with specific benefits. Please see > the website for further details.