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=geaYDZ8F; 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 CA04F400CB for ; Wed, 10 Jun 2026 20:13:40 +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:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=1sIcxPzC6mczCCXcebQBAm1mYebvVuLm/q0vBCORyGs=; b=geaYDZ8FkMOiaUo7qciFshOII8vrXtuhx4YhJgnrdbX5g2G7uYSKfclf 9Um35Wb6AXshbChUMuNux9BHph7KNPz8TgGC0yp3dkXc0NcgGQ8pbqit4 h+fg0NXI1xd0R5Bp0MFiXOCVu7c478tnwoofgDq5+gR8RbhsK+AP/+Ro4 s=; X-CSE-ConnectionGUID: 31CPzE6lSCekH+eAL/Zhbg== X-CSE-MsgGUID: VKe55NZqTg2py/X4ydfq6Q== 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.24,197,1774306800"; d="scan'208,217";a="280876258" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Jun 2026 22:13:40 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id C609982178; Wed, 10 Jun 2026 22:13:39 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 5F4EF81F6B for ; Wed, 10 Jun 2026 22:13:33 +0200 (CEST) X-CSE-ConnectionGUID: lAYCjONiSz+qExghkTVfEQ== X-CSE-MsgGUID: nUnPFCuvRxe82Mz7yDstVw== IronPort-SDR: 6a29c56c_2D+481pGIlmDAbuguINICwcilRO7TVvCQpmDB52szSMkSpC VzfZgf1/qYRZhawr7CrZuqpu9gdWt8UXxE0HbNA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FlCAC+xClqfCraVdFaDhABAQsSDINNWymBCl40BAtJh?= =?us-ascii?q?FiBI4IsjASBfyIFgRGSC4QdCYUCgxQ9Ag8BAwENRA0EAQEBAgEDhDlGjT4CH?= =?us-ascii?q?gcBBDQTAQIEAwIDAQEBAQEBAQEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBI?= =?us-ascii?q?hkHDhIphk8Ngls7cWECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQUCDR8/OAsGHQEbDBIDEhA3AiMBEQEFASMSCAEZgghZgiIBB?= =?us-ascii?q?hABAzYDEahGgQJCiz2BFQUCFoEBO4FSBoEJ2V4KGSgNc4EKXAIHFoE3hHgqX?= =?us-ascii?q?YJbAYFFGgECDoQGO4NHeicbgg2BFTWCPYF7gVGCGoMugmoEgiJ6EoQ8UoVUh?= =?us-ascii?q?W0mCAcXAwcHCQUEHAYFBQI/CQUBDxIDBAMEBAECCwkKCQMDAg4CCAMCCAYZA?= =?us-ascii?q?T8SBBMKDQsHBR8KAgwUCigiEgIpCgECAR8KLAMUGQEBBwYCAgMBBAIEDAIJA?= =?us-ascii?q?gIFBAMCCgQDAwQBAQgCAi0DAQMZCAkIAgsFERgMCwUCCicDDwEJAx8XGwgRN?= =?us-ascii?q?AgGFgEaBwUGCzcVBQwRAQECRwIhBB0RCAMBEg4bAgIEAgkBAQYOAgICBAICA?= =?us-ascii?q?QMdAwQdBAMDBwICCQkEDBAKEhUDDgMHDwIEDAc7AwIOAgkIDBcCAgIGAgMDA?= =?us-ascii?q?woBAgEBAQEBAQECBwMDAwIDBhcHBgMEBAEEBAMDAgMFAQMDAwUDAgMCBgcDB?= =?us-ascii?q?gkBAQEBAwICCAMIAwwJBQUDGwMeBgECAgMCAQIGBgMHAQoDBAINAwMEAgMDA?= =?us-ascii?q?wMDAwMEAQICAQEBAgMBAwMEAwEGAgEDBwICAwMDCwECAwMDBQMFAQUDBQICA?= =?us-ascii?q?wUFAwUCAgoCAwMDAgEDAhwDCAMGAxIBEgMDAgMDBgEDBwMDAwMDBwIEAwgCB?= =?us-ascii?q?gQDAwYCAwgDAwIDDQgDGAIIAwMDAgMDAwIDAwUBAgICBAUHAwMDAwMCAwoLB?= =?us-ascii?q?QMEAwMDBAICAwwCBgEBAwUDAwMDAgIDAwQEAwMHAgcCAwYEAgMDAQMDBQUDB?= =?us-ascii?q?QEGBwIDBwECAgMEAQ8LAwUDCAMCBAIDCgcDBQMCBgcBAgMRBAIFBgQNCQQCA?= =?us-ascii?q?gYCAgICEQYEAgkBAwUFAwMFAwUDBwEBAgECDwUGAwICEgMKDQUGAgICHAYDA?= =?us-ascii?q?wMDIwMLCQgTPQELBzIENgEGDhQHKSFfjDYZFw+CYi1iAYFNBAkFNJM+GiuPa?= =?us-ascii?q?6MwaIM+hHOHLpVUM4QEgVeLPZINh0aZByONZ5V2hGFPESQSgUkjL3weDAczG?= =?us-ascii?q?iOBAYICATMJRwMZD1eNSheDa4UTiiG5TisyPgEHAgcPAoFzkDSBSwEB?= IronPort-PHdr: A9a23:T0afMR9J3pHnwv9uWca1ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y QqHvb431AKXDM2bs6sC17GK9fi4GCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnWCsCvRAEBW Pp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uM Rm6twrcu8cWjId4Nqo91hTFrmVUd+lWxG5lIU+YkxLg6sut5pJu/Cpdtv07+8JcTan2erkzQ KBFAjghL20668rnuAXZQwCS/HUcSGIWkhRJAwjB8h73W4r6vzX5uORgxiSUJNX6Q78sVzut9 qtmVhDmhjofOzE27G/YhMpwjLlGoB26vBxw35TUYICOO/VgeK7WYM4XSnBAXsZVUCxBH5+8Y o4SBOcPIepUs4/wrEYIoBCjBwejGfnvxydHiXH206M00PkvHx/a0wE7Bd0CrG7Zoc/pOKsOU +24yrTDwzXZb/NR3Dfw8JDGchEnofGDW7JwcMzRyUYyHAzEj1Wft5HuMjSa1+QLtWib7uxgV e2gim4mtQ58uTevxsI2hYnIgoIZ0EzL9SJ8wIssI9CzVUF0b8K+HpRKqyGaK5V5QtkkQ2xwp Co3y6ELtJq1cSUWzJkpxwPTZ+KIfYSW/B/vSOifLDh2in54ZL+xiBm//Eaix+D8Vse4zFlEo zdHn9TMtn0AyRre4dWJRPt6+0euwzeP1wbL5+FfIEA0mrLbK5o7zb42jJYTtl7DHiDwlU7rj 6GWbl0p9va05+njeLnrpZ+RO5Vqhg3jMakigMOyDfo+PwMTRWaU4/6826fm/UDhQLVFkPk2k q7BvZDfP8sbp6q5DxZL3YYh9hqzFjmm3dsGkXUdI1JFfxWHj4ftO17QOvz3EfC/g1G0nDdqw fDJIKHhD43TInTflLrtZ7Vw5k5GxAYt0NxS5IhYB74fLP7rX0/+rt3YDhs3MwyuxObnDc1w1 4wYWWKJA6+ZNqzSsFCJ5u0xOOSMa4oVtyz8K/gh/fLhkXg5mVoFcamzwZQXcGy4HuhhI0iBf XXjmNIBEWMTsgo6Tezqk0GCXCVIZ3eyWqI8/is0BJinDYfFXICtgaaO0D21Hp1MfmxGDEuDH m/yd4qYQ/cMdD6SIsh5nzAZTbShRJEu1RatugHg07doIPfa9jUCtZ39yth75PfdmAk39TNuD sSd13iBQH92nm8VXjM20q9yrVJnxleM1qh4hPNYFdhN6P9TTgg6Mpvcw/RnBNDxWwLBe8+ER k6pTNqoHz8/Us48zdkWb0lgHtWtlArD0DayDrENjrKFHJM6/rrH33jpKcZw02zI2bU8gVc7W sdPLnWmhqBn+AjTGYHJl0KZmr6ye6oFxCDD+zTL8W3bt0hdVEt0UL7ZdXEZfErf69rjogvJS KbrArA6OCNAz9SDI+1EcJmhhFpKTd/nOc/CeCS6m260ABuS3fWXYc6ie2wG3yjZDA0Pmg4e1 XaPLgszAiPnpHjRSHRyBErieAbl9+95tXWwQ2cwzhqWdAt62rOuvAMNiPqaDf4fw+EqoiAk/ hN1Glm73tTZQ+qBqkI1bKNaYNUy8FZK/W3cvg15eJenKvYx1RYlbw1rsha2hF1MAYJanJ1yx JtL5A97KKbClUhEayvdx5f7fLveNmj1+hmrLa/QwFDXltiMqe8U8PptjVLlsUmyE1Y6tW192 oxF1X2d4JraDQc6Xpf4U0Jx/B9/9PnBeido34rPzjV3NLWs9DrL2tYnHuwgnwamedZZP7OFG Sf9FsQbA46lL+l500OxYEciO+ZfvLUxI9vgd/aC3/uzO/18mTu9kWldyIV000bJ+iglD+CUh dAKxPaX2gbBXDD55Lu4mubwn40MJTQbH27ljDPhGJYUfKp5O4ACFWapJcSzgNR4nZ/kHXBCp halABsd1cmldAD3DRS11BBM1UkRvX2smDephz1ynTYzq6OD3SvIi+38fRsDM2RPSSFsl1Dpa YSzitkbWgCvYW1L3FO140D7wadLpalXIGzaQEMOdC/zbiljXqa2qruecptX8pp7+S5TUem6f RWbUuun+0pcg36lRTIOgmxhJFTI8t3jkhd3iXyQNiN2pXvdI4RrwAvHocbbTrhX1yYHQy9xj X/WAEK9Np+n54bx9d+Lv+agWmamTpAWfzPsyNbKpC295GtlERyyt/+2k9zjVwM91GWosrsiH TWNtxv6boTxgu6qN+RmeEZ4BVLU5M9zG4U4mYw1zsJYyT0RgZOb+mACmGH4PIBA2K7wW3EKQ CYC39/f5AWNNFRLFnuS3Mq5U3ycxpEkfNymeiYM3Sl76clWCaCS5bgCnC1vo1P+oxiDKfR6m z4cz7Mp5ht4y6kZvgwsyCqNA706EkxRPCiqnBONp9yzt6RYYm+zfKP4jhIv24D8Suvb8kcAA j7wYd86EDV179ljPV6psjW78YzidNTKLJoSuhCSjxbcnr1QIZM1mOANgHkvMmb8sHs5ju8j2 EY2jNfq4c7dcjUroPjqZ3wQfif4bM4S5Dz32KNXn8LMmpuqAo0kADIAGp3hUfOvFjsW8/XhL QeHVjMm+RL5UfLSGxGS7EB+ojfBCZeuYjuHIn8Yy9pyRRS1K0lWgQRSVzI/1M1cdEji1In6f UF16ypErE7+rBpKxfJpOjHwV27eoEGjbTJ+G/39ZFJGqwpF4UnSK8mX6Ol+SjpZ8pOWpwuIM mWHZg5MADJBSgmeClvkJLXr+cjY/r3SGL+lN/WXK+bry6QWR7KSyJmoyIcj4zucKpDFICx5F /NikktbASImR4KAwWhJE2pP0HuTJ8+D+EXmonwx/p35qa67HlqovNTqafMaMM0xqUru2f7Ra 77O3HQleWgEhMFLmCGAyaBBjgRO0308KWn1SeZc5XCRHvCXx/EybVZTajstZpEWt/1u0FlHY ZyH2o2phOw/06B9Ck8bBwaxwpn7PsJScT3tag+VVgHWatHkbXXK25+lO6rkEe8J0LgM5UHg5 2rJQQi+YHyCj2e7DRv3P7NChnzDbkAO5t3vIFEwVyD1RdbiIHVXKfdRijs7if0xj3LObysHN CRkNllKpfuW5D9ZhfN2HypA6GBkJK+KgXTR6e6QMZsQvfZxZ0Y83+tH/HQ3zadU5yBYVbR0n iXVtNtnv1ChlKGG1DNmVBNErjsDipiMuA1uPqDQ958IXnihnlpF9WKLFxEDvMdoEPXqsqFUj 9XNzef9dG0E/NXT8s8RQcPTLYPPMXYsNwboBC+BDAYBSm3OVymXjEhcnfeOs3yN+8Ji+968x dxUE+8dCAZmc5FSQl5oF9EDPpptCzYtkLrBydUN+WL7th7aAsNTopHAUPuWR/TpMjeQy7deN H5qifv1K5oeMorj1glscF5/yc7aHUzRW99doyBJYQo9oUEL+397BD5WuQqteka27XkfGOTh1 AYxkRd7aP8x+S3E5l42Ih/HpnJ1nhVr39rihj+VfXj6K6L6DuQ0Q2Lk8kM2NJ38WQN8awa/y FdlODnzTLVUl7J8dGpvhWc0WLNKEP9YCKBGOVoemavRaPIv3lBR7C6gwB0fjQMgIZRnnQouN 5WrqiAYs+qMRNEwLK3UYqFOywoJ7p8= IronPort-Data: A9a23:lA+e6Knls3G/EMqE1m4qxb3o5gxtIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJMWmGGPf+MNmXxfdwlPtix80gHu8fUmNRhGVY6q3syRi4T+ZvOCP2ncnv9bniYRiHhZBI+v p9GMrEsD+htEySC/k/1WlTFhSMhvU1dbuOkUIYoAggoG0k8Dntn0Us98wIAqtYAqcCjBA+Qs s/FrcTaOVu0sxZ5KWt8B5ir8XuDh9ys/mlE1rACTaoT5gGGySBNVMt3yZyZdhMUfKEERoZWe M6YlNlVzkuBlz8xB9WslKrMc0Fiatb6IQiUh3NKbLOpix5EqzZa+v5T2C00NC+7Ix3Q9zxA4 I0lWa6YEG/FDYWV8AgpaCS0JgkiVUFw0O+ecCLn6aR/+GWdG5fk660G4EjbpuT08M4vaY1F3 aVwxDzg8nlvLg95qV62YrAEuygtECXkFIc2i1pi6hfYNuRlWL3TTKXJ2eFW8Q5l06iiHd6GD yYYQT9mbRCFbh8Wf1lLUtQxm+CngnS5eDpdwL6XjfBvsi6DkUorieirbIC9lt+iHa25mm6Io GTH+WvpAxwyO9mWyD7D+XWp7gPKtXmrANJNSuTiqpaGhnWV+2orJjYLS2GrrKnjr1zhSv5EN 3ILr39GQa8arxHyFoasAXVUukWstRcZX59UEvYmwBqcz7LdpQefHGkNCDBbAOHKr+czTD0uk 1KLxpbnWWYpv7qSRnaQsLyTqFteJBT5M0cGTB4vTywj4uLx45genh3PTepdHoOM24id9S7L/ 9yckMQpa1wuYSMj0qy6+RXKgWvpqMSTCAEy4QrTUySu6QYRiG+Zi26AuAWzARVoddbxory9U J4sxZT2AAcmU8rlqcB1aL9RdIxFHt7cWNEmvbKQI3XR32/woib8LN44DMBWK0BuPcIJMT7va wm7hD69EKR7ZSPwBYcuO9zZI51zkcDIS465PtiKNYEmSsYqJGe6ENRGPxL4M5bFyhV0yflX1 FbyWZrEMEv2/ow7lmHvFr9CgO50rs38rEuKLa3GI92c+eL2TBaopX0tajNit8hgtP7c8jbGu c1SLdWLwBh5WejzKHufu40KIFxAaTBxCZnqooYFPqSOMyh3KlEHUvXx+LIGf5A6vqJ3kuyTw GqxdHUFw3XChFrGCz6wVFZdVJ3VU61Sl0kLZR4XAQ7w2lwIQ5qe06MERp5mIZgl7LNCyNB3f dkkeuKBIKhFT2nf8TERMZDCkqVQLk2rjD2RIhv/MSQefoFhdSPN6NTLbgvizwhQLynqrcE7r 6Cp6V7dYLQDXzZZLpfyQ9C+w2yhuUMynLpJYHLJBd1IaWPQ/5NPOQWoqtMGeOY3NgTlxBWW8 y20ECUoj7DBjKFt+eaYmJ3eiZmiFtVPO3ZzHk7ZyO2THjbb9G/y+r1wer+EUh6FXVyl5Zj4Q /teysz9F/g1nFxqlY5YOJQzxIIc4+rfnZNr/j5GLl7qMWvyUqhBJ0OY1/ZhrqdOn79VmTWnU 3K1p+V1B++7B9PHInUweiweceWx5dMFkGLz7NM0AnnAyg1Zwb6laXhWbj6w0HFzDb0tK4404 /YTiOhP4SyFtxcaGNKnjCdVymeyEkI9Q5gX7q89Pou6pTcom3djYIPdABDY+JugSctBGWh0L y62hJjtvaV9xE3DflVuCHHygOxQqpAKgT9G0G49I0+tn/zbjMQWxzxUyyw8FS5O/yVE0sVyG 2llDFJ0LqOw5AVVhNBPcmSvOgNZDjibxxDV534WslbGFW+6VXfoLlwtCd2S/UsczX1QTgJb8 J6c1mzhdzTgJ+P14QcfRm9nrO7FX/Vq1wifhv2iIduJL6M6bRXhnKWqQ2gC8DnjIMEpgXz4t ftYx/lxZYL7JBwvjfUCUafC7ospSTeAOGBmatNi9vlQHWjjJReD6QLXIEW1Is5wN/jG9HGjM PNXJ+VNag+f0RifpTVKFI8OJL5JxMQS3uQgQY+yB2A6sOq4lAFL4bbw7Sn1gVE5T+p+yfgdL pzjTBPcM2iyq0YNpUrzgphlAFeoWfgFewz2486t+sorCZ8okb9hYGMy4JSOrlSXNwptwDyMt iiaY6bU4vBQy719u47gDK8ZCx6GEo7xXr7Q8SSYkddHXfXQO+jg6iIXrVjGOVxNHL0zAt5Yq 5WEgOTV7mjk4okkdn//moaQMZVJ6eGZfvtlAuiuIFZ0xSK9CdLRuT0d8GWGGLl1udJ65Pj/Y TCnacG1JOUna/0EyFJ7MyFhQgsgUYLpZaLdpAS4nfSGKj4Z9SfldNqH13vYXVt3Rx8yGa/VK 1HL4q61x9Viso5zKgcOBKhmD79GMVbTY/YaWOOrhwaILFuDow2kgaTjpyoC+DuQK3ijEeTG2 7znaCX6ViyPvPDv8IkEna105xEZNSMoy614NEcQ4MV/hD2GHXYLZ7ZVe4kPDpZP1Df+ztfkb TXKd3EvEjj5QS8CSxjn/dD/RU2KM4Ti4DsiyuABpCt4qhtaBb9sxJNk/yZkpnp0I37tkLvhJ tYZ9Xn9eBO2x/mFgArVCuOT2Y9aKjHynxrkOnwRV+T9Bh8fBfMB03kJ8M9lS3ncC8+U/KnUD TFdeI2HKX1XjWb+FM9hfzheHxRxUPYDCdk3RX/n/eszcLl3AAGNJDMT9g0zPnA+gBw2GYMz IronPort-HdrOrdr: A9a23:gTyhTqFbvkwVv9C6pLqFoZLXdLJyesId70hD6qkRc20sTiT7// rBoB1/737JYVkqKRQdcLy7Sc29qBDnhOdICOsqTNCftWDd0QPCRuwPgvqAsl/d8kbFh4hgPN JbAtVD4arLfCRHpPe/wjOdPZIJx8SGyaGpn+bfyHkFd3AgV4hQqyVCLijeOkpqRDNeDZ58PI aA56N81k2dUEVSTP6eKD0sWPXCncTCkNbLZgELAhg/5E2gljWtgYSKYCSw71M9aRdghZ8k7G j+igT8ooWlvPfT8G6r60bjq7ZtvPWk4txfBPaUgsxQCjLwhh2jaJ19XabHnDc7poiUmR4Xue iJgS0FEYBa7G7QRHi8pV/JxwGl6S0p5H/mxUXwuwqTneXJABABL+QErYVFciHB405lmN1g0a RHtljpw6Z/PFfjpgDSo/DOShFRj0Kx5UErjOJ7tQ0sbaIuLJ1qiaJa1ERJEK0YFCa/0p0uDf V1Zfuskcp+QBe5VVT2+kFp3dyXR3w2WiiLWVIDvMv96UknoFlJi2kj4OJatnAc9K08UIVfjt 60f5hApfVtdOs5KYp7Gec/QdCqECj2XBrQLHj6GyWqKIg3f1D2j7CyxbUz5vuRcpQOy5s0lv 36IRllnF93WXjLJ4mr0IdQ+h7ABE22QDTqzahlluZEk4y5ZoDOH2m5VFUj1+uMys9vffEzBs zDca6+e8WTV1cGTrw5pDEWhKMzFUUj X-Talos-CUID: =?us-ascii?q?9a23=3AmBxOE2n+w7sw/PZHF6BCE+KAcjvXOXn0/VzSBGm?= =?us-ascii?q?5MnQqUZCFRl+TxJ1qvvM7zg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AgAYWxg+cRd6KjU8Mmv4f6sWQf8FV5ZyAI10Tq4U?= =?us-ascii?q?L65OhJ3NhFyyBsiviFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,197,1774306800"; d="scan'208,217";a="280876124" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDGzCkCuf5EYR/pYLAch1mq8tbZmCrnarX2SWe?= =?us-ascii?q?hcYzWcRm1bt2OiFsihgYlccpoA82VSSe5HgQYqM6LVuwLXfsfGdMWbor?= =?us-ascii?q?H+pHUQMfuYeNOA4KA84pnBy+TqpzYHvjeI27TNiVj1YeErakFfNi+7HR?= =?us-ascii?q?0Wr26KwXy8H1+/36Z8sNzhPA=3D=3D?= Received: from mail-ej1-f42.google.com ([209.85.218.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Jun 2026 22:13:33 +0200 Received: by mail-ej1-f42.google.com with SMTP id a640c23a62f3a-bebb72b845aso1149011866b.3 for ; Wed, 10 Jun 2026 13:13:32 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1781122412; cv=none; d=google.com; s=arc-20240605; b=aC//j3TmyRQWUwh9o22gGTtgZLxykn1PoFRS2/1GWueFwLhuv1TyKsrZCZ8ADsf75n ES7tzzyD/2EslRz2cDd5Pmal7quGtdC9B47AMF6owvnZz6KtEuhHDH8V74KWz8Wx2IxJ 9NrYfuZFVEL9fadu1qwyCVixvD0pFk5IKZGreiWMCGvb5Cbzkbe2Pw0E5Bq/qFK5HggD 8hI0bnUd1HMne6MVDx/fy/g34jH6x/5pThax4iFL96A8ztMnYpgETbkDRgUZNmJvRrBG +owHlyz5qLoLKmLVX4i5JY8aE/SXQK/1opn9I/EjX8PTfAMAxGReTptWfbQrGelrxddw Y/lA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=1sIcxPzC6mczCCXcebQBAm1mYebvVuLm/q0vBCORyGs=; fh=rUoelaXUACdJCARjLH8F6YAKRdhiho/FopSJU736r68=; b=JTX3Fyt2yfFe1+yWgt0TjW+sZvD7qX6GHY6Q9Zp2cveC6vwR4uHm3rtWu/BRqMqcZR o9pcyHQ+TzdF/vCcAYJzIIisJESX98TiZ7HmLAqVjGhYSfuHK1fWWfMnxIOcKgQ3wAls xFYptKcgeN7WFbtcK30K7zssuueB/bhfjK3w5hI3nsTpLrdF1OWqQ4B4i0gcb53bkMG2 yKdh7vJvHFREJJDKQchzkJY8fgj/JaQskG50vUg4JLbWKmiH0oVf7jPYJJPKndhRoJwU ZT+nMH8DF4uCCab8Bgxf/2t48EkgZjfFnPOU3hi+8RO1rCgmm6VSC8+MllLBIzlu3F/1 yAVw==; 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=20251104; t=1781122412; x=1781727212; h=to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=1sIcxPzC6mczCCXcebQBAm1mYebvVuLm/q0vBCORyGs=; b=K+nyT1UifzYDrqg573Cc2r6pAG3juEg/nv4DYG7DeQpCJd4JIePABlmVbUfIhCDX2K NlMcHtHWNtCW8+pzViH/prURfJZIUZmDXBnPQ/1nXWSMKU9B+gG6XmBBAuItihgfDIm9 OzSNAetgHLPbPBT/Mf5aOoxQdA/G6oVH1HHfidRcoR6c7nwRczpm1J4sdjyi8PG4CG2n r3ymqNKL0I8n09OXPuCX092WXYlxQ4p6cb4jpgKfYFJWXmXqRtO9bSPwLYArVOQ1iaAB Wt2aunPcm8n95tMui9m7P3+cYm/23ngSAGw1Tf/sW5pKWz6VgEndHUqW7MKXwYdVFRls d8ng== X-Gm-Message-State: AOJu0YyuIN0QbfBXS9WrwB/LQiVmoUUgocv7jNOndJaTbAv4QK1oIGbv KRK5KZQ4RohsrMRtMIuBw7yQXZC+JIaaJ1TNVMHkPQfyvbJCtorjxoyQ0uhlCq6hbUqpybDzG7T 5UBo32CxvZN7nA6+WdJjmBSZVc/F5gRxmW1Lxr4E= X-Gm-Gg: Acq92OF4kLmbT7OFvkgiaQ+WSlItR11kdWYexwE2/X9rz/I4/GChdeKnR4A9FvfnU34 Er5P4RGKWp39XmoLWZAFxdTgSed6f8IREtZ9EwP2gWAGlL6fApYnU47dGpAPnPrFEAmZ34Qv1sK 7Ihhufp7pRPyAwA7kdsIzKu5A3PazrvJDj5JmnqZACXDUIr0ilUhovYqDV8L+NgAtW9uiEMEfcY VARRoOZDl3uyG/buk4+AZW4bK8xDa0h4jWz05lbwp10/PaKp9IDKvNnLB0g+SIPYQu/ldwb23RQ Ghvds4Tujul1hHhD6o2w8gvsA56lROqUCMfb78NEPjdeF3PQx5H+5bWIhOM5 X-Received: by 2002:a17:907:a710:b0:bdb:e19d:525c with SMTP id a640c23a62f3a-bf372741072mr1411252166b.33.1781122412040; Wed, 10 Jun 2026 13:13:32 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Wed, 10 Jun 2026 16:13:19 -0400 X-Gm-Features: AVVi8CdhgbPkOK7UUV0XCr-G_CyOsr2s6dcxEbG54YH9zMdTH8JxIk3E09XK2nU Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="000000000000abd7010653ebe02a" Subject: [Caml-list] POPL 2027 Call for Workshops Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19529 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: --000000000000abd7010653ebe02a Content-Type: text/plain; charset="UTF-8" POPL 2027 Call for Workshops Sun 10 - Sat 16 January 2027 Mexico City, Mexico https://popl27.sigplan.org/ ============================= Submission details Deadline for submission: 24 July 2026 Notification of acceptance: 4 August 2026 A workshop proposal should provide the following information: - Name of the workshop. - A short description (150-200 words) of the workshop. - Call for submissions. - Duration of the workshop. - Whether the workshop will be Conference-approved or SIGPLAN-approved (see below). - Organizers: names, affiliation, contact information, brief (100 words) biography. - Event format: workshop; type of submissions if any; review process; results dissemination. - Expected attendance and target audience. - Potential PC members - please do not contact them before the workshop is approved. - History of the workshop. - Plans for remote participation. Please submit your proposals at https://popl27.sigplan.org/track/POPL-2027-workshops-and-co-located-events --------------------------------------------------------------------- SIGPLAN Sponsorship POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/). There are two kinds of co-located events: Conference-approved (no proceedings) and SIGPLAN-approved (proceedings in the ACM Digital Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/ for more information, including a full listing of prescriptions for Conference-approved and SIGPLAN-approved workshops. SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy. Proposals for SIGPLAN-approved workshops must additionally include the gender, country of affiliation, and professional status of potential PC members. See https://www.sigplan.org/Resources/Policies/Diversity/ for more details. --------------------------------------------------------------------- Selection committee All submissions will be evaluated by a committee comprising the workshops co-chairs, the general chair, and the program chair. --------------------------------------------------------------------- Further information Any questions regarding POPL 2027 co-located event proposals should be addressed to the workshops chairs, Aws Albarghouthi (aws@cs.wisc.edu) and Alan Schmitt (alan.schmitt@inria.fr). --000000000000abd7010653ebe02a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
POPL 2027 Call for Workshops
Sun 10 - Sat 16 January 2027
M= exico City, Mexico
https://popl27.sigplan.org/
=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
<= br>
Submission details

