From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
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=TJ9milp+;
	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=hzOMomq4;
	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 06655400A5
	for <caml-list@tunbury.org>; Tue,  2 Sep 2025 18:16:14 +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=6n9tlIeDxLZizZqMY++ETw7jQHDivlOnL9m94SlJdlQ=;
  b=TJ9milp+Ty+7LD22Si/mDnluFwlpQhdjmyGeuSEVqr+roznDbEHT9MNJ
   jVls7Ei3cBjUGQf4I6QZpOMAqIkTSvAt3DoVSCSk+chwCvJcw7oAEIUF/
   2/YUT5zuVvT3gARSBErqHelpzw8H8ea/aIJgQCCE7KQO8JRvcSDaV2fR3
   0=;
X-CSE-ConnectionGUID: egi4EbCARGiH7OoSDNNFcw==
X-CSE-MsgGUID: b18CFTH6R82NGqPuDlIL3A==
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.18,233,1751234400"; 
   d="scan'208,217";a="237178525"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 02 Sep 2025 20:16:13 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 48BFFE0B0D; Tue,  2 Sep 2025 20:16:13 +0200 (CEST)
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 6C907E0171;
	Tue,  2 Sep 2025 20:16:07 +0200 (CEST)
X-CSE-ConnectionGUID: WoPQ6ts2TcSyv7njpvJwHA==
X-CSE-MsgGUID: iVbNPZzfSraKQ/btAhOmNw==
IronPort-SDR: 68b73467_iszVPl43YpLmh2s/hS9LLj62bJegIv4MT3XANPYFbpAqsPe
 w7Z1DdTXvtu3nmx24JsLu0541hZX2Rxt8M9x7KQ==
