From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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= Authentication-Results: plum; dmarc=fail (p=reject dis=none) header.from=umn.edu 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=v2osvWE1; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=umn.edu header.i=@umn.edu header.a=rsa-sha256 header.s=google header.b=gkiu2D6Q; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id C6135B80123 for ; Mon, 1 Jul 2024 18:04:45 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:cc:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=/TuoANXYeNsTUx4RZQvyPK0Z8dRhbWLHk9U08IY5sU4=; b=v2osvWE1NaqKTv9uTtTWuVAWUnWu/Srym0tYntKQ20R15NeKMVvixBgQ sNK33ExV7D5VOR6WFuZoEd5unMY5m4Q7qKiVd2Y3tn8LFvpH9oUI5P4OT b9JULbp0WvgvHLxokAHS9k0ijyu6WQaBbNHmSLE2UlZ0EAyOsntmrW7VZ 0=; 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: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=@umn.edu X-IronPort-AV: E=Sophos;i="6.09,176,1716242400"; d="scan'208,217";a="173374014" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Jul 2024 19:04:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B9223E0D18; Mon, 1 Jul 2024 19:04:44 +0200 (CEST) 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 33694E0D16 for ; Mon, 1 Jul 2024 19:04:40 +0200 (CEST) IronPort-SDR: 6682e1a6_2UMk87yWJErUTcAOkNPpipDZJNHqiuNqbIqComB8v4uGpUf gA6B1fRMr1IiEg1IbH0MifATeV9aRSdjnUztzmg== X-IPAS-Result: =?us-ascii?q?A0F0BwDj4IJml83EVIZaDoJMgkJ8WjMHCEiEVoEjjwiYf?= =?us-ascii?q?IR9gVcTgREDGD4GCQEDAQ0UAgMOEgsEAQEDAQOBSwGBfIE3iRACHwYBBDcDD?= =?us-ascii?q?QECBAEBAQEDAgMBAQEBAQEIAQEFAQEBAgEBAgQGAQIQAQEBAQEBAQEcGwUQD?= =?us-ascii?q?ieFdA2CZ4EjZQk2AgEBAQEBAQEBAQEBAR0CDQdtDBYRHQEBNwEdAQcjARMCI?= =?us-ascii?q?xIBBQEiATSCXgGCZAMRoBWBBUKLO4EygQGCDAEBBtwGAQmBcAMGFIE1iDABg?= =?us-ascii?q?VUCAoNKWYNGgSEbfYEQgRU1gkSBdIFcAQGBKwESAU4bAoMRgmmZVYY9hFJ/J?= =?us-ascii?q?guBKotKJiYDBwcQK0kOASEDJjMhEwFVExcLPh0CFgMbFAQwDwkLJikGOQISD?= =?us-ascii?q?AYGBlk0CQQjAwgEA0IDIHERAwQaBAsHd4MdAQcEE0c3gQAGiQVhgxECBSEEJ?= =?us-ascii?q?Q+BYYEiUIInS4EsXQKCZIFrAQsBYIRLgklxgXF4RoFiTIEZBoFgMBskC2GBV?= =?us-ascii?q?oECIm4dQAMLYgs8ATUGDhtMOKlVhRgYgRCBIpMLJZFri2mVBoQdBYN4iBKNf?= =?us-ascii?q?4c9M4QFgx6JYoZBknMIl2V6II1WmwQRI4EfTwEPbHBNJRNsBoIwTwMZD444A?= =?us-ascii?q?oRLgXqMULsrJTU7AgcBCgEBAwmIcDKBSgEB?= IronPort-PHdr: A9a23:Sd7kCRFuqRXCwk2Yd0FuZJ1GfyJEhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21BmQBs6Cs68My7KP9fy6CCpYudfJmUtBWaIPfidGs/lepxYnDs+BBB+zB9/RRAt+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuNUajZF/Jqs/xRfFv2dEduRLzm9sOV6fggzw68iu8JNn6Shcp+4t+8tdWqjmYqo0S qBVAzshP20p/sPnsgXNQxWS7XUGSGUWlRRIAwnB7B7kW5r6rzX3uOlg1iSEJMP6Vb87Vyis4 KdtUx/olTwINyUl/2HNi8x/l7xUrRS8rBFi2YHUYYWVNP1jfqPBeN4RWGRMUtpNWyFHH4ixd JUEAfYfMulEron9v1oOogW4BQmwH+Pk1ztEimbr0aEmz+gtFAfL0ws9EdITq3TUtMv6O7sOU e67y6nIyC/Mb/JQ2Tzg7ITFfRQsrfSKULltc8Te1FMvGhvKgVuQp4LrPC6b2PoTvmeH9OdvT /6jhnQ9pg1tvjSixMEhgZTJiIIPzVDE8D10zoYvKt2mT057Z9+kH4FNvCydNIt5WcMiTnp1u CY/zL0Ko4C0czUXyJk+wRPUdvOIfZSS7B35SOaRPSl3hGhjeL+nhhu8/0aux+LzW8SqzVtHo ClInNbNu30D2BLe69aKR+dg8kqhxzqDyQPe5/xLLE03i6fVJYAszLE/mJYOtUnOECn7k1j4g q+Rc0Ur4Omo6+L/b7Xpp5+cK490ihzlPag0m8y/BuI1ORUNUWiD4emwybPu8ELjTLhJgfA6i LTVvZTbKMgBuKK1Hw9Y3p495xqjCzqqytcVkHkdIF5bZR6KjJLlNlPTLP3+EPyynVCskCpwx /DaILLhGIjDLnnCkbj/Zbtx90hRwxcpw99F/ZJbELQBLerzWkDvsNzYCQc0Mwmow+n9Edl9z oMTVXiIAq+YLKPeq0KI5ucpI+WWeoAapSv9J+Ak5/7ok3A5hUcQcbSn0JYYcny1HftrL1+Eb Xfog9oNC3kGshY+QeDyjV2NSz9TZ3K8X6Im4TE7DZqrDYTYSYCtm7GBwSK7HptMam9YF1+MD G/kd4OfVPgUciKdPtdhkiAYVbimU4ItyAmitBXmxLp/MurU5ioYuIr/29dv4u3TkQg+9Th1D 8SGz2GAVHp0n2MNRz8uxq9zu019ylGZ0ah5mfNUD9JT5+kaGjs9YKbGyOt0N9D/XRjQVtOIU 0q9BN+vHTF3R9l33txKK1t7Gsurih3Fw2+vCqMVmrmCGJ0/6YrT2H/+I8ty0XHbzLJnhF4jB oNvMmihmqln5kDvFpbE23mZmqGwZOxI3CnI83uE1XuSrVlVTA59Vr/UdX8YYUTSoNvj4V7aV PmlDrFxdkNd2NaPMe5DbNvukFNNSd/nOc/CeCSqlm6rQwuQy7WKKofmZiFV3CzGC0UAlygT9 G2FOAw6QCC7rCaWBzVrERfrYljw2eh4snKyCEEui0mDYEFo/7604QIOw/ecQvcW06gf/jws7 31/G0/41NbLAfKBoRBgdeNSe5d1615b2G3erQ1wJbSlNuZvikNYehkkkVnp0kBZA5tHl8kj5 CcpxgpaNKeell5NamXLjtjLJrTLJzyqr1iUYKnM1wSbjY/+EsYn7f05rw6mpwS1Dg859G0h1 dBJ0nya75GMDQwIUJu3XFxkvwNiqeT8ZS8wr5jRyWUqKbO95zzI2/o0Ae1jxxq9LJ9EKK3RL AbpCIUBAtS2bukjmlyndBUBaeNY9IYpOsXgevebi+awJOg1pDu9lixc5ZxllEKB8y0pUunTw 5MM2O2VxCOCSz65lArntcHr351BY3cfEnfXJTHMIolXa+UyeI8KDTzrOMir3pBlgIarXXdE9 VmlDldA2cmzeBPUYUavlQtXnV8ap3Cqg07ah3R9ji0po6yD3SfP3/WqdRwJPXROTXVjilGkK Ja9jtQTVkylJwYzkx7t6UH/zqld7KNxSgubCURCfwDrKmckX6et9/KDb8NJ9JI0oHBPSu3vK VueS7P7v14by3a6RDcYlGx9LmD0/M+hwk8f6irVNnt4oXvHdNslwB7e4IeZXvtNxn8dQzE+j zDLB1+6Nt3v/NOOlp6FvPrtMgDpHpBVbyTvypuN8SWh4mg/Sx61n9iun9uhHAQnm3yzx5xxW CPEoQypKIrh14ynNOQhc0V1TgyZiYIyCsR1lY0+g4sV0H4Ri8CO/HYJpmz0NM1SxaP0aHdlq Scj+9fO+0Cl3URiKinM3IflTjCGxdMnYdCmY2QQ0yZ77sZQCa7S4qYW1Sdyp1O5q0rWb50f1 n8ew/sG9XscxewFpUIhwz6cDbYbAURDdXW3y1LYs5bn/fsRPj7yObGrnFJzh9WgEK2PrklHV XD1d41jeE04psRzPVTQ0WHiv4Tted3ed9UW5VWflxbNifQQKYpkz6FWw3o7fzus4zt/k7No6 H4mlYu3t4WGNWh3qaewAxoDcybwe9tW4Tb1y6BXgseR2YmrWJRnADQCGpXyHpfKWHofs+rqM wGWHXgysHCeTPDcFw+39UJg6X/DDtr4f2HSP3Qfwdh4EVOeLkx3nQUSGjg2g9Rqc2LijNyke 0B/6DcL41f+oRYZ0eNkOS70VWLHrRupYDM5G9CPaQBb5QZY6wLJINSTu6htSjpA8MTr/2nvY iSLIh5FBmYTVgmYCkD/a/OwsMLY/bHQB/LifaKVPfPe9aoHBqnOnMP1ldE5mlTEfsSXYis7V a19gxIaGykmSoKAwGtHSjRLxXucP4jB+Er6q3Ex953lt6+zPWCnrYqXV+kNbZM1o0jw2P3Fb bTMw3wmYTdAisFVmiGOk+FZhQJPzXszK3GsCehS7H+dCvuIx+kOVFhDLHkvUakAp6MkglsSZ YiB0oizj+4lyKRtVx9ETQCzw5D4I5dSZTvmaRWdXBrDNazad2eTnoetO/v6EO0Jyr8P6njS8 X6aCxOxZGze0WOzD1b2b7AK1nrFdEtXvIX3Gvp0IVDqV8muKhiyMdssyCYz3aVxnXTSc2gVL Tl7dUpJ6LyW9yJRxPtlSSRN6X9sLO/MnCj8jaGQMpENrf5iGTh5jcpf/H1/0+YT6yBYAuFwn m3fosMmr1y9k+aJwyZqS1IX8WoN1N7N5BQ8f/+Bq9FJQhOmtFoV4H+VCggWqtctEdDpt61Ki 5DOmK/1NDZe4ofU8M8bVIDfLMOKNmZkMAK8QWWISltZC2f6ayeF3xEO9ZPavmeYpZU7tJX2z Z8HS7sAEUcwCutfEUN9WtoLPJZwWDog17+dls8Bo3Sk/3yzDI1XuI7KUvWKDLDhMjGc2PNHb Rsg3Lb+a4kfK8eovi4qIkk/h4nMF0fKCJpVpTZ9awYvvEhX2H1iRygrhgTiax/r/XoVU/O4g 1Rl72k2KfRo/zDq7VAtI1PMryZli0g9l+LuhjWJeSLwJqO9DslGTjD5vE8rPtbnUh54OEesy Fd8Om6OFNczx/NwMHpmgwjGtd5TFO5AGOdaNQQIy6jfZu10gw0H9mP3mQketLWDUMo401F1F Pzk53NYh1A6No5zfPSJYvMWnx4J3fzGvzf0hLlgkElEextLoT/UIXNS/xdQU9tubyuwor4zt UrYw2MFITJKDaB25ag1vkIlZ7bZkHymiOcFcxzscbbCc+uYozSSzJ/YBApoiwVRzA8duuIqt KVrO0uMCxJwkP3LT09PbJqfb1sNM4JT7CSBJHff976Vh8guYsPnTrygTPfS5vxM3wT+Rl5vR tRVqJ5aQ/zOmAnZNZu1duZYj093vEKyegTDVq8XMEWClDNNyylQ5IJy289QKixPWA2V0A2y+ r+SvlJsh/ufGsozZDEXUpZWbxreveWnnigfsnhdXmHf7w== IronPort-Data: A9a23:Qq7IhKrvm+yFmTJFFkl3+6VfebleBmLIYRIvgKrLsJaIsI4StFCzt garIBnXbvmLZmqned90ad7k/B9QucXXmoAxQQM+/3owQXsT9+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSs/PrRC9H5qyo5GtH5gVmPJingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kvDdYo6ORoAVoXy uwnEgkBPjuJ1+mPlefTpulE3qzPLeHuIIpaoiwmyjDFS+sjR9bOT7iiCd1whWxswJASW6+PO YxDMWcHgBfoO3WjPn8UApIWgeKuwHTzblW0rXrE/PJnvTiPlWSd1pDJIv7pet+WZ/l5oVuVi U3Z/T74JDwzYYn3JT2tqyP13reU9c/hY6oZHbi8s/prm0G73X0WEBRQVF2hoPD/hFTWZj5EA 0kI82828O419VDtU9z7GRC0vRZooyLwRfJJI7YK+gOSypGN3BamPFEIHhVLONcf4ZpeqSMR6 neFmNbgBDpKubKTSG6A+rr8kd9UEXVORYPlTXJZJTbp8+XeTJcPYgUjp+uP/YawktSwAWy2x DGW6jU7gfMegdNjO0SHEbLv3GvESnvhF1BdCuDrsoSNsl8RiGmNO9LA1LQjxawcRLt1t3HY1 JT+p+CQ7foVEbaGnzGXTeMGEdmBvqncYWOE2wIwTsN9rlxBHkJPm6gNuVmSw280bq45lcPBO yc/RCsKvs8KbSHCgVFfOtPvYyjV8UQQPY20D6iMNbKik7Bscg6Z8Tt1ZFKBl2fj2E0tl6cyI pCHeK6R4YUyVMxaIM6Nb75Fi9cDn3lmrUuKHMCT50r9jdK2OiXOIZ9bawTmUwzMxP7dyOkj2 4wAa5LiJtQ2eLCWXxQ7BqZNcw5bfCVjWMmeRg4+XrfrHzeK0VoJU5f5qY7NsaQ/90iMvraXr iOOSQVDxUDhhHbKDwyPZzoxIPnsRJtz5zZzdyAlIV/iiTBpbJeN/ZUvUcI9XYAm0+h/kt9yb f0OIPubDtp1Fz/oxjU6bLvGlrJESiiFvwy1EhCeUGANRKI4Hw3t0f34TzTr7xgLX3aWt9Nhg riO1TH7YJskRiY7BvmKdcCQ9QqQvGccqs12TUDnMtleQ2Sy0YlIegjarO47HNEIEjrHngCl7 gexBQxCg/vguKo3zYX5vr+FpIKXDOdOJEpWMG3F57KQNyOB3G6c7aJfceSPJxbxaXjV/fi8W OBr0P3MCv0Ls1JUuY5aEbww76Yf5cPqloBK3DZfA3THQFS6OIxOekDc85F0iZRM4btFtS+de EGFoIBaMIrUHvLVKgcaIQ59Y9mT0f0RpCLp0s00B0fH/w5ywquMVBRDHhuLiREFFoBPDqEe/ b4DtvIVuiuFsTh7FvadjytRyXaAEWxYbYUjqaMhIdHKjigF9wh8RKLyWwHK5KOBUdFuCnURA yS1gfPCjotMx0CZfHsUE2PM7NVnhp8PmU5rymEeLVXUnujlu/4T9z9S+AQRUQ564Ehm0eVyG 24zLGxzB/yE0AlJjfh5fVKHOl9+FizC33fu2n01lGH9ZGu5ZFzndWESF76EwxEEzjh6YDNew oC99E/kdjTbJOfKwSo4XB9emczJFNBe2FXLp5G6Ip6jAZI/XDvCh52ub0ourz/MI5s4pG/Dl NlQ0NdAU4/JHg9OnPRjEKif76oadz6cLm8bQf1BwrIALVuBRB6MgwqxO2KDUeITAcfV8H2IK d1kfeNOcBWc6BygjB4mAYw0Hrslu8JxufQjfOvwKH8koomviGNjkKjt+xjUgE4pRNRTkvgBF L7BSgLaEkKsqCtVv0TvsPh7PnGJZIhYRQ/kg8Gw3uY7N7MCl+BObU0d/6e/k0iIOlFjpzaSg h/JZvLS/cxfyKBHvYjlIoNcDSqadPLxU+Wp9lioktJsNNngD+bHhzk3mHLGYTtEGKQ3Wssts 6agq/v14R/1h6k3WGXnhJWxLalFysGsVu5xMMisDn1lsQadec3ruT0vxnuZLMFXrdZj+cWXf Qu0R8+uf9ozWd0G5nl0aTBbIikNGZbMcabsiiOsncuiUiFH/1T8E+qm0nv1YUVwVCwCYcT+A zCpncee3IlTqYAUCSIUA/1jPYRDH2bifqkbbPz0iyiTCzi5o1GFu4a6ryEa1xPwNiCmHvr5s LX/fTqvRCTq7euMhJtcvpdptxIaMGdljKNiNggB8tpxkHahAHRAMe0ZNo4cB4pJljDpkqv1f yzJcHBoHBCVse6oqvkgyI+Lssaj6u0y1hPRIyAgulvJLSC3GMWdBb0n+yt9i5uzUiW21/mpc Lny5VWpViVdALkwLQrQ2hB/qfpiwLXXym9gFYXVjZnpGxhHaVkV/CUJIeeOPBAr1+nQkUONK GQoLYyBrIdXVmapeftdl7Vp9N31cd8hI/jErctC/ToHh7im8Q== IronPort-HdrOrdr: A9a23:krf38aonRZsw9G4P8FC61LUaV5rheYIsimQD101hICG9vPbo6P xG/c5rqyMd6l4qNk3I/OrhBEFgLEmyyXcb2/hrAV7PZnifhILKFvAa0WKB+UybJ8SWzIc0vs oNEpSWY+eAcGSS4/yKnDWQIpIOxsKY+Lukieqb43BmVhFydq1shj0JaDpz0XcGITWux6BJd6 Z0KvA3wAZIsE5nCrXcOpDbZYL+m+E= X-Talos-CUID: 9a23:0zUtOGEnPUCEc+5fqmJ+xBUkCMI6ckaE82fvGXa0WU1jGLasHAo= X-Talos-MUID: 9a23:uwo3uAlHUG2gKsEwcy9CdnpGJuNU46eyKnwhrogLlOabN3ZxHRq02WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.09,176,1716242400"; d="scan'208,217";a="91086841" X-MGA-submission: =?us-ascii?q?MDGmdoYXKKUfGo25ZPIM699oB80DaWhnsukb2j?= =?us-ascii?q?Q1n5RCkmXI4ykwj6k9SOUI8MMqfOK4snGct36x8NYznOX7hHTuiu0qAL?= =?us-ascii?q?M1SjRHXXUi5pwY0cGkCl2KvS5zFJ7sCzMKZE0fdKG8qKOKCOlCBqPwuE?= =?us-ascii?q?SxXm/Bcyy2fccHMzROBXNeUQ=3D=3D?= Received: from mta-p5.oit.umn.edu ([134.84.196.205]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 Jul 2024 19:04:38 +0200 Received: from localhost (unknown [127.0.0.1]) by mta-p5.oit.umn.edu (Postfix) with ESMTP id 4WCXTH2NCTz9vZdR for ; Mon, 1 Jul 2024 17:04:35 +0000 (UTC) X-Virus-Scanned: amavisd-new at umn.edu Received: from mta-p5.oit.umn.edu ([127.0.0.1]) by localhost (mta-p5.oit.umn.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id lmC5MxpTsGAO for ; Mon, 1 Jul 2024 12:04:35 -0500 (CDT) Received: from mail-ej1-f71.google.com (mail-ej1-f71.google.com [209.85.218.71]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mta-p5.oit.umn.edu (Postfix) with ESMTPS id 4WCXTG6NTdz9vZdN for ; Mon, 1 Jul 2024 12:04:34 -0500 (CDT) DMARC-Filter: OpenDMARC Filter v1.3.2 mta-p5.oit.umn.edu 4WCXTG6NTdz9vZdN DKIM-Filter: OpenDKIM Filter v2.11.0 mta-p5.oit.umn.edu 4WCXTG6NTdz9vZdN Received: by mail-ej1-f71.google.com with SMTP id a640c23a62f3a-a6fcb1a708dso271984666b.2 for ; Mon, 01 Jul 2024 10:04:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=umn.edu; s=google; t=1719853473; x=1720458273; darn=inria.fr; h=cc:to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=/TuoANXYeNsTUx4RZQvyPK0Z8dRhbWLHk9U08IY5sU4=; b=gkiu2D6QfW+x+BDztujQPll84IzaCgzaH+VWYL8DDTmAD5jRuGyuE582c+MAXiW2mU rmPgH10aPuqXHEYG+P7DmnRpU75aW04PWaS4ReVUMFDQDdU0EbEW+O0/fscGp5Ezqzre qELei9Wb/idLqmgjqk+9doMM7LjrBMHQSCrP66OrIp22gWOayh2TYFbO3tu6/1JIeipk 11m2a6Lf4QbCD1sYUmtDNK0J1IbzVnmQAQxDWnO9k9/tNBNKg4SiGXoavyWeDBKofdY9 6/cJKnn6PsUG5g0aeM0tJN0J8J+KD9a3pcsPD3yhxRPhLS6LJk0+OjsMmSJHe3/9IyvK gL2A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1719853473; x=1720458273; h=cc:to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=/TuoANXYeNsTUx4RZQvyPK0Z8dRhbWLHk9U08IY5sU4=; b=WE5zZlTXWBhazxdShsZly/FULrN5B7GCn8hknzJQWTRzVmdPJr+dCvHL0Xgqna2TRy FX2kRUpXU8xhp1MGGnurZKjkQn5j77bhX7HCbM8TaAODkEvv8n0P8dmobR5arrcaKIE2 6Kn/+p8qUHUo3J+bXSuD4gLKhyPox+IT6lPPBs8IY/aFnYZL0e6/ZksBDseYAYO8xqCG fYT+eMlL1qYzZlH3kRdGL+aFBkIFdHp6gzKWezYB99oN219zaasgTfXAYTevOR7AJWP1 KkWFU7JeHPI66Nfry2umPXKyBS7IkufIWLbFeUwayXf4HlMCKuRipBwty+88k48mNjBf tNog== X-Forwarded-Encrypted: i=1; AJvYcCXVQ9iWLCPQFTEWipgoT2v3FeL0xlla6Hpb9LY/E1HUsobSG3dnEFARbPXVsJOBTK10/xoeyirDkwRSafNMra8gvk4= X-Gm-Message-State: AOJu0YyiLoAjZ0GTjb9kyYHWfwRkTxb0ZNfoROWrht1GG8z3hovhLQwS s6xEWGumE0VV92qyvI6UhlyAh7KFkul1mxNAJGohsWan7Kb4RzDGk1E3PkF7WIL/utkIpl02Y9V vp5H/Y1wdsFbkgZWLgiqc8JMrH/z6PsoR2R05TVsefOXt9RQmIje/NY6+PRkyORHAcFk9YFmsCF eo4rkvBMEfWd1r43Xm45Pb+ixZ8LI= X-Received: by 2002:a17:906:7184:b0:a72:a700:ef81 with SMTP id a640c23a62f3a-a751443ffdamr371929366b.52.1719853473303; Mon, 01 Jul 2024 10:04:33 -0700 (PDT) X-Google-Smtp-Source: AGHT+IGtdbhBl9lO0VfSU6J6t8tgEKICqQ+Z01V7b5B0dm5sELFYtlg/o+grnkoLlhuya5naEeTN97ewnBTvdobhDzo= X-Received: by 2002:a17:906:7184:b0:a72:a700:ef81 with SMTP id a640c23a62f3a-a751443ffdamr371928066b.52.1719853472906; Mon, 01 Jul 2024 10:04:32 -0700 (PDT) MIME-Version: 1.0 From: Favonia Date: Mon, 1 Jul 2024 12:04:00 -0500 Message-ID: To: ProofTheory@lists.bath.ac.uk, univalent-mathematics@googlegroups.com, Homotopy Type Theory , types-announce@lists.seas.upenn.edu, haskell@haskell.org, caml-list@inria.fr, agda@lists.chalmers.se, coq-club@inria.fr, categories@mq.edu.au Cc: Jeremy Gibbons Content-Type: multipart/alternative; boundary="000000000000519dcc061c3297f7" Subject: [Caml-list] Free online participation in MSFP, 8th July 2024 Reply-To: Favonia X-Loop: caml-list@inria.fr X-Sequence: 19151 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: --000000000000519dcc061c3297f7 Content-Type: text/plain; charset="UTF-8" I'm delighted to announce that there is free best-effort online participation in the Tenth Workshop on Mathematically Structured Functional Programming (MSFP 2024), co-located with FSCD, ICALP, and LICS in Tallinn next Monday, 8th July. Please *register your email in advance* so that we can send you Zoom login info on Sunday evening. For details see the website: https://msfp-workshop.github.io/msfp2024/ Looking forward to seeing you! Best, Favonia and Jeremy --000000000000519dcc061c3297f7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I'm delighted to announce that there is free best-effort online participation in the Tenth Workshop on Mathematically Structured Functional Programming = (MSFP 2024), co-located with FSCD, ICALP, and LIC= S in Tallinn next Monday, 8th July. = Please register your email in advance so that we = can send you Zoom login info on Sunday evening. For details see the = website:


Looking forward = to seeing you!

Best,
Favonia and Jeremy
--000000000000519dcc061c3297f7--