Deadline for submission: 24 July = 2026

Notification of acceptance: 4 August 2026

A workshop pro= posal should provide the following information:

- Name of the worksh= op.
- A short description (150-200 words) of the workshop.
- Call for= submissions.
- Duration of the workshop.
- Whether the workshop will= be Conference-approved or SIGPLAN-approved (see below).
- Organizers: n= ames, affiliation, contact information, brief (100 words) biography.
- E= vent format: workshop; type of submissions if any; review process; results = dissemination.
- Expected attendance and target audience.
- Potential= PC members - please do not contact them before the workshop is approved.- History of the workshop.
- Plans for remote participation.

Pl= ease submit your proposals at
https://popl27.sigplan.org/tra= ck/POPL-2027-workshops-and-co-located-events

-------------------= --------------------------------------------------

SIGPLAN Sponsorsh= ip

POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/).
There are two kinds of co-loca= ted events: Conference-approved (no
proceedings) and SIGPLAN-approved (p= roceedings in the ACM Digital
Library). See http://www.sigplan.org/Resources/Gui= delines/Workshops/
for more information, including a full listing of= prescriptions for
Conference-approved and SIGPLAN-approved workshops.
SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy.=
Proposals for SIGPLAN-approved workshops must additionally include the<= br>gender, country of affiliation, and professional status of potential
= PC members. See https://www.sigplan.org/Resources/Policies/Diversity/
for mor= e details.

---------------------------------------------------------= ------------

Selection committee

All submissions will be eval= uated by a committee comprising the
workshops co-chairs, the general cha= ir, and the program chair.

-----------------------------------------= ----------------------------

Further information

Any question= s regarding POPL 2027 co-located event proposals should be
addressed to = the workshops chairs, Aws Albarghouthi (= aws@cs.wisc.edu)
and Alan Schmitt (alan.schmitt@inria.fr).
--000000000000abd7010653ebe02a--