X-ThreatScanner-Verdict: Negative
X-IPAS-Result: =?us-ascii?q?A0EkBgDjM7dogbbbVdFaDg8BATwBBQUBAgEJAYFqgj6BA?=
 =?us-ascii?q?Vk0BAtJhFWBI4IsjAGCIZxIgxUWJwIPAQMBDRQBAQECJBQEAQEDAQOCDIJ0j?=
 =?us-ascii?q?CkCHgcBBDQTAQIEAQEBAQMCAwEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABA?=
 =?us-ascii?q?SIZBw47hk8Ngls7cWECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?=
 =?us-ascii?q?QEBAQEBAQEBAQUCFBgRLjgLBh0BGwwSAxIDDTcCIwERAQUBIyYCDIJhgiIBB?=
 =?us-ascii?q?hABAzUDEZcYj0GBBUKLPoEVBQIWgQGCDQaBCT4F2RMKGSgNcYFhAgEGFIE1A?=
 =?us-ascii?q?YR0KVyCVgGBXgIOg347g0KBIRuCDYEVNYJEgXSDa4MugmkEgg0VgQIUhA6CK?=
 =?us-ascii?q?Il9gX2IbSYIBxcDBwcJBQQcBgUFAj8JBQEPEgMEAwQEAQILCQoJAwMCDgIIA?=
 =?us-ascii?q?wIIBhkBPxIEEwoNCwcFHwoCDBEKKCISAikKAQIBHwoxAxQEGQEBBwYCAgMBB?=
 =?us-ascii?q?AIEDAIJAgIFBAMCCgQDAwQBAQgCAi0DAQMZCAkIAgsFFBgMCwUCCigDDwEBB?=
 =?us-ascii?q?AkMAQECBAICGgIBAwgGAQ0CAwICAQICBAIEBgcECAEBAgECAQEBBAEHAQECA?=
 =?us-ascii?q?gMDBQMFAwgZARUJFQMEBQISAgIBBwECAQEDGQIBAwMEAQsCAQEEGwQVFAIkA?=
 =?us-ascii?q?hkCAQUFBQEDBAsQCAMCBQQCAgYCBA4CBwICGgQCAgEDBAYDAQIIAgIHBAgDA?=
 =?us-ascii?q?QICBxcCFQECAQMCCQoEBQQDBAMCAgIBDAIBAgMCAgECAQEDAQUGHQIBAw4IB?=
 =?us-ascii?q?AICBwICIA8LAQIBAQYGAwMDCgMBCgEBBgIBAhIFAgICBAICBgQlAQIBAgEBA?=
 =?us-ascii?q?QUCAQIBAgQCBwIBAgMIAQUCBgECAgkBAgECAgIBAgEBAgYCAREEAQICAgICA?=
 =?us-ascii?q?wEDBgICAgICAgkCAgICBQIFAwIDBQIFAgMDAgMEAwkDAwgDBgQDAQECAQICA?=
 =?us-ascii?q?gECAQUCAwkBAQMCAQICAgMGAgUFAQMLDAEBAgEDBQMDBAMGAQ0EAwIEAgICA?=
 =?us-ascii?q?gQCAQUDAwIFAQoBBAIBAwMDBAQDAQICCgwCBAEBAQECAQICCgMCBQEDAwERA?=
 =?us-ascii?q?wQBBgUFBgIHCQMCAgMCAgECBAMJBAIEAwMCAgIBAQoCAgECAQEDAwcGEAECA?=
 =?us-ascii?q?Q8CAwMEAwQGAwUJAQcBAQEBAQIUAwIEBREIAgEBHwEVAgcBBAMnHgICBgICA?=
 =?us-ascii?q?gIDAgIDAwMBAgEBAwUBAwIDAgECAQYCAwMDBQMBDgICAwEDAQYEBAIHAQICA?=
 =?us-ascii?q?g4BAwICCQIHCQgCARMTAgICAgECAgECBwEBAgMCBQUIAgEBAQICAwILAgIBA?=
 =?us-ascii?q?gECAgMCAwIGAQkEBAYBAgEBBQQDCQECAyQDAwQFAwICAgcCBAMZAg0GAQQDB?=
 =?us-ascii?q?QUDCAMGAgIDDwMHBgcCBwQCBAICAg4CAwMHBQICAwEMBAcCAwICEgMBAQIPA?=
 =?us-ascii?q?gICDAEBBAICAgUCHwoECgIHCgIBAwEBCgIEBAMKBgIGBQICAQQDCAIBAgIBA?=
 =?us-ascii?q?ggDAgcDAgMCAQ8ZAwIDCgIGBQQIAgIDAwQCAgIJAQMGAQEBAQICAgMCAgUGD?=
 =?us-ascii?q?gQEBAESCiADAQMFAgQHAgEDAgIBBAEBAwMCAQIBAgMBAgIEAgMDAwMDBAUDA?=
 =?us-ascii?q?QEDAgMFAgIDAgICAgQBAQULAQIEAwEFAQcFAwEDCQUEBAMCBAUDDAICBAIDA?=
 =?us-ascii?q?wYDAwYDAgUCBwICAQUFAgEBAQEMCwICAgcDDgMCAgIDBAECAwQDBQIDBAEBA?=
 =?us-ascii?q?QEEBQIEAwICAQMFAgIBAQICBAUCAgUBAwQDCwIJAyMPAwsJCBM9AQsHMgQ2A?=
 =?us-ascii?q?QYOFAcrIV+UaoQRVxOBBTUECXQpxjdogz6EcIculVMEL4QEjROZVJkGIo1mm?=
 =?us-ascii?q?ygRJBKBSSMvgS0zGiMvUoI2Ej0DGQ9XjWGDaYUTiiGpJCoyPAIHAQoBAQMJk?=
 =?us-ascii?q?h6BSwEB?=
