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=pWTpf2iD; 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=ZQGxdLfw; 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 58F94400A7 for ; Tue, 18 Mar 2025 20:04:54 +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=SfAo3Mj1qw8RidtZLIffuRLVZbBe3fVZmqSTw+ebzgI=; b=pWTpf2iD9wRtBbXjTYIbOqn5kz8gkE0kkNdjjBc5xa7HZx1LxXF45fR8 uGrGhxBK8DITHmHLbYGU0kcXkoWKsEY/vZD5xA1p7ms4mC1pSxpOCNLOI RIwi66W38SIEiyvoK8Bar/w9jZFuaBfHJhuZU9hTd4t8e7+SQHRgsrCTr U=; 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.14,257,1736809200"; d="scan'208";a="213572134" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Mar 2025 21:04:53 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 76C23E0D24; Tue, 18 Mar 2025 21:04:53 +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 A3716E0260; Tue, 18 Mar 2025 21:04:51 +0100 (CET) IronPort-SDR: 67d9d1e4_dFkMiHafHi7fN4W70W2yCM+HwA2XSCjRiP8HFRifEJc795o OjM+8lOZIDKHYRNUeiaM5s/ssCubuJT6C6SBhdw== X-IPAS-Result: =?us-ascii?q?A0GfJwBe0NlnfCzQVdFaDg0BAQEBPAEBAQMDAQEBAgEBA?= =?us-ascii?q?QUBAQEVgVWBWgIBAWR9WTQEC0iEVoNPjAGCIZxBgWqBLD4PAQMBDRQBAQECH?= =?us-ascii?q?AkGBAEBAwEDggyCcAICiyICHgcBBDQTAQIEAQEBAQMCAwEBAQEBARABAQUBA?= =?us-ascii?q?QECAQECBAYBAhABASIZBw4SKYV7DYJiNHFhAgUDOgEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAhQYPzgRHQEbHgMSEA8CJgIjAREBB?= =?us-ascii?q?QEiATSCYYIvAQMxA6FWgQVCiz6BFQUCFoEBgg0GgQk+BdkRChkoDWwDgWICA?= =?us-ascii?q?QYUgQYsAgEBAQGEcilODoI4HQGBbYN/O4NCgSGBA4ElgUqCBT0CgXSDBBE+g?= =?us-ascii?q?0aCaQSCL4E7g2+KaINwFoZogR6NRH09hBgmCAEGFwMHBwkFBBwGBQUCQgkGB?= =?us-ascii?q?QoSAwQDBAQBAgsTCQMDAg4CCAMCCAYZAT8SBBMKDQsHBR8KCAwRCigDIhICK?= =?us-ascii?q?QoBAgEfCjEDFB0BAQcGAgIDAQQCBAwCCQICBgIEAwIKBAUDAgQEAgEFEgMLA?= =?us-ascii?q?QUGBQEBBAkOAgIGAgIBCAICAQECEwEEAwgCAQQDBQMKAQEBAgEEFQQDBQMDB?= =?us-ascii?q?wMEAgMCBgIECgICAwMCAwEDAwIBAgMKEA8WAgIDBAIGAgEEJgIBFQUCAwQCA?= =?us-ascii?q?gcCAgMBAgECAgIEAgQCAgYDCQgBAgIHAQICAgMVAgUBBAkDAwUSDCADAgICA?= =?us-ascii?q?gMHCgMFAgEBAgQDAwMDDA0HAgMBAgEDBQMBAgECCQMGAgIDAwQSGQUDAg8DA?= =?us-ascii?q?gEFBAIIEAsHAQEPFAUECRcDBgIDAxYLBAUDAwMBDA8OAgILAwQTBQEBBwEDD?= =?us-ascii?q?QgDBAQCAwMJAgEQAQMEAgkCBAECCgICAgICBAEBBQQCBAMCBQICAQgEAwMDD?= =?us-ascii?q?QQDCAgDBQMMEgICAgkCAwECAwMDDggdBQkRCwIJAwQNAgQCAgEGAwYKBhQBA?= =?us-ascii?q?hICAgYMBAMDCAMCAwIBAQICAgERAgkIDQUJBQYCFwMCAwgBCQMRAhQBBgIIA?= =?us-ascii?q?wcBAQQCAgoTCgEBAgIBBiMCAQECExMHAwgCAgICBhYMAQUHAwcPBQUEAgIWA?= =?us-ascii?q?wMRBAQQAgIDAwIBARQGFQEFAgMGCwEGAQIFBAIDBAISAgMOEwMDBAYDAQIKD?= =?us-ascii?q?gICAgkKAQUEAwcFAh8DAwICBQsCCAICBQIFBwMJDgECBQMECQIUAhACAgIIF?= =?us-ascii?q?gICAgUFFwECJgIEAQIBAgECAQIBCgECAg4JBjcGEQQCAwMCDgECAgsBAgIEA?= =?us-ascii?q?gMBBAcJAwMJCgcBCg0HAgoICRABAgIQAwICAgIGBw4DAhMPBQYGAgoHDQsCA?= =?us-ascii?q?QICFQIDCQYDBQoDBwQKDQIVAhUFAyACCAkLAgcRAgUSAwcHBQMCAhEEAgMDB?= =?us-ascii?q?QMBBwEOBwMHCAICDAICAgIFAgUCBRcRDQQDAwMCCAEEFQYDCQgqGxABAQUBC?= =?us-ascii?q?QIDAgMECAMDAwIGDAsCAQcIAwMGCwgJBgMCBwgZAwUEAwcFCyECBgMCBAUEA?= =?us-ascii?q?QUCEw0CAxkCBgMGEQkMAgYHAQcJAwcBAQECAgIIAQYFEgIDBAIFBAQBARIGA?= =?us-ascii?q?gEDAgIECQECAgoCCAoBCRMEAwgDAwMDAwUBAgIIBBEFBQIBBQoTDAoGAwYDB?= =?us-ascii?q?AICAgoBBwIDAwMCBwELIwIBAwICBQICAQUDAgIGBAMCAQEJAgMCCAECAgECA?= =?us-ascii?q?gIEAQcBCwYBAQIEAgIyAgEDCQIFAQEOAgYCAgECAgIEAgQBCAsEBQ0BAQIBA?= =?us-ascii?q?gIBAQEEAQgDAQEBAgIDAwUDBQgPDQEBFwsdAwQFAgIBAQEBAhMCAgEHAQIBA?= =?us-ascii?q?QMaAgEDAwQBCwIBAQQfBBYCAgICAgQDAgIDAgILEQIlAQIDBQMTAgIEAgECA?= =?us-ascii?q?gUFBQEDBBEaCQEDAgUEAgIGAgQGCgIHBAIaBAICAgEDBAYDAQIIAgIHBAQGA?= =?us-ascii?q?wICAQICBxgCAhkBAwEBAgICBAICAgkKBAUEBAQDAgICAQwDAQIDAgICAgEDA?= =?us-ascii?q?gIBAQIDAQIFBg0CEgIBAxEIBAICBwICIw8LAQECAQECBgYCAwMDCgMBCgECA?= =?us-ascii?q?QECBgIBAhIFAgIBAgQBAgMGBCcBAgECAQEBBQIBAgECBAIHAgECAgMIAQUCB?= =?us-ascii?q?gECAgkBAgECAgIBAgEBAgYCAQERBAEBAgICAgIDAQMGAgICAgICCQICAgIFA?= =?us-ascii?q?gUDAgMBBgICBQIDAwICAwQDCQMDCAMGBAIDAQEBAgECAgIBAgIBAgIFAgMDC?= =?us-ascii?q?QEBAwIBAgICAgMGAgUFAQMIER0CCQMjDwMLCQgTPQELBzIENgEGDhQHKyFfo?= =?us-ascii?q?kU7gQ+CQh+BZSlPQoEWEAYhxjUHhB6BY4o1lUozhAONCZlLiAOQeyKNY5sdE?= =?us-ascii?q?SMSgUkjgVwzGiOBAYI2IS4DGQ+OOINjjzSlXEYyHgEdAgcBCgEBAwmPaDSBS?= =?us-ascii?q?wEB?= IronPort-PHdr: A9a23:Kl4ApBNufmNCr88cVAsl6nbwBRdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq8r1AeCBNmAsKkMotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiSxbaluI Bmqogndq8YbjIVsJ6s/1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrQm/rBJj3YHbfICVNOJ/fqzDe9MaWXFBVdtVWyBYH4+wc 5cDA+8HMOlfsof9ukAOrQOgCgawGOPhxDhIhnrs0q071eQqDAXK0QMkEt4Ltnnfsdf7O7oIU e2tw6bGzTvNYfBL1znj9IfGfQssoe2VXb9qbcbd1VUjGgHDg16NqYLlJTSV1uEVvmWH6epvS PivhHAmqwpsuDavwd8shZfSho0J11DP6CJ0z5wzJdKlUk50f9+kHIFQty2AL4t2RdsiTH9zu Ckm170LopG7fC0Qx5Qmwx7TceCIc4+N4h/6UuuaPDh3im5/dr2lmxay7Vavyvf6VsSszltGs zZInsTQu30J2RLd5ciJR/hy8EqhxzqB2QDe5+9KL00qiKfXN5Esz78sm5cNrEnPAiz7lUH4g aKLdUgq9e6l4PnpbLXho5+TLY50igfmP6Qym8y/B+Q5MhUUX2if4+izyLrj/Uj/Tb5XjfM2i rHUvI7GKckfvKK0AA9Y3pw95xqjDDqqytsVkHYBIVlYZh+Hi5XpO0rSIP/mF/exnlWskTZ1y P3eIrHsBIjGIGLZn7f7Z7l97lZRyAotwtBb4JJZErQBL+jyWk/1rdDXEAI2PxGtz+bpB9hw2 ZkSWW2IAq+eP6PStUGH6vgzLOmLYY8ZoDf9K/476P7ylXI1h0MRcK2z0ZYUaH20BOpqL1mab Hb2jdoMHn8Gvg8kQ+zrjF2CXyRTZ3G3X68k/D47Dp+pDZ3dSYCsmrCB3D23HoVRZmBeFF+MC mvnd5ifVvcDbSKdOM5hkjgeWbe9TI8h0AmitAnhxLV/NOrb5jUYtY7/1Nhy/+Dfiwk+9SZoA MSFz2GNU2Z0k3sUSD8xxaBzuFByylOe0adjmPFYDtxS5/ZRUgggL5Lczup6C8rzWg3bZNuJR kymTs28AT4tVtIx38MOY0FlFtq+lB/D2i6qD6YRl7yKH5w07rnR32PxJsZ403bJzrMtj1ggQ stVNG2pnLRz9wbJB92Br0LMnKLvdL8V1iPJ8GrG0HGDploQBAV0FKTeVHoSYk/b6Mni61nZZ 7uvEqg8dABIzIiLIe1XaYutxV5BXbLoPMnUS2O3gWa5QxiSgvuCa4/CcH5b2jTATkUIjkRb9 n+aOAc5HCasuErbEDUoHlurK0Pr9ax/rn28Zks11B2RKVZmyqC+9xASn/ORDfUewvZM8g4nr TJpGl2w2t/QF5KEphF9NKtbe5sh4FoP7mXEqww1OZLoAqZtglcYf0xNskzv0BN+Ds14i88lt novyQt0Juq82VVOajqX0NjLN7jWLGDotFCULpT74nXlkZzerrwV5ew8sH3hvRqiE0Mj9zNu2 J9I0C3Yrp7DCQ5XVZPqTm428QJ7rvfUeG117ozY3FVoMLKoqXnJ29stAeY/0VC7coRxKqSBQ Sb0H9cXBoCWL/QngFO0JkYNOuxI+a9yP4W+cOOLw6W2FOlllTOiy29A5dYugQq36yNgR7uQj N4+yPaC017CCm6UZDaJt8n2ndoBfjQOBi+lziOiAodNZ6p0dIJNCGG0IsTxyM8tz4X1VSt+8 1iuT0gDxNfvYQCbOlX70Rdd1AIX52SggSajxCFcnDQgr67Z1yvLkKz5bBRSAmdQXyF5iEv0Z 429jtQURk+tOgEvmAGo5AD6gbBcvKlkJHT7TkJBfiywJGZnAeOrrrTXRclJ5dsztDlPFuSxZ VfPUrnmvx4TyD/uBUNbzTE/Mjym49D3w0A8h2WaI3J+6nHefKmc3D/549rRDb5U1zsCHmxjj CXPQ0K7NJ+v9MmVkJHKtqa/UXigX9tda3ujy4TIrya96WBwZH/31/muht3qFxQ72i7nxpFrU yvPthP1fojs0eyzL+tmekBiAFK05dB9H8lylY45hZdY3nZ/5N3d9HwLi2ryd9UdwaXmYWEGW BYExtfU5E7u30giZnOFyoTlV2mMl9N7borfACte0SY84sZWTaaMueYczG0l/xzi9VKXPaQu+ 1VVgeEj43MbnewT7Q8kzyHHR6sXAVEdJyvn0RKB89G5qqxTImepa7m5kkRkzrXDRPmPpB9RX HHhd9IsByh1u492Nl7W3Xy16sf8f8HddtkOnhKRmhbEyeNSLdhi85hCzToiIm/7sXA/nqQyi xB00JD8vM6fLH1g56mkKhFdPzzxIcgU/3u+6MQW1tbT1IepEJJ7HzwNV5a9VvOkHgUZsvH/P hqPGjkxwpuCMYLWBhTXqEJvrnaVVouuK2nSPn4Si9NrWBiaIkVbxgESRjQz2JAjREimw8noc UEx4T50hBawox1A0O9pcRm5SmDHqRyjdx87TZGeKFxd6QQK60rOMMOY5/5+BGkCpszn/FHLc DTLIVgURWgSPy7MT0juJLyv+cXN/6CDC+yyIuGPKbSCpOpCVuuZkJem049o5TGJZY2EOnhvC eF+21IWBygoXZSE3W9XG2pLy3GoDYbTvhq39yxpo9rq9f3qXFiq/o6TE/5INt4p/RmqgKCFP urWhSBjKD8e2IlfoB2AgLUZwlMWjDljMje3FrFV/yfLQLjdm+lXSQYccy5oP9Zg4Kc13w0LM snewICQtPYwnrsuBlFJWEa00MivadYHIie9ckvAHEuQP6muKjjCwsWxaqS5A+417q0cp1i7v jCVFFXmNzKImmzyVhyhBupLiTmSIB1UvIzuOgYoE2XoS8jqLwGqKNIixyNj2qU63zmZUAxUe Sg5aU5GqaecqD9VkukqUXIU9WJrdKGFg3rLtLSec8dO96E3XWIs0LgGqHUil+kLsGceH6czw XWK6IYp+gDD8KHHyyI7AkQQ7G8T3sTT+x0lY/2R94EcCyiaukhRvCPAU1JS4IE9Qtz35/IPk J6WyOSqeW0Eq5WNra5+T4DVMJ7VbyZnaEC0XmaSVExcE3aqLT2N3hQN1qjNqTvF6MB98MGkm YJSGOYEDxpsR69cUgI9W4VcRfU/FjI8zezB1J9OtSf49UOBAp0d58+PV+rOU6+2dnDE3f8dN kFOmfShfMwSLtGpgRU8LAMhzcKRQQyIGokcx08pJhk9pEEHmJRnZks03U+tKgak4XtJUOWxg gZzkAx1J+Ik6Dbr5V4zYFvMvio51kcry53jhniKfTj9Ib3VP8keAjfot0U3LpLwQhpkJQy0k 0t+MT7YRrVXx7J+fGFvgQXYtNNBA/lZBaFDZRYRw7mQaZBKmRxErT67wEZc+ebfIZ5rlQ9vf JL16nwch0Rsa9k6IaGWL61MjxBRiq+Ioi60x7UxzQsZdCNvuCuZfC8FvlBNN6FzfXL5uLwxr 1bay30fJDtpNbJiuP9h+0IjNv7Vyivh1+QGMUWtL6mFKKjfvWHclMmOS1d210USlkAD86Ilt KVrO0eSSU0ry6OcUhoTMs+XYwhTY9Bf9T7TOz6JqejWyo9dMIC0F+SuRuiL/vVx4ArsDEMyE oIA495UVIGry13dJNz7IaQtzBws4EHmKAzAAqgVPh2MlzgDroe0y5o9juw/bnkNRG56Nyuw/ LPeoAQn1eGCUNkBaXAfRoIYN3gyVaVSdAZWun1BCH+81edLkWBqChfzoy3RCH/3aN8xPJ98h DtpAdCyvDgzqu241QKR/ZLZKGX3c99lv42Xgd4= IronPort-Data: A9a23:W06SwqDLR9h6bBVW/2row5YqxClBgxIJ4kV8jS/XYbTApDt3g2EEy DcYW22Oaa2NNmukftggaYu+/BhTsZPUz99rOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuGZDdJ5xYuajhJs/na+Es11BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc50PITGTLyPRyMForMt054updHFFh5 8VNfVjhbjjb7w636LeyS+0pi8h6ace3YMUQvXZvyTyfBvEjKXzBa/+StJkIgXFq3pAIQaq2i 8kxMVKDaDzJZRFVN1ZRCNQmm/+lnXLiWzJdoVOR46Ew5gA/ySQrieOwb4CMI4DiqcN9mQGaj DP5znbAPlIwBoWYzBS+qkidmbqa9c/8cNlPTeXnp6ACbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xYA5/UmvC938RAGQu2+BphdaWtxKEuR85hvl90bPywOQB2xBQzIYLdJ66Ik5Qjsl0 lLPlNTsbdByjFGLYXyTyaizpjKuBTMIIj8jfSMuUDsq8eC29enfkSnzZtpkFae0iPj8Fjfx3 y2GoUACa1M73Z5jO0KTrQCvvt68mqUlWDLZ8ek+Y45IxgZwZYrgaoDxrFaHsbBPK4GWSlTHt 38B8yR/0AzsJcDX/MBuaLxSdF1M2xpjGGOB6bKIN8d9nwlBA1b5IehtDMhWfS+FyPosdz7ze 1P0sghM/pJVN3bCRfYoP9jrUJp2kfi7S4SNuhXogjxmMsgZmOivrHEGWKJs9zy3+KTRufhva cjDLpbwZZrkIf42lmfnHY/xLoPHNghlmDqLGsGlp/hW+bWZY3GRRP8ENlDIBt3VH4vVyDg5B +13bpPQoz0GCLOWSnCOreY7cwpWRVBlXsueg5IMJoa+zv9OQj1J5wn5m+55I9QNcmU8vrugw 0xRrWcClQGg2iWXdlnUAp2hAZu2NatCQbsAFXREFT6VN7ILOO5DNY9GL8BrL4o0vvdu1+B1R PQjcsCNSKYHADfe9jhXKdG3oIV+fV75zUiDLgi0UggZJpRAfg3u/sO7Xw3N8CJVMDG7m/Fjq JKd1yTaY6E5eSJcMOjsZsmC9WiB5UompLoqXm/jAMViR0H3wY07dw3zlqAWJu8PGzXixxyb9 QCcPjkAr8KQoYVvqNjtroKHprePDOFRMBd7HW7azLDuLgjc3DOp7rFhWdayXwL2dT3L6oT7Q s5K3dTQDeYhoG9al6ZdT5N60rMY5fb0gr1RkzRfA3TAamq0BoNaInWp2ddFsotPzOR7vTSad 12u+N5IH6egI+LgTUAsITQ6YtS51f07nifY6dI3Kh7Y4A515L+2blVADSKTiSByLKpHD619+ L0P4PUp0g2YjgYmFv2kjSoOrmSFESEmYpUd75ofBNfmtxovxlR8eqfjMy7R4qyUStByI0Ivc y61hq3Duuxm/XD8UUEPTFrD4ekMoq41mkFu7EQDLFG3iNb6lqcJ/BlOww8WECVR7Dt6itxWB EY6FndINZ2v/ihpjvdtR2qDOR9MLzzH913Ty2kmrnz4TU6pXFPjNGcWYOK/0G0FwWBlJhxe8 K+Skmr+Yw23fsurhioWcmxmoszFUtZe2FDjmsemPsLdBLg8Q2PvrZGPbFoyiSnMIJ0OlmjYg +h1psBiRLbeNxNMk5YkCoKf66sceCqEKENGX/tl2qEDRkPYRx2fxhmMLBqXVv5WBvmX73K9N dNiFvhPWzu6yiyKiDIRXowIAr1smc8W9MgwQazqKUEGoomggGJQ6ryIzRfHhUgvX9lKuuQ+I NmIdzu9T0qhtUENkGrJ9MR5Km60ZOcfXzLF3ce3zf4oEqwSu+Q9YGAw1bqJ50+uCjVFxC7Nn g3/ZP7x9ddAmKBMhIrnF5tRCzqkce3TUPu6yyHtktBsQ+6WD+LwmVI7ll3VMT5SH4MtYPVst LHUsNfIzELP57k3dGbCmqi+LapC5OTsfe9bLvPIKGJ+mA2cUvTN+DoGwXizcrZSoeNe5+6mZ gq2U9SxftgrQOVgxGVZRixdMhQFAYH1U/vEiQaiic+TUz4x/BfiLty10VPIN0RgaT4uKZnyL iTWqsSezIlUg6oUDSBVGsw8JYFzJWHSfJcPdvrzkGK9JXapiFbTgYnSv0Msxh+TA0bVDfugx 4zOQyX/UxGAuKvo6tV9mK4qtz01CEdNu8UBTng/yfVX1Q/jVHUnKN4DO6ooEptXyyz+9K/pb QH3MVcNN3/PYiRmQz7dvvLYQQatNs4fMIzYJxso3X+uRQWYOYeiOIZlpwBcuypYWz26wO+ef IRUvjW6OxWq2ZhmSNoC/vHx068t2vrewWlO4kzn1dD7BxEFG7gRyXh9B0x3WDfaF93W3lD+T YTvqbuonGngIaIwLSphR5KRMBQQvTeqwjlxKCnTnJDQvIKUyOAGw/r6Uw02Pnvvc+xSTIPih 1uuL4dO34xS8nMWsKot/dkuhMeYzNqVS9OiIvaLqRI6xsmNB6dOAy/GtSUKRcAmvgVYFjsxU 9VqD2cWXCy4Faya5FFaJcjlNX68vrLgwgwlVDLCmAI= IronPort-HdrOrdr: A9a23:oKPxO68/sC2nnipajQ1uk+AWI+orL9Y04lQ7vn2ZLiYlCfBw9v re5MjzsCWftN9/YgBEpTntAtjjfZq+z+8X3WByB8bEYOCOggLBR72KhrGSpQEIdReOj9J15O NOdbNhAMb8AVU/ocHx+xmgDtosqePqzImYwcnbi1hgRRx3cK17hj0JbjqzIwlZQE1pC/MCeq Z0JfApm9NjQxkqhwiAZ0XtltKim+H2 X-Talos-CUID: =?us-ascii?q?9a23=3AYks8+mmyoVRqHpJ8YJnB2+p54h3XOXPT82j3KE6?= =?us-ascii?q?kNX10R+20UVO65ZNLgfM7zg=3D=3D?= X-Talos-MUID: 9a23:Fqa6owTUAUjrL0CBRXTrwzNIZfhZ8Z2SS2o/yJIDlfLcDx1vbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.14,257,1736809200"; d="scan'208";a="213572114" X-MGA-submission: =?us-ascii?q?MDFwBxVX5MHvqb9hGIc40uF/y/WSLgeSJKL+nm?= =?us-ascii?q?soDufdWHvtqG4y06Hbv5SWDHYVORqA+TBhUkt//MLaXeFMG26sKeIO5o?= =?us-ascii?q?eQgl7i6M8G9LCvbFIRz9vh9j8C8mLjaEALOCII5cVSB6zZxSG9XDc7vl?= =?us-ascii?q?rCSzOMxs30XQI0wyUlXmHaOA=3D=3D?= Received: from mail-ed1-f44.google.com ([209.85.208.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Mar 2025 21:04:51 +0100 Received: by mail-ed1-f44.google.com with SMTP id 4fb4d7f45d1cf-5dccaaca646so53119a12.0; Tue, 18 Mar 2025 13:04:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1742328291; x=1742933091; 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=SfAo3Mj1qw8RidtZLIffuRLVZbBe3fVZmqSTw+ebzgI=; b=ZQGxdLfw64+yJfpx5u3SZJYyDGXGWlHfnmEJJDzCD5vudkYShnoa3sWXSClubU5m7u WT8qVjav1ZbIpC6VQ169mIvzAatKgVDPnuhDP0EzKIxJjkxtht38vmBLiBc3HULIFrPh ZPTwOW478NRv2vSE01woVm4k4XI7PK9AnC5HDAYC/1pyL+0KG61LcNqrpigD20h27U1v yI1FWG9qXkXXQVa5nkzCsXP7cczYqnK3xBf3dUh1Z2Kvwf8y9rBQRMC+mQUZOwnCUx0f K0yTQhicb3ZR+WbPDS0yg6c4CveZa1lzvQVXRzus0B61TlzyGcliA7YEF95KwBYwXK+A IwVg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1742328291; x=1742933091; 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=SfAo3Mj1qw8RidtZLIffuRLVZbBe3fVZmqSTw+ebzgI=; b=X4QuKvfI1wRAReWn0edqtZvAAjzJJEHldXyt7G7pqe8fhsRle1LB3WwDc6gixR8fi3 kn2B/cqC/uhMM3lmxxiIiAFyheVTYi1e4cEN/Z/TncJcttihc7P36jwHoqfwEsTkuDiY 4IWADNsK6Iqzq1Fg+1Xyx8mkmnyrUhb+ffzhOH/ZvF+cN58tHMS44NoJk6MP395MUC2e ydzpkHotvbj1JsC44XH6fM2H8p8E3OCZ1G6Kk+otFJb3RRgJcCVxHBbClRHF9jMk8RoT ubC66J7JclNd4tze+lBwHDvL6YXR2jxXLVsP6PP4DXIpcAJyl67/m8bIVRPeC5nmpyQs bA9g== X-Forwarded-Encrypted: i=1; AJvYcCVnlmSitrpTfMuGje07Qj0EGYZVROpTxqwF1AWQAzLu4oRi6H4Bqom1NzYumw+Iq7INB2z20pupyE4=@inria.fr, AJvYcCXn+vpAhKA6T/+42nfI1fl/wCuvViEQMBxA3xhaE7VbNFryz+F+XqZyndvNbf8rZEtvGXsc3SJMQ6g=@inria.fr X-Gm-Message-State: AOJu0YwtiiPuXKBE/FABh8Prh53b1mcWbzp1AvVd4tR30AdtU9+/z87j nADM0QYCspTb/i/LBf1QZBMT5FsXc5C9IlT9UKRsFP3hNLHEmTkPH2rR08GGQSaZ81Oc3UPSYqA ylXRP+26Em0FTNLJvkT24Cq+VEmzfxhs/ X-Gm-Gg: ASbGnctLwiMQP3LrW/Ts2KemoOHMav8UIW6nDvPBtxpo1y0BSiSZf7IZ+opq5bOMcv9 2ikBF3Ne9oG5yidXfmeXhdjz/0Vq7GTpzgCjmBxCQhkS0NwRUYTjcReikP2RLU1glDYJjOZNsPh UZ+pUreejUmWUfAqymgL+Jr/2b7ejUIUMw+OJpxAA= X-Google-Smtp-Source: AGHT+IFBXp+3MXJl6Zxm+JXBA+3mg14C1DAbZzz4+H21Mrphl0bXBxAnb+N5PWJ2oseQRSqRMvJ5xiwGnEX9hmHpn/I= X-Received: by 2002:a05:6402:350b:b0:5e0:8a34:3b5c with SMTP id 4fb4d7f45d1cf-5eb808dc5a1mr115192a12.0.1742328290291; Tue, 18 Mar 2025 13:04:50 -0700 (PDT) MIME-Version: 1.0 From: Andrei Popescu Date: Tue, 18 Mar 2025 20:04:39 +0000 X-Gm-Features: AQ5f1JoJCiCqr0Am4fsY3OEH21amBoGA8lwkUeiqnNrHob78WCT7AQ19ytCVR5E Message-ID: To: cl-isabelle-users , coq-club@inria.fr, fom@cs.nyu.edu, categories@mta.ca, hol-info@lists.sourceforge.net, "Announcement list for the South of England Regional Programming Language Seminar (S-REPLS)" , caml-list@inria.fr, agda@lists.chalmers.se Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Midlands Graduate School 2025 final call -- registration closes on 24 March Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19281 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, There are still slots available at the Midlands Graduate School in the Foundations of Computing Science -- offering eight fantastic courses on category theory, type theory, coalgebra, semantics and more. Registration closes on Monday 24th March, at 1PM GMT. Best wishes, Andrei =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D 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 REGISTRATION The registration fee is =C2=A3300 for academic participants, and =C2=A3500 for industry participants. The fee includes all lecture courses and example classes, lunch and coffee breaks. Registration closes on ** Monday 24th March **. Spaces are limited, so please register early to secure your place. SPONSORSHIP We gratefully acknowledge financial support from Amazon Web Services and from The Research Institute on Verified Trustworthy Software Systems (VeTSS).