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=lqAA+nIy; 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=eXv+wMoR; 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 7E8F54003F for ; Mon, 3 Feb 2025 14:37:43 +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=b7FoZCi1sTIGGFzVbxQ/rCp4+4VviJ/gYK4fgKnhavU=; b=lqAA+nIyJzTbdKNQ1dFbRI/aEFnQ1yPyaPfRnyOsSQx9S+DhuYVcFfbe HVtqn34PcVdymsbuQtHPatw6kDb8Kz8v70M2CPz9eXYi/2ZcthP0986vd nlX72cjp5ROrrIWO3fK22AlhuAoBArtBJlpC5Daj3tuRYseuHXU3/dhYK A=; 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,256,1732575600"; d="scan'208";a="206311848" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Feb 2025 15:37:43 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 06C18E0D23; Mon, 3 Feb 2025 15:37:43 +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 68586E0260 for ; Mon, 3 Feb 2025 15:37:41 +0100 (CET) IronPort-SDR: 67a0d4b4_bHpM5qBQSnYD5vaXlB4Iowtee5h4g/dSV3n+p+aZ0FgnVLs gWeUhy1am2tHXzEyFK+H2LU3oN0AkI+QuvnFhsQ== X-IPAS-Result: =?us-ascii?q?A0FkAwC106BnfCnaVdFaDnuEF31ZNAQLSIRWg0+MADOeM?= =?us-ascii?q?YFqgSw+DwEDAQ01CQYEAQEDAQOEfAICin8CHgcBBDQTAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBARABAQUBAQECAQECBAYBAhABASIZBw4SKYV7DYJFUXFhAgUDOgEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAhQYPzgRHQEbDBIDE?= =?us-ascii?q?hAPAiYCIwERAQUBIzSCYAGCLwEDMQOkeoEFQos+gRUFAhaBAYINBoEJPgXZE?= =?us-ascii?q?AoZKA1sA4FiAgEGFIEGLoR0KU4OgjgdAYFsg387g0KBIYEDgSWBSoFzEj0Ch?= =?us-ascii?q?HgoJziDDoJpBIIvgUKDb4sRhA+HB4ZLOH0+g0YmCAEGFwMHBwkFBBwGBQUCQ?= =?us-ascii?q?gkGBQoSAwQDBAQBAgsTCQMDAg4CCAMCCAYZAT8SBBMKDQsHBR8KCAwRCigDI?= =?us-ascii?q?hICKQ8BAgEfCi4FAxQEGQEBBwYCAgMBBAIEDAIDBgICCAQDAgsJAwIEBAIBB?= =?us-ascii?q?RIDCwEFBgUBAQQMDgICBgICAQgCAgEBAhQBBAMIAgEEAwUDCgEBAQIBBBQGA?= =?us-ascii?q?wUDAwcDBAIDAgYCBAoCAgMDAgMBAwMCAQIDCRAPFgICAwQCBgICAQQmAgEVB?= =?us-ascii?q?QIDBAICBwICAwECAQICAgQCBAICBgMJCAECAgcBAgICAxUCBQEECQMDBRIMI?= =?us-ascii?q?AMCAgICAwcKAwUCAQECBAMDAwMMDQcCAwECAQMFAwECAQIJAwYCAgMDBBIZB?= =?us-ascii?q?QMCDwMCAQUEAggQCwcBAQ8UBQQJBRUDBgIDAxYLBAUDAwMBDA8OAgILAwQTB?= =?us-ascii?q?QEBBwEDDQgDBAQCAwMJAgEQAQMEAgkCBAECCgICAgICBAEBBQQCBAMCBQICA?= =?us-ascii?q?QgEAwMDDQQDCAgDBQMMEgICAgkCAwECAwMDBA0IHQUJEQsCCQMEDQIEAgIBB?= =?us-ascii?q?gMGCgYVAQIYAgIGDAQDAwgDAgMCAgECAgIBEQICCQgNBQkFBgIXAwIDCAEJA?= =?us-ascii?q?w8DAhQBBgIIAwcBAQQCAgoRCgEBAgIBBiYDAQECFBMHAwgCAgICBhYMAQUHA?= =?us-ascii?q?wcPBQUEAgIWAwMSBAQQAgIDAwIBARQGFQEFAgMGCwEGAQIFBAIDBAISAgMOE?= =?us-ascii?q?wMDBAYDAQIKEAIEAgkKAQUEAwcFAh8DAwICBQsCCAICBQIFBwMJDgECBQMEC?= =?us-ascii?q?QIUAhACAgICCBYCAgIFBRgBAiYCBAECAQIBAgECAQoBAgIOCQMEOgYRBAIDA?= =?us-ascii?q?wIOAQICCwECAgQCAwEEBwkDAwkKBwEKDQcCAgoICRABAgIPBwMCAgICBgcOA?= =?us-ascii?q?wITDwUGBgIKBw0LAgECAhUCAwkGAwUNAwcECg0CFQIWBQMgAggJCwIHEQIFE?= =?us-ascii?q?gMHBwUDAgIRBAIDBgUDAQcBEAcDBwgCAgwCAgICBQIFAgUXEQENBAMDAwIIA?= =?us-ascii?q?QQVBgMJCCobEgEBAQUBCQIDAgMECAMDAwIDBAwLAgEHCAMDBgsICQYDAgcIG?= =?us-ascii?q?QMFBAMHBQshAgYDAgQFBAEFAhMNAgMZAgYDBhQJDAIGBwEHCQMHAQEBAgICC?= =?us-ascii?q?AEFBRICAwQCBQQEAQESBgIBAwICAwQKAQICCgIICgEJEwQDCAMDAwMDBQECA?= =?us-ascii?q?ggEEwUFAgEFDBMMAQoGAwYDBAICAgoBBwIDAwMCBwELIwIBAwICBQICAQUDA?= =?us-ascii?q?gIGBAMCAQEJAgMCCAECAgEBAgICBAEHAQsGAQECBAICNAIBAwkCBQEBAQ4CB?= =?us-ascii?q?gICAQICAgQCBAEICwQFDQEBAgECAgEBAQQBCAMBAQECAgMDBQMFCA8NAQEXC?= =?us-ascii?q?x0FBAUCAgEBAQEBAhMCAgELAQIBAQMbAgEDAwQBCwIBAQQfBBYCAgICAgIEA?= =?us-ascii?q?gMCAgMCAgILEB0CCQMjDwMLCQgTPQELBzIENgEGDhQHKyFfnUM9gQ6CDYItg?= =?us-ascii?q?RGUOyWzGgeEHoFjhDCGBZVIM4QEjQaZSZh8Io1imxkRIxKBSSOBXDMaI4EBg?= =?us-ascii?q?jYhLgMZD5IbjzS4IkYyHgEdAgcBCgEBAwmQMYFLAQE?= IronPort-PHdr: A9a23:jXpQXB94xKj8U/9uWT+1ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z gqHvb400w+VFcWDsrQY0LOQ6/ihEUU7or+/81k6M6ZwHycfjssXmwFySOWkMmbcaMDQUiohA c5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/I RuooQnLqsUanYRuJrszxxbKrXZDZuBayX91KV6JkBvx6Nq88IR//yhMvv4q6tJNX7j9c6kkQ rNUCygrPXoy6MP3qxfIUBGB5mEbUmUYkxpIBxbK4RTnVZrvsSX0q/Rw1jCCMcL5Ub47VzKi7 7x2SBDzkycIKyQ58GDMhcNuiq9QvQ+sqAZ+w47QZ4GVKeZ+c6bAdt4UWWZNQsBcXDFGDY2hc osPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvXvbrNv7OqQcX /2rwqbUwjvOdO9W2S7n5YTUbhwtvfOBULRtesTR00kvEAbFg02MpIzjIjyVzPoCs2mG5OR6U uKvk3AoqxptrTiy28whjZPGhoQIxVDe6yp5wZw5Jd2iRE5jZt6kCIVftzqGOItrWc4iTGRot zw7yr0Co5K0YC8KyJE+yhPZdveIfJSG7Aj5W+aNPTd3mmhleLSnihus7ESt1vDwW9Ww3VhEo SRLktrBuH8N2hDN5MaKSvVw8Em/1DuSywze5eBJLFwqmKfGN5Iswbo9m5QOvEnAESH7nlj9g qGRdkUh4Oeo6uLnb636pp+dMY91ihz+Mr4qmsClHes4NQ0OUm6G8uq/zL3u5VP1TKlOg/Esk aTUsIrWKdoGqqO6GQNY3Zsv5hCiBDq41NQYgGIHLE5bdxKdkobpOlDPL+7gAPujhVmnjS1ly OrcPrL7B5XANnjDn6nlfbZ680NczRA8zdFb555NFL4BIu//Vlb/tNHXExM1KQO0w+HgCNVy0 oMRR3iDDbOeMKPXqVOI5+QvLPeQZIINpjrxN/wo6+TtgHI5g1MRY7Sl0JgNZH23A/hqO0CZb mDtgtcFH2cKpA0+TOnyhVKYVz5cemyyULw95j0hCIKqF5/DRoe1gLOfxye0AoBWa3tJClCJC 3jodoGEV+0QZyKVJ89tijoEWqO5RI87yR6urBP6y6ZgLufM5yEUrYjj28Rt5+3PiREy8iR5A NiH3GGIS2F4h2cIRz4t3KBjukF90VeC0a1gg/NCD9BT5vVJUh07NZHG1eB6BcryCUr9eYKJQ U2lT9GiKTE4VdE8x9tIZFxyX52ihwvA0i6uRrQcmbGjBJUv8a/Y2z72Pck5g33P0a1ki1g9X uNOM3enj+hx7UybDoXNyW2Ei6KrbrgHmjPR+XeK1iyDsFwLfhR3VPDsW3wFa0qeldPh61jJU vf6ALIrKAZAj87EMqxSZ8bikH1JQf7iPJLVZGfnyDT4PgqB2r7ZNNmiQG4axiiIVBlse2E7+ H+HMVN7HSK9uyfFCyQoE1vzYkTq+O04qXWhT0ZywRvZJ1Z52e+T/RgYzeeZV+tVxqgN7S4np y95HRC9mcrRE9ebrBdJc6BVYNd761BChirCrwIoBpW7NOh5g0IGNQF+vkfgzRJyX4xGndInr TUqihJ1Ma+D205peDaR3JS2MbrSeSHp5B76TanQ1xnF1cqOvKcC7PNts1L4oASgDVYv6V1i2 thRlnaev9DEUFNUXpX2XUI6sRN9otk2ewEb4IXZnT1pOKiw6XrZ3s4xQfAi0lCmdsteN6WNE EnzFdcbDo6gMr5inV/hdR8CMO1Ikcx8d8q7a/uL3rKqN+d8jXqni2pA+oV0zkOL8WJ1VOfJ2 58Px/zQ0BGAUn/wi1Kos8a/no4hB3laF2yz0yXlQo4XfqpqcJ0AFE+hJsS2wpN1gJusE39U+ Vi/Bk8XjdezcEn3DRS11glR2EIL5H2/zHHgnnokzndz9/rZgHWdpoaqPAAKMWNKWmR42FLlI IzvyssfQFDtdA8x0h2s+Uf9waFf4qV5NWjaB0lSLE2UZylvVLW9sr2abotB8pQt5G9eVuimb FHcSvjlpAMXyCj+N2RbzTE/MTqtv9+q+n4ywHLYN3t1oHfDLIt5wxvF6d2aRbhJ2SILXyJlo TbSD1m4edKu+J/H8vWL+vD7XGWnWJpJdCDtxo7Vryq361phBhinluyykNnqeeQj+RfyzMIiF SDBrRKnJ5Luy7z/KuV/OE9hGF777cN+XIB4iIo5wp8KizAWgZCc/HxPlmmWU50T0KTydncMA z5N29nN7RPuxWVsK3uIw8TyUXDVzsZ6Zta8a38bwWpnt5EMWPrStuUU23cs6lOjyGCZKeBwh DIc1ecj5DYBjucFtRBshiSRD7YOHFVJaCnllhCG9de7/+1cYGeid6T11VIrx4jwSuHf5FsFC DClI8RHf2c49Mh0PVPS3Wem74jlfIKVdtcPrliPlA+GieFJKZU3n/5MhCx9OGu7s2d2roxzx RFow5y+u5CKbmt3+6fsSBdeOif4ZoUTvCnqlatFldu+0IWmH5EnETIOFsiNL7rgAHcJuPLrO hzbWjQ6pm2WGPzfWxeY8Ep9pG/nHJWiNnXRL34ch4YHJlHVNAlUhwYaWy8/l5gyG1WxxcDvR 0x+4ygY+l/yrhYfgvItLRT0VX3T4Ru5cjphAobKNwJYt0sRgiWdedzb9O94GDtUu4GsvBDYY HLOfBxGVCkIQhDWXA2lZ+j2o4OcrK7AQbDiZ/rWPefQ9aoEDKzOnMz3lNMhpmfpVI3HP2E+X aNlnBMbBzYhXZyewW1HSjRLxXyTKZTH9VHsomsv6ZrnuPXzBFCwv83WV/0LYI8po1fv0cLhf 6aRnHordmoej8lRgyeOkP9GghYTk308LmH9V+1f6midCvqXwPYfDgZHOXosb40Rvv56hk8Vf peF77G9nr9g0qxvUwYDBQGnw5v5I5RNej71NUubVhzSavLbdXuSkpuxOeTlGPVRlLkG7UTu/ 2zAQgm4ZHLb0GC4MnLnefdFiCXRVPBHkKe6dBslSW3qTda9Lwa+LMcyljouh7s9mnLNM2cYd zl6aUJE6LOKv2tehb1kFmpN42AAT6HMkjuF7+TeNpcdsOd6SiVymeVA5X0myrxTpChaTf1xk SHWo5ZguVaj2uWIzzNmVlJJpFMpzMqTul5+PKzC6pRacXPN/RZI4GfJThpW/p1qDdrgv60Ww d/K1eryJDpE79PI7J4cCszTe6fleDIqNRvkHiKRDRNQF2b6czGCwRYEwLfOry7wzNBysJXnl ZsQR6UOUVU0EqhfEUF5BJkZJ48xWDo4kLmdhcpO5HykrRCXSt8J2/KPHv+UH/jrLy6UyLdeY B5di7r+IZ4eN8v7nVRlclRhl5niFE/ZXNQLqSpkJFxRwg0F4D1lQ2s/1liwIBuq+2MWHOWok wQejwJ/ZaEg9m6p7QtuYFXNoyQ0nQ86ntCv0lXzOHbhaay3W49RES/9sUM8Z4j6TwhCZgq3h UV4NT3AStq5YJNvcGlqjEnXvp4dQJa0rIVBaR4UgPyVPrAmjQ0apSKgyktKo+DCDMk6/OPPW ZGppnNEnQlkaYxtTZE= IronPort-Data: A9a23:dFvXzqwbiQcFxT9pyEZ6t+efwirEfRIJ4+MujC+fZmUNrF6WrkUFz 2oZW22GOvaIZmryKd5/Od7l/UME6sXXnNc2SVFoqVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmUc3l48sfrZ9Us15K+q4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFOy/vdgAGwrB7Yl98JPD1gR8 6EaKh8kO0Xra+KemNpXS8Fpj8UnacTpZcYR5igmwjbeAvIrB5vERs0m5/cChGZ21p0IR6+OI ZZAAdZsREyojxlnM1EbEp8/2ufunn7nfiZTtXqaoKM25y7YywkZPL3FaYKFIoHUGZUL9qqej lLK0WTgITMgD+a0+xWl/X6CqeLyxwquDer+E5Xjq6cy3wzNroAJMzUdXF6/5P24kVKWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBsxxFHtQMSqs17waCzqeS6AGcboQZctJfQIIbtsE6aCEQ7 WKEu+vnPGNp7b+XZlvIo994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHokL/Emd3o2dJN3g/ w1muhTSkFn6sCLm/6Cy/FSCjjD145aVF0g64QLYWm/j5QR8DGJEW2BKwQmLhRqjBN/GJrVkg JTis5bEhAzpJc/Q/BFhuM1XQNmUCw+taVUwe2JHEZg77CiK8HW+Z41W6zwWDB42aZZZI2awM B6P5V45CHpv0J2CPf8fj2WZW5RC8EQcPY68PhwpRoMeMscpK1/blM2QTRXJgji8zCDAbp3Ty b/ALJ/0UidEYUiW5DWxQOgZ3PcqwCt4rV4/triqpylLJYG2PSbPIZ9caAXmRrlgsMus/l+Jm /4BbJDi40sEAIXDjtz/q9J7waYidyVjXcieRg0+XrLrHzeK70l4UqaJme9wK9w190mX/8+Rl kyAtoZj4AKXrRX6xc+iMxiPsZu2Bc0j/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABGai+4Cs py79waCQZM8VwVoV8nXT/S0zmKOh3sWmcMsfk6RItBsZ1nez496DxPA1toMfscGc0TFzBSny jfMUAs5pPbMkaAx4tLmlaCJlKb3MupcT25xPXjX0qayDgbeplGc+I5nVP2aWBzsT0X287WGS cQM6N+kK9wBvlJBk7QkIoZR1ahkuufe/e5L/DprDFDgTgqNCIo5BlKkwMMWlKlG5oEBiDuMQ kjVp+VrY+SYCvjETmwUChEuNNmY9PcunTLX0/Q5DWP66AJz/5uFSU9iBAaNugMMMIpKNJ4Z/ sl5tP408wCfjj8YAuSChA1Q9EWOKSUkeIcjvZc4HoTqq1QKzndvXJ/iMRL1saq/M4h0DkoXI zGvlPXjgZZYzRH8aHYdLyXG8tdcopUsgyp06mE+CW6Hoff/vc9v7iZtqWw2ai930iR41/lCP zk3Fk9teoSL0TRapOlCeGGOHQt+KgWT0RHzwQFRlUnybUqhZkrSJkITZMeP+0E49TpHXz55p bu39kfsYQzITurQgBQgeBdCgOPxaPBM7Sv+odCDM+XZOoglcBznr7SLZ2FVmyD4AMg0ulLLl dNq8Ml0d6f/Eywa+I8/NKW3ypUSTwKiNkVZYPQ84p4MI37QSAuy1ReKNUq1XMFHfN7O0E2gD v1RNtB9bAu/2AmOvwIkK/Y1eZEsp8EQ5f0GZr/PDkwFueHGrjNW7bThxhKnj2ovG9hTgcIxL 73KTA27E0uSuGB1nlHcp8wVK0u6Ztg5PDfH5t6Xy9lQNZw/s7BLS3oQg5+UpHSeNTV18y2E5 D3jY7Dk9M086IBOsba1LIB9KVSaFdfBWt6M0jiPiPVVTNaWMc7xpwIf8VbmGAJNPIouYdd8l JXTkdv7wHL6uK0SVkbHkaKgDIhM3925B8BMA/L0LV5bvCqMY9Dt6B094FKFKYRFvddex8u/T S66VZeUWfsKfexCnVt5RjN7ERkPL4jWNILbujKbvfCALjM/wD73Boqr2lGxZF4KaxJSHYP1D zHFnsqH5/daid9pLwAFDfQ3OK1ICgbvdoV+fuKgqATCKHejh26Dnb7QlRAAzzXvIVvcGebY5 aP1fDTPRC6Qiorpku4A65dTuycJBklTmeMzJ0IR2+BnggCAUVIpE74vDoUkOLp1zArJy5DKV BPcZjADCAL8fwh+XzfS3dDBZjqbV8syYorXBzpw802tPnL8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvEDCJ GxwSGIdBU/nEAj+FsFvf3MTExYc1N8qI/PEcg/XqOszea3CpAGD9BE7E+7227wHKs8NIdbig FvpEnCV7Tn+NmM74MMUVhFAvUOwIf2OF8m+aqTkQGX+Wk12BnsPZ6s/oMbEcC3uFMOz3b8Qe vlALkXS3Hi4FX0= IronPort-HdrOrdr: A9a23:LBbLjKtrOOn30gJs3ccpsBs77skDuNV00zEX/kB9WHVpm6uj5r uTdZUgpGfJYVMqMk3I9urwXZVoLUmsl6KdgrNhXotKPjOW31dARbsKheDfKlbbakvDH4BmpN 5dWpk7J9vqE1BggMr2pCW+Gc0x2cSK/cmT6dv2/jNCSUVEZ6l88xx0EG+gYylLbTgDK558Op T03KR6TvmbFkj/rP7XOpDIZYn+ThTw9K7bXQ== X-Talos-CUID: 9a23:FCRm3W4ZcQPSbfWYdNssqnMWFMwIb0fm8Xr0G0GBVmA0Sr+6YArF X-Talos-MUID: =?us-ascii?q?9a23=3AX4TjIg8+g4s0kX8MFbx8NZqQf/dkzaS3K2I3qq8?= =?us-ascii?q?tieakOiBeFDqg1h3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.13,256,1732575600"; d="scan'208";a="108056486" X-MGA-submission: =?us-ascii?q?MDGhurNHs/CXFKBRM8i2jqfFWTqzCpsAtLpxWk?= =?us-ascii?q?tuggy8cNAOhC0RPrOx0CtoG2C7kNqIM/jE6ClxR5KDO1qhY19OP92tpA?= =?us-ascii?q?a06ZJzRQwHqlEDjuyuazb+ZZ2C8P2uWReoXNP5ZpNxFXRuxnE8MDkmNV?= =?us-ascii?q?CUFZ+loou81DnLuZo3BYKvyg=3D=3D?= Received: from mail-ej1-f41.google.com ([209.85.218.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 03 Feb 2025 15:37:40 +0100 Received: by mail-ej1-f41.google.com with SMTP id a640c23a62f3a-aaee0b309adso800378966b.3 for ; Mon, 03 Feb 2025 06:37:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1738593459; x=1739198259; 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=b7FoZCi1sTIGGFzVbxQ/rCp4+4VviJ/gYK4fgKnhavU=; b=eXv+wMoR20V6vnC914GK4YQ4sKkDNGcImOEqYn4VwWUgnUdx6Ragn/ItEtpTRfibRs uAN48PPH7JCOYafMIS7Rn2lN8nLC96Xn1c19BZXNOF/1G5BwVo9Hw2Gf1mjpY+ZKcQCw Jukt2OzAoWxOPvd9WLVCITqOLFVekYIB3wlQXAP9n689++c7OARFa6GJhyU2Z+MS+tZc 2kb6sHk/rXuJ+29KDZYwqqi+ZunDGjDsO6k4VewVSGiHbx/2RNnzWzD6DJkUwaC/rcTB pPSmlcKRuSbroXQ+csaF4yavwMTIWAMUlwQ+Z4Ngly9vcghuikjE9fibDmLrwd0WjWQ2 aZxw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1738593459; x=1739198259; 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=b7FoZCi1sTIGGFzVbxQ/rCp4+4VviJ/gYK4fgKnhavU=; b=EG21bhSFC3W3BMmKg7wAV01xvHqIBIWTEsnnhd1N84K0QjEUdGqznC+b10r+i5CFFN KRe+EysVTeSROGwClOn64AyYfZhZXYhZpfPNHIxM0qbG52KjGFmft8+70wOVSKR/v+Ig AoY2MpNrxnzO+yWru2h1JRT50EOOQpYBrmFHaIOrpEZFHeyOLLsh7h7YhesPn2i8m3dS 6umiGZFKdT0jwHRRhxluqLP/8Y7qVgYpvre7OmzcETdYi49EhYWGYvfcnRXEI2KWeqnO KS+8ZpIDFglAHNRircSkLjLKBq1+AVkA+7LtwqmdxrbZIhJKMBe4NtwWzjeQm9JIyCFR PcaA== X-Forwarded-Encrypted: i=1; AJvYcCVKCaCXSPlcwC2hcVhK8wSfSr2u5cnHgjyRNOhwmPGEjNqWqI8xjhCHTWx2oKfvNO7b9lFNsn4mx+s=@inria.fr X-Gm-Message-State: AOJu0YygTEB0X6CHMgBnfWjRGZMkwpHdku0RYX4Cb8UuUgN0Lhf77MHY CT+1PWNaXvVqp0jiiLX/pIOhi6NbW2U4GultQ/OeGQqo8xfQmUGZosDNVqrmZx3XbDvXAE8y8T0 aYDmPcHBgOs0i2G2slUDX7r6SJfmXOidQ X-Gm-Gg: ASbGncuFBE3bnW4Fpz0Ki8sXjCyU2GS4w0WNFBzXh+JSlt/0H9C6AAqYQ6L76Aaujpa FL3nUUzqqAFraEcU2umt6ewQpgjh7k/Q7/9xiiua/8SVW7JB9/dppZrxrePskroOjG2mEkZie6T dFgTWZVRa4ktPSb4C2abmCbweJMWR3e24= X-Google-Smtp-Source: AGHT+IEnoG4Q1aks7/Dwyzj4lG5wVPmX5ZNBQpI+LzbrJrKnZ/SfefHZ4pn2yld+heWfHXCD/BClCn7YNK0be9N044c= X-Received: by 2002:a17:907:2d8c:b0:aa6:5201:7ae3 with SMTP id a640c23a62f3a-ab6cfdbbc25mr2478968566b.40.1738593459376; Mon, 03 Feb 2025 06:37:39 -0800 (PST) MIME-Version: 1.0 From: Andrei Popescu Date: Mon, 3 Feb 2025 14:37:28 +0000 X-Gm-Features: AWEUYZkntbr8zGROUQB68o0Wpgd4Mw5KbSy1zd-IOCDyuTpo4gpCN76KWTywUqw 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] Midlands Graduate School 2025 hosted by the University of Sheffield Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 19260 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, 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 ticket = for Wednesday evening. - Industry participant: =C2=A3500, plus an optional =C2=A330 dinner ticket = 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.