IronPort-PHdr: A9a23:92nDAh1dSQ8e0By1smDORA0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY
 BeEo60xxw6VFcWDsrQY0LGQ6/uhEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTWDdErvBQhd+I
 v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI
 BmsogjcuMcbjZF+Jqs+xRfEpnRFcPlSyW90OF6fhRnx68m+8ZJ57yhdtfct/NNcXKvneKg1U
 bNXADM6Pm4v+cblrwPDTQyB5nsdVmUZjB9FCBXb4R/5Q5n8rDL0uvJy1ieCMsL6VK45Vzu/4
 atzRxDmlCkINzgi8GHKkcNwl75UoAigpxNk3YHZZpyeOedkcaPcedMaQndBXtpUWidcDI6wc
 5cDAuwcNutesoLzpUYBrQGmCAajBO3hxDxGiGLo06ImyOkuCx3K0RY6Et4SrHjZrtP4P7oSX
 +Cvy6nIyC3OYetX2Tf754jIdBEhofeDXbltcMXRyFcgHB7Cg1Sfr4zlOTKV1uICs2mU7upvS
 /mii2Eiqw5rozivwt0ghZXOhoIQ013J8zhyz4kpK9OiUkF7fcKkH4VKtyGcL4Z6XswsT31nt
 Ss+yLAIt5q2cSwIxZg52xLSb/KKf5aW7x/jV+ucLzV1iXF5db+9mhu+71atxvH/W8S70ltHr
 SpLn9/RvX4D0BzT79KISvp7/kq5wzaAyRvT5f9eLkAuiaXbK4QhzqQ3lpoJvkTPBi/2mELqj
 KCKbEUk4vKk5PjgYrXjoJKXKox6ihnmP6gwhsCyBf40PwsOUmSB5+iwybnu8VfkTLhJkPE7l
 LTSvorAKsQBvKG5BhdY0oY95Ba7CDeryNEYkmMGLFJBYR6Gj5PmN0zXLPD2EPuygEqgnC1kx
 /DBOb3hDZHNIWbZnLj9erZ97lZQyAs1zd9B+5JZEq8NLO73V0Prt9HVDgU1PxKpz+vjEtlxy
 4ATVXyXDq+cKqzSsFuI5uw1I+mLYY8YoDn8K/4j5/7vi385llAcfai30pYMZ3C4G+5pI0SdY
 Xb2ntgBFmIKshIkTOP2kF2CTSJTZ3GqUq0g/D47DYamAZ7HRoCsm7yBwDy2HoZWZ2BDElCDC
 23kd4SCW/cWaSKdONVtkjIeVbS5UY8uyQmutBPmy7pgNufb5ioYtYv62Ndp4+3TiAo9+CdvD
 8Wd1mGNV3t7knkJRz8wxqB/oFZyxk2N0ahim/BYE8dc6OtTUggmLZ7c0/B6C9fqVw7fZtuJR
 0ipQtKlDz8rVt8+zcIAb15nG9q8kBDN3DCkDqcQl7ORBZw09rvQ3njqKMpg0nrG2rQtglo4T
 sdVOm2mgal/9wfXB4HXiUmWi6GqdaEE0CHQ92eDzG+OsVlAXgB/X6rLQ2wRa1fQo9jh+0zCS
 qWhCa47PQZZ0cCMM7NEZNLxgVVdXPfjNszTbXitlmmtGBiE3qiMbJLke2oF3CXSFkwEkwcL8
 HieLAYwHiiv8CriC2llHFfrJkft6vVWqXWhT0ZywRvOJ0Zmzv++/gMfrf2aUfIamLwe/G8op
 Dl9NFK8xM7NTdGArg5kcb9HJ8gwpB9H3Hnaugh5e5epIa1KhlcFcAlzuwXpzRozQplRicUx6
 Xosyg1vL6mV+FdAbC+Dm4v9M6aRN3H/+hbpZqLLiX/E19PD3KYJ5/I5rVqrjACkXh4y9XNm1
 dZF0na06ZDDDQ5UWpX0BBVkvyNmrq3XN3Fur7jf0mdhZPHcWl7q3tsoALFg0RO8Z5JFN6jCE
 gbuEsocDszoKeowmlHvYAhXdPtK+vsSOMWrP+CDxLbtJPxpySKgi2VB75B832qD8iN9TqjD2
 JNWi+qA0F6/XiznxEykrtixnIlFYT8IGW/q2S7iBYhedqx/VYkOAGaqZcaww4Y2nIbjDlhf8
 lPrHFYawImpdB6VOkT6xhFV3F8LrGaPnCK5y3llmWhsoPPPhmrBxOPtcBdBMWlOLIV7pXHrJ
 4X8z9UTXUzyKhMsiAPg/0Hxga5SuKV4KWDXB0ZOZSn/aW94AOO2sfKZbshD5YlN020fWfmgY
 V2cVr/2ogcLmyLlEWxEwTkndjas8pznlh1+gWiZIT59tn3cMc13wB7e4pTbS5szlnIWQi95j
 zbHB1WUMNyg/NHSnJDG86i/W2+nSpxPYHzz14rT/CC/5GBsHVi+h6XpwoyhQVV8i3aqkYA6D
 3atzl60eITg2qWkPPgye0BpAAW58M9mAsRklYB2gpgM2H8cj5HT/HwdkG61P88IvMC2JHcLW
 zMPxMbYpQb/30g2ZGKPwYP/WWWcz+NuYtC7ZiUd3Sd3vKUoQO+EqadJmyd4uA/yvQTXYP5yj
 jYQ4fQr4X8exeoOvUB+hjXYCbcUE05COCXqnBnd9NGyopJcY2O3eKSx3k5z9Ty4JImLuRoUG
 HPwe5N4WDR18t06KlXHlnv69oDjftDUK9MVrByd1Rna3aBZL5c4l/xCgiQCWyq1rXsjyug0n
 R1j9Z6/tYmDbW5q+eq1DwVZOTv8e84Ismu13OAOw4DMhtHpR8U7UjwQFIPlV/epDC4fuZGFf
 06VHTswp23aUbvTEAmD6Vt3+nfGEpSlLXaSdzESydRvQgXYJVQK2lhFGmVn2MRgR0bzlJayF
 SUxrioc7VP5tBZWn+dhNh2lF3zauB/tcDA/Dp6WMBtR6AhGoUbTK82XqOxpTEQ6ttWsqhKAL
 muDakFGF2YMDwaUAVbiOLa+5NTo/O2RB+74JPzLK+bry6QWR7KTyJSj35EztSaKMMSJMWljA
 tU030NCWTZyHMGTyFBtA2QH0inKacCcvhK1/CZ6+9u+/PrcUwXq/YKTCrFWPIYn61WsjKyEL
 eLVmDdhJGMSyMYX3XGRgut6vhZam2R0ejKqC7hFqSPdUPeahPpMFxBCIyJraJkXs+RlhFQLY
 YiDzYqrnr9g0qxsVAwDDA293JnvPYtTfQTffBvGHBrZbuzXY22WhZitMeXkDuQPxORM60/q4
 GjdTh+lZ2XZ0WGuDkHnMPkQ3nvCYloE49D7KUwrUS+6HbeEIlWtOdtzx1Xa2JUSgXXHfS4ZO
 Dl4KQZWq6GIqDlfibN5EnBA6XxsKa+FnTyY5q/WMMRet/wjGSlym+9AhRZyg7JI8CFJQuB0k
 yrOv5ZvpV+hiOyG1jtgVlJHtD9KgIuBuUgqN7/e89FMXnPN/RRF6mv1aVxCv9x+FtjmoLxd0
 PDKnaP3bSZIqpfapJtGQcfTL82DPTwqNh+oUD/YAQ0ZTCK6YGHSg0sO9ZPavnaRr5U8tt3tg
 M9UEu4dBAFzTKpLTB01Ro9nQt8/RD4vnL+FgdRd4HO/qEOUX8BGptXdUfnUB/zzKTGfhL0CZ
 h0SwLq+I55AU++zk0FkdFR+m5zHXkTKWtUY6D1naA4yr1VM/VBxS2Qy3wTubQbnsxpxXbak2
 wU7jAdze7Fn7DD3/1I+PUbHvgM1mUg13MTv2HWfKW6raqi3Wo5SBmz/sE17YfaZC05lKAa1m
 0JjLjLNQblc2qBheW5cgwjZoZJTGPRYQMWsjzcfwPiWY7Mj1lEO801PIGdI4OLEDd1pkw54K
 fZETlpF0gNnKc8/fOneffoTiFdXga2Ks2mj0eVjmGcj
IronPort-Data: A9a23:de7vA6OOawU/rY/vrR0fk8FynXyQoLVcMsEvi/4bfWQNrUog1zVTz
 zMZX27Vb63fZ2KkeNkjOtyxpEhV7Z7TyIRrSnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h
 yk6QoOdRCzhZiaE/n9BCpC48D8hk/jOHuehYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV
 ena+qUzA3f7nWckWo4ow/jb8k437ayo4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ
 fr0zb3R1gvx4xc3B9q5pa3we0sMT6S6FVDmZq1+BsBOKjAbzsAD+v5T2Mg0MS+7uB3V9zxF8
 +ihgLTrIesf0gIgr8xGO/VQO3kW0aSrY9YrK1Dn2SCY5xWun3cBX5yCpaz5VGEV0r8fPI1Ay
 RAXAA8KVindm/ns/LmAW/czgMY7Muv0HKpK7xmMzRmBZRonaZXKQqGP9NUBmTlp1poIEvHZa
 M4ULzFoaXwsYTUVYgZRWM94xr75wCCvKVW0q3rNzUYzy3jVyg1336jsPfLaf9WLQYNemUPwS
 mfupT+mW05KaYTBodaD2nOSjMn3rzH1Y5gbN4T//OJDgHqW4HNGXXX6UnPg/KDh1R/gMz5FE
 GQf8y8q6Kwz71CDVcj4RxT+oXievxdaVcA4O+Y98USGzrfeyx2IA3ANCD9Hct0v8sEsLQHGz
 XeMltLtQC1l6fibECLHsLiTqjy2NG4eKmpqiTI4oRUt3N7bmd8vlUjzRe1yDvGzjMXrOy7Q6
 mXfxMQhvIk7gckO3qS92FnIhTOwu5TEJjLZAC2HAQpJCSspO+aYi5yU1LTN0RpXwG+korSpu
 XEFn42P5rlLA8jdzmqCR+ICGLzv7PGAWNE9vbKNN8h7n9hO0yfyFWy13N2YDBkzWirjUWGwC
 HI/QSsLuPdu0IKCNMebmb6ZBcUw1rTHHt/4TP3SZdcmSsEuKVHYoXgzOxfAhTCFfK0QfUcXa
 cfznSGEXSZyNEib5GDtLwvg+eZ7n3lhnDmLLXwF50r5jeHFNBZ5tovpwHPVM7lhs/LayOkk2
 9lYMMSOxl1eVua4ChQ7AqZCRW3m2UMTXMisw+QOLrDrClM/RAkJVaWNqZt/INcNt/oOyY/1E
 oSVAB4wJKzX3iWfcV3ih7EKQO+HYKuTWlpibHJ0YAvwiyF5CWtthY9GH6YKkXAc3LQL5ZZJo
 zMtIq1s29wWEmyZqQcOJ4LwtpJjfxmNjAeDdXjtKjsmcpIqA0SD9tb4d0G9vGMDHwimh/sY+
 reA7wL8RYZcZgJACM2NVumj4WnstlcgmcVzfXDyHP9tRGvW/rJXdhPB1s0MH5lUKDHo5Cer6
 AKNMBJJ+cjPu9AU9ffKt4ClrqCoMe10IWRCFUKG77zsbSj+1UigyL9mT+ynU238VmT12aP6f
 sRT7aj2H8MmlWZwkbhXMuhU34NnwPDwtZp28x9CHn6WS3iKUJZeemKn2+tLvY1zno5pgxO8A
 B+zy4MLKIe3N9PAO39PARguccCo9+wewxvW5tQLeHTK3jd9pue7YB8DLiu3qXJvKZVuO9kY2
 sYngskd7jK/hjcMMtqriiN19XyGHkcfUpcI540rP4v2tjUFkl1yQ4TQKivT0qG9b99hNkoLI
 DjNoIHgg79a5FTJclttNHzr8Ndeu68zu0Fx/AdfH2iKp9vLve9o/Rtz9T9scB9Z4C8a2M1OO
 09qFXZPG4OwwxlSivNuYUWQCiBaJRjA+kXO21oDz2LYaE+zV13yFm42OMfT3UVA82tjYSRWw
 5CI7FnUQRHGXdzDhHosaxR1r9jma8J7zSzZucWdB8/eNYILUTnkpa6PZGQztBrsB/0qtnDHv
 eVH+OVRa7XxEDw5+YkXKtC9++wLaRamIGdif6lQzJkRFzuBRADoiCm8FU+hX+hsedrIyBacI
 O5zLJttUx+e6n6/ngoDD/RRH44uze8b3/tcSLbFPmVcjqC+qABuu5fu9iTTom8nbtFtsMQlI
 LPqaDOwPT2MtERQhlPygpFICkigbfkAQT/M7uS/3eEKNpAE6cVHU0U51JmqtHS0bipj2T+pv
 z34WqyH9Nw6lLxQnLbtHJ5TWCSyC9f4D9qT/C6J7t9hUNLoMOX1jT0zlGXJBQptEIEqa4xFr
 ojV6N/T92HZjYkySFHcysWgFbEWxMCcX9h3E8PQLVtclxSsQMXHvhkJoTi5Dbdrk9ptwNata
 CXlScm3dP8TA8x8wl8MYQdgMh8tMYbFRYa+mjGc9tOnFQo4/THcCtGsqFvFTDt+SHcTGpvcD
 gTUha6f1upApt4ROC5eVuBUPZBoBXTCB440fMLVnhuFBDCKhliihOPTpSA442uWNkjeQdfI2
 rObdB3Qbx/ohbrpyuteuIlMvhE6KnZxrO0zX0AF8e5NlDGIIz8aHNsZLKk5JMlYog7q2LH8Q
 QP9Xm8oJCH+fDZDKDHXwtDoWCWBDe0vZPb9ABEU/H2vViTnP7PYXYNd9Rph7UkvK3GnhKuiJ
 MoF83L9Agmpz9s7DawP7/i8mqF8yumc2nsM/lvnntfvBwoFR48Hz2FlABEHQBmv/xshT6kXD
 TNdqaF4rECHpYrZFM9hfztEEkhcsmq/lXMnaiCAxNuZsIKepAGFJDsTJMmruoDvruxTTFLNe
 Z8zb2SI6mGSnHcUvMPFfvo31LRsB6vj8teSdcfeqM57o010wmsiNsIG2yEISanOPeKZ/0z1z
 lGR3pT1OKhJxI29FlFbJcXlNq+dik4xMgw=
IronPort-HdrOrdr: A9a23:7PDw+aBE8N22zdLlHelk55DYdb4zR+YMi2TDtnoBMSC9F/bzqy
 nApoV/6faZskdyZJhCo6HiBEDjewK6yXcd2+B4VotKNzOW3ldAQrsSlLfK8nnOHTbh/vVR2a
 olX691E83oEFR25PyX3CCIV/glhPaK+L21nuvFpk0dKT1CWuVP60NWBG+gfHGehzMoOXP6Lv
 ehDwZ8xgZIsE52UviG
X-Talos-CUID: 9a23:0lVGq2NZZvurPu5DZy5fzRAIAZoZeUbM0ijWIVemK3lJYejA
X-Talos-MUID: 9a23:Tlw9tAovj7bmTKhj3koezzBcPuFQ0bagM1oEsqxBsdWtNQt1HSjI2Q==
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="6.18,233,1751234400"; 
   d="scan'208,217";a="237178506"
X-MGA-submission: =?us-ascii?q?MDHF6ZfXkf2YCgLmW6ZOcIAch7cU2/f2GBQsya?=
 =?us-ascii?q?r0EOF357UfD45Gty0Ua3LaGpfHkU29Bcqx4KHlVnS88HvPU0Sx5h8TZ+?=
 =?us-ascii?q?ZEAwWaV1i49WUH0sEPEqV/y1EQFoiSw5RbAGtahCKq89CzTlo/Ds8eyb?=
 =?us-ascii?q?du9nZ/AS2dDDccN8GnoAueGg=3D=3D?=
Received: from mail-yb1-f182.google.com ([209.85.219.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Sep 2025 20:16:06 +0200
Received: by mail-yb1-f182.google.com with SMTP id 3f1490d57ef6-e96e987fc92so5550438276.2;
        Tue, 02 Sep 2025 11:16:06 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20230601; t=1756836965; x=1757441765; darn=inria.fr;
        h=to:subject:message-id:date:from:mime-version:from:to:cc:subject
         :date:message-id:reply-to;
        bh=6n9tlIeDxLZizZqMY++ETw7jQHDivlOnL9m94SlJdlQ=;
        b=hzOMomq4W2rdjxAsxiuUB0EiBL6wTMJ2AjL5Gk5twnZDFQiku1UHwSiEm5SlMqs6pa
         7aYwjbiIaUvuiolcaTabq3SnoP89gq3yxCv75JJCexG9PSVLR+YtSky+1W58TppES2yP
         xySclhEunmjL5o1WvXtnce/fuVlVcd7P6DddWnlvx4BruX9GuCBm7TH0ZnJsgLpOQgbl
         mf9W8O2Og8vG/o0AVw7WdOc+sqmgw34g/ov19qVq4bztwBllw1mZSCscqpLl2/0ayCxf
         92gzGsDyhU1NJgWJ3O3xPa1W7vK1/tO7qb11fXtS3RTGI28bzUAux1WT9j9wH+PirSs8
         tYxw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20230601; t=1756836965; x=1757441765;
        h=to:subject:message-id:date:from:mime-version:x-gm-message-state
         :from:to:cc:subject:date:message-id:reply-to;
        bh=6n9tlIeDxLZizZqMY++ETw7jQHDivlOnL9m94SlJdlQ=;
        b=qtKXpasdO4wvhdYWRgGZ1WCy8ee1aPll8+qqyzqv9d77U2zWwWtwKoZGKpEx30x3UT
         KjmhPC0MXXodgQH5i43us1OC7e2pDD4waqXazsSFqOO5lM6s4Pw90R5kmuc8U3833/mN
         ukzL1aWdq9cW/A9DgUc5JjYukdvfj5OMl4hR6A9n3k3Bd86QoK7OlHaVG8YFbbCvvXyL
         gqLR0uhPd5YckxMYg+nmoSZwzCTEW/ue+iiGFjkF3M6u2xLGkDioKUg7KF0CFDuxJsmd
         vHQEMudpceG4fSgr4nsDMNWIlF/2eNH0cyJUrZWtwrR3Or4AD9VLFp9g/P+1TBstXAVn
         NETw==
X-Forwarded-Encrypted: i=1; AJvYcCWNv574XpWleWpi7cwC6U8HC2C1S/vHABG83afAHVNs7vNmtDKyNjU/dSsG+9BbyYvEIoKDe/+83Q==@inria.fr
X-Gm-Message-State: AOJu0Yzlu/NFL9Sv/mBAoTs29tkX7gFmyw9z1rjq3tUOh1RsvEreEiz9
	s/jpyNS0fsARhN5foG9wIYF6U0p8Y/aEW77BKei7kCWamYUJhEuIxBd6RRzUUolONfLNf7vMgQm
	Jn1mDJho0jaZD6ds0hVDlmR7ktDiC60z/if0pjyI=
X-Gm-Gg: ASbGncuJDsFOV2MROdfDn2R96LlxOidnk1IR+mBwhBJbbV321geQrk8lVaXa5GclGQv
	TzaPm4GwrZlw3A/jPAmsWNEYlj761K3FmmwKoPZR42CxJ17esZYbSlwRXeUwMhDmu5F4eEDyFh3
	XDM811fSa/86ye0WYMnQTzTPJJ6lp6FDCnx82X96Tg5oiV7WyQyNA70Q/L3/ynZKWIgV0/7+f9a
	yxgq0myZXhFRplGBQ==
X-Google-Smtp-Source: AGHT+IHgeBA9L6bgVx6cAxKU9Bx9vaNA5j35uH/oMT9R/3CV/JhEKktKRyr16JBczGfBu2ZRHOMdosKmzkwy1ATybEA=
X-Received: by 2002:a05:6902:1344:b0:e96:ebb1:be7 with SMTP id
 3f1490d57ef6-e98a581eff7mr11650216276.33.1756836965207; Tue, 02 Sep 2025
 11:16:05 -0700 (PDT)
MIME-Version: 1.0
From: Ningning Xie <xnningxie@gmail.com>
Date: Tue, 2 Sep 2025 14:15:54 -0400
X-Gm-Features: Ac12FXxRtQpSfJ_JJqJqfhyOqN6kRJ_cJuwmawQAmPnR546_9ZN6eClbrBgxkag
Message-ID: <CABjRk3=dJkqLgigToqeUddo0Od=mUXR7FS=NEAkc0kAr1g8=mg@mail.gmail.com>
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="0000000000003d547e063dd57b9c"
Subject: [Caml-list] Haskell Symposium 2025 Call for Talks (deadline Sept
 15th)
Reply-To: Ningning Xie <xnningxie@gmail.com>
X-Loop: caml-list@inria.fr
X-Sequence: 19373
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <https://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <https://sympa.inria.fr/sympa/arcsearch_id/caml-list/2025-09/CABjRk3%3DdJkqLgigToqeUddo0Od%3DmUXR7FS%3DNEAkc0kAr1g8%3Dmg%40mail.gmail.com>

--0000000000003d547e063dd57b9c
Content-Type: text/plain; charset="UTF-8"

========================================================
               Haskell Symposium 2025 Call for Talks
                 Thu 16 - Fri 17 Oct 2025, Singapore

    https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025

========================================================

The ACM SIGPLAN Haskell Symposium 2025 will be co-located with the 2025
International Conference on Functional Programming (ICFP) and the 2025
International Conference on Systems, Programming, Languages and
Applications: Software for Humanity (SPLASH).

The Haskell Symposium presents original research on Haskell, discusses
practical experience and future development of the language, and promotes
other forms of declarative programming.

We invite proposals from potential speakers for talks. Talk proposals
should report work in progress relevant to Haskell language design, theory,
tools, or applications.

Talks are proposed by submitting an abstract. Please submit a talk title
and abstract of no more than 300 words. There will be no published
proceedings.

Papers should be submitted through HotCRP at: https://haskell25.hotcrp.com/

Submission deadline:    15 September  2025      (Mon)
Deadlines are valid anywhere on Earth.

Talk proposals will go through a lightweight reviewing process, evaluated
by the PC for relevance to the Haskell community, but are not expected to
include finished results. Talk proposals will not be distributed to
attendees, but authors of talk proposals may provide links to materials to
be included on the program.

Topics of interest include:

 * Language design, with a focus on possible extensions and modifications of
   Haskell as well as critical discussions of the status quo;

 * Theory, such as formal semantics of the present language or future
   extensions, type systems, effects, metatheory, and foundations for
   program analysis and transformation;

 * Implementations, including program analysis and transformation,
   static and dynamic compilation for sequential, parallel, and distributed
   architectures, memory management, as well as foreign function and
   component interfaces;

 * Libraries, that demonstrate new ideas or techniques for functional
   programming in Haskell;

 * Tools, such as profilers, tracers, debuggers, preprocessors,
   and testing tools;

 * Applications, to scientific and symbolic computing, databases,
multimedia,
   telecommunication, the web, and so forth;

 * Experience Reports, to document general practice and experience in
   education, industry, or other contexts;

 * System Demonstrations, based on running software rather than novel
   research results.

--0000000000003d547e063dd57b9c
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">=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<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0 =C2=A0 =C2=A0Haskell Symposium 2025=C2=A0<span class=3D"gmail-il">Ca=
ll</span>=C2=A0<span class=3D"gmail-il">for</span>=C2=A0<span class=3D"gmai=
l-il">Talks</span><br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0Thu 16 - Fri 17 Oct 2025, Singapore<br><br>=C2=A0 =C2=A0=C2=A0<a =
href=3D"https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025" =
target=3D"_blank">https://conf.researchr.org/home/icfp-splash-2025/haskells=
ymp-2025</a><br><br>=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<div><br>The ACM SIGPLAN Haskell Sym=
posium 2025 will be co-located with the 2025 International Conference on Fu=
nctional Programming (ICFP) and the 2025 International Conference on System=
s, Programming, Languages and Applications: Software for Humanity (SPLASH).=
<br><br>The Haskell Symposium presents original research on Haskell, discus=
ses practical experience and future development of the language, and promot=
es other forms of declarative programming.<br><br>We invite proposals from =
potential speakers for talks. Talk proposals should report work in progress=
 relevant to Haskell language design, theory, tools, or applications.</div>=
<div><br></div><div>Talks are proposed by submitting an abstract. Please su=
bmit a talk title and abstract of no more than 300 words. There will be no =
published proceedings.</div><div><br></div><div><span class=3D"gmail-il">Pa=
pers</span>=C2=A0should be submitted through HotCRP at:=C2=A0<a href=3D"htt=
ps://haskell25.hotcrp.com/" target=3D"_blank">https://haskell25.hotcrp.com/=
</a></div><div><br></div><div><div>Submission deadline:=C2=A0 =C2=A0 15 Sep=
tember=C2=A0 2025 =C2=A0 =C2=A0 =C2=A0(Mon)</div><div>Deadlines are valid a=
nywhere on Earth.</div><div><br></div></div><div>Talk proposals will go thr=
ough a lightweight reviewing process, evaluated by the PC for relevance to =
the Haskell community, but are not expected to include finished results. Ta=
lk proposals will not be distributed to attendees, but authors of talk prop=
osals may provide links to materials to be included on the program.</div><d=
iv><br></div><div>Topics of interest include:<br><br>=C2=A0* Language desig=
n, with a focus on possible extensions and modifications of<br>=C2=A0 =C2=
=A0Haskell as well as critical discussions of the status quo;<br><br>=C2=A0=
* Theory, such as formal semantics of the present language or future<br>=C2=
=A0 =C2=A0extensions, type systems, effects, metatheory, and foundations=C2=
=A0<span class=3D"gmail-il">for</span><br>=C2=A0 =C2=A0program analysis and=
 transformation;<br><br>=C2=A0* Implementations, including program analysis=
 and transformation,<br>=C2=A0 =C2=A0static and dynamic compilation=C2=A0<s=
pan class=3D"gmail-il">for</span>=C2=A0sequential, parallel, and distribute=
d<br>=C2=A0 =C2=A0architectures, memory management, as well as foreign func=
tion and<br>=C2=A0 =C2=A0component interfaces;<br><br>=C2=A0* Libraries, th=
at demonstrate new ideas or techniques=C2=A0<span class=3D"gmail-il">for</s=
pan>=C2=A0functional<br>=C2=A0 =C2=A0programming in Haskell;<br><br>=C2=A0*=
 Tools, such as profilers, tracers, debuggers, preprocessors,<br>=C2=A0 =C2=
=A0and testing tools;<br><br>=C2=A0* Applications, to scientific and symbol=
ic computing, databases, multimedia,<br>=C2=A0 =C2=A0telecommunication, the=
 web, and so forth;<br><br>=C2=A0* Experience Reports, to document general =
practice and experience in<br>=C2=A0 =C2=A0education, industry, or other co=
ntexts;<br><br>=C2=A0* System Demonstrations, based on running software rat=
her than novel<br>=C2=A0 =C2=A0research results.<br></div></div>

--0000000000003d547e063dd57b9c--