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=DNRRWWuU; 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 54C96400CF for ; Mon, 1 Jun 2026 14:43:21 +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=l5Ww5RYKUbZSqYLymveeTY6ulCzFd2xTAZKjK+mijjE=; b=DNRRWWuU3JE3zOPvNv5mHn6YnHFJAjLPBB0AksEtBkyunrPN3f7joxCv sZ+IT6NqoSFZWS3fxJCviQ1GGPp/I6IgPtnyDlSehTgNb0SMchYsG1NsV 889W6Yj8utFAZtZGFzvBGi2UwLcBY05gTn8QY2c+uvO6uoV75wetNq038 M=; X-CSE-ConnectionGUID: AtJa81e1ROSKWx5fbGAR7w== X-CSE-MsgGUID: b3UgaP6ZSjOZHiZX0v2UsA== 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,181,1774306800"; d="scan'208,217";a="279245781" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Jun 2026 16:43:21 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 34DC883299; Mon, 1 Jun 2026 16:43:21 +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 5402F8294D for ; Mon, 1 Jun 2026 16:43:11 +0200 (CEST) X-CSE-ConnectionGUID: r48TjBWHS6a/uEMiRpwy1Q== X-CSE-MsgGUID: dR4KXyRgTw2M1wKWtUWF/w== IronPort-SDR: 6a1d9a7e_o34HU8lRIJRp+jr8H4DXR2FlBrQkWGap89lX/U+2fE+TWsq CYbEQGP/ixUecG5xJNH02cgL1DZ9O3oI9Dq97sg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GRBwD/mR1qgbTQVdFaFoJDghgpaCBeNAQLSYQcPIEjQ?= =?us-ascii?q?IFsjASCIYtKMpNhFicCDwEDAQ09FAQBAQECAQIBg0iBN401Ah4HAQQzBg4BA?= =?us-ascii?q?gQDAgMBAQEBAQEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAQEiGQcOO4ZPD?= =?us-ascii?q?YJbO3FhAgUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQINHxUqMgYLBh0BGwwSAxIDDQkuAiMBEQEFAUkHB4IIWAGCIgEGE?= =?us-ascii?q?AEDNgMRBphljRmCJIECQos9gRUFAhaBAYINBoEJPgXZGwoZKA1vA4FkAgEGF?= =?us-ascii?q?oE3hHgqTw4DglcBgV8BAg6EBQGEAYEhgiiBFTWCRINQAQIBgTVJDYMugmkEg?= =?us-ascii?q?Q5/FXoSgV2BBWuGLIUVJgEHBxcDBwcJBQQcBgUDAgI/CQUBDxIDBAMEBAECC?= =?us-ascii?q?wkKCQMDAg4CCAMCCAYZAT8SBBMCCAkECwcFHwoCDBQKKCISKwoBAgFVFhoBC?= =?us-ascii?q?AYCAgQEAgQMAgkCAgUDBAIEDQMEAQEIAgItAwEDGQgJCAILBREYDAsHMQMQC?= =?us-ascii?q?QMfAxQaCBE0CAYWARoHBQYLNxUFDBEBAQJHAiEEHhEIAwETAg8IAw4bAgIEA?= =?us-ascii?q?gkBAQYNAQICBgICAQMHGAMEHQQDAwcCAgkJBAwQChIVAw4DBw8CBAwHMAsDA?= =?us-ascii?q?g4CCQgMFwICAgYCAwMDBAkBAgEBAQEBAQECBwMDAwIDBgMXBwYDBAYBBAQDA?= =?us-ascii?q?wIDBQEDAwMFAwIDAgYHAwYJAQEBAQMCAggDCAMMCQUFAxsDHgYBAgIDAgECB?= =?us-ascii?q?gYDBwEKAwQCDQMDBAIDAwMDAwMDBAECAgEBAQIDAQMDBAMBAwMCAQMHAgIDA?= =?us-ascii?q?wMLAQIDAwMFAwUBBQMFAgIDBQUDBQICCgIDAwMCAQMCHAMIAwYDEgEUAwMCA?= =?us-ascii?q?wMGAQMHAwMDAwMHAgQDCAIGBAMDBgIDBAYDAwIDDQgDGAIIAwMDAgMDAwIDA?= =?us-ascii?q?wUBAgICBAUEAwMDAwMDAgMKAwsFAwQDAwMEAgIDDAIGAQEDBQMDAwMCAgMDB?= =?us-ascii?q?AQDAwcCCgIDBgQCAwMBAwMFBQMFAQYHAgMHAQICAwQBDw0DBQMICQ8DCwkIE?= =?us-ascii?q?z0BCwcuBAQMKgEUFAcpIV8Qix0XD4ErgQdNAzoZFgJPIh8yDw4lRhRwAQEBg?= =?us-ascii?q?TuQXwsmgmqHbYhkny4hCQEGAmCBZ4EKFQougWaKO4FDlBEzhASHF4V9mVIBm?= =?us-ascii?q?QaOCZVLDgoThTARJBKBSCSBXE0jgQFtgUlQAxkPV5FMgT6DVcUQRTICOwEBB?= =?us-ascii?q?wIHAQwBAwuBaIReiyI0gUsBAQ?= IronPort-PHdr: A9a23:gTOJsx3FWWUGcIwYsmDORw0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeCo601xwaWDNyDo7Ic0qyK6PymATRBqb+681k8M7V0HycfjssXmwFySOWkMmbcaNPMUWkRM f8GamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj4tvJrwtxhfVrXdEZuZbyGd1KV6Pgh3w4tu88IN5/ylftf8s+NRMXbnmc6g9U LdVECkoP2cp6cLkshXOURGB7WYGXGUMlRpIDQnF7BXkUZr0ryD3qOlz1jSEMMPvVbw6Viys4 KhyRBL2hykJKiY1/27LhMN+iqJbuw+hqAdkw4HIeoGVNeFxcb3bcNgHWGdORMdRVyhGAoOhc 4sCCvcKMOhEo4XhoVYFsB2zDhSuCuzy0D9FnnD506003eoiDA/IwhAvEskUv3jIttj4LrseX fy3waTO0D7Nb+lW2TD46IXQbx4hvOyDXbJqfsHM00cgDRnFjlSVqYP/OzOazPkGvm+A7+p9S O2vi3Qoqxt+ojSxycohiJLEho0Qyl/e9CV5xJw5KsG/SE5+eNOpFoZbuC6GOYVsWMwiX31ot zggyr0AoZO1cicHxYo6yhDQd/GJfIqF7xzsWuuMPTt1inNodryiihi87EStxeLyW9e23VpWs idLktrBu3IC2RHd6MWLVv9w80G80jiB0ADT7/tLIUEylafDKp4h2L8wlpQJvUTNBC/6gET2j KmMdkUl4Oek8ernYq/+qp+bK4B7kAT+MqA0lsy4G+Q4PRACX2+H9uum0b3j+Vf1TK9Njv0sn anVqIvaJcUUpq6hBw9ayIAj5wy4Dze839QVm2QMIlFdeB+fkYTlJ1XDLOr7APq/mVigjitny vPcMrH8AZjBMn7Om6r7c7ln8U5T0g8zwMhf551KDrEBJ+r+Wkrru9zZCh81Kgi0w+T6BNlk2 IMSRGGCDrODPKPdtl+I4e0vI+2Sa4MPpDn9LP0l6+bvjX8/h1AdYbGk0YULZH28BPhrIEWUb WDyjtsdEmoGpBcyQe/2hFGaVD5cfXeyX6Yy5jEhD4KmCJ/ORpuwgLOc3Ce0BIdWZm9YBl2DE 3rlbIqEW/IWZyKTJs9tiCALVb+kS4M5zxGhqBf6y6Z7LurT4iAXqYjs1N1x5+HKkREy9Cd0D 9iG3mGWT2B0m3sISCUs0KB+p0x90FaD3rJij/xWD9xf//VJXRwiOp7G0+N6E8zyWh7GftqRV VqqWtqmDi82Ttwy2dEDe0hyFci6ghDZwSWqHbwbmaaTCZwx6K3c3nzxK995y3bEyaUtllcmT tZMOGG6nKJ/+A/TB4nGk0Wdiammb7gT3CnI9Gub0GWOv0BYUAtoXKvdUn4QaFXYo8jl603EV 7OhFLEnPRFbycGeMqZEcsTng01JSvv7I9Tee2yxln+qCxuU272CcZLme34F3CXTEEcEkx4c/ XKBNQUmHimvunrQAjM9XW7oNkjl9O07rHKgUmc1yRuLZgtvzemb4BkQ0MeBR/MalooNoiYko jF9VAKmwt7WAsCP/VY+VKpZaNI5plxA0DSK5ERGIpW8IvU61RYleANtsha2v/0WIoBJkMxw6 Wgv0BI3M6WTllVIazKf25n0fLzRMGj7uh61OObNwl+L9tGQ9+8U7egg7U35tVSyC0Yi+m9oi YUK+3SZ75TOSgEVVMG5SV45oiBzvKqSeSwh/8XR3HxoP7Ozt2rZxt4pDfEqkEr/V9haOaKAU gT1Fp5SHNCgfcotnVXhdRcYJKZS+aozatuhbOeD0bW3MfxImTuniSFD4tk43Bvcr2xzTenH2 5tDyPadtueefxH7ilrp8sX+mIQeICoXAnL60y/vQohYeqx1e48PT2aoOcy+gNtk1dbrXDZD+ VivCkljuofhcAeOb1H7wQxb1FgG6X2hlyyiyjVokjYv5qOB1S3Kyu7meVIJIGlODGVliF7tJ 8CzgbV4FACzcgQpnQGqvxql76deraV7aWLURAYAfiT7KX1jTrrlrqCLMIZE7JIltzkSUfzpO wjLDO6g5UFCg2W6TzMNoVJzPyunsZj4gRFg3WeULXIp6WHcZdk13xDUotrVWf9W2DMCAih+k zjeQFambLzLtZ2ZkYnOtuemWievTJpWJGPw0I+AvTG0vzE1KRK6lvG33NbgFEJptE2zn8kvT ijOoBvmN8Pwyqi6OPhoJBU3LFD54st+XIp5l8Fj4fNYkWhfjZKT830dlG71OtgOwqPyYk0GQ jsTysLU6gzosKF6BkqA3JmxFnCUw887IsK/fntTwCU2qcZDFKaT6rVA2ypzuFux6wzLM7Bxm TIUyP1m73B/4alBoxchziyHDepOQmFXOCXtk1KD6NX2oKhMZWmpeKS9zwIkxYHnXOzE+FkMH i+pIt8rBmdo4996MU7Q3XGWiMmsY9TWYd8J91WVnxrGk+lJOcc0n/sOizBgPDG1tnkkxugny B12iMvi7c7XdiM3pPL/W04AZViXL4sJ9zrgjLhThJOT1oGrRNB6HykTGYHvRrSuGS4TsvLuM 0CPFic9ozGVA+m6f0fX5UF4onbIC53uOWuQISxT1shuRBCHKxYD3ygbWTw7mtgyEQXgl6mDO A9poysc4FL1sE4G0f9kNxDlXT2D+y+nbz41TN6UKx8cvWQgrw/FdMeZ6Ox0BSRR+Jas+ReMJ mKsbANNFWgVW0aACgOrLvy06NLH6eTdGvumIq6Ef+CVseIHHaTtp9rnws588j2LLMnKInRyE 6hxxB9YRX4gU8XBx2dQF2pOzX+LN4jD407isixv8pLlqKWtCF+pvNHfTeMVaIoKmVj+gL/dZ bTI3H8rdWYGjsFQlSGUmupYgQBaijkwJWPxSehS636VFPCMyvELXUxcNn0WVoMA7rpijFMTY ZGJhIP/juwk3qBpWQUCCAKpm9n3N5Zaeznvb12fVhrbaujUd3qWnaSVKeu9UeMC1uwM70/p5 WvDQROzYGjRxX60CViuKb8e1irDMk5QstzlIEo9VzSxHpW7NFWtOdtzx1Xa2JUSgXXHfS4ZO Dl4KQZWq6GIqDlfibN5EnBA6XxsKa+FnTyY5q/WMMRet/wjGSlym+9AhRZyg7JI8CFJQuB0k yrOv5ZvpV+hiOyG1jtgVlJHtD9KgIuBuUgqN7/e89FMXnPN/RRF6mv1aVxCv9x+FtjmoLxd0 PDKnaP3bTNAqpfapJtEQcfTL82DPTwqNh+oUD/YAQ0ZTCK6YGHSg0sO9ZPavnaRr5U8tt3tg M9UEu4dBAFzTKtKTB01RI9nQt8/RD4vnL+FgdRd4HO/qEOUX8BGptXdUfnUB/zzKTGfhL0CZ h0SwLq+I55AU++zk0FkdFR+m5zHXkTKWtUY6DZ8Yg89ukoXrCdWQWg62kajYQSoqix2d7b8j lsthw1ybP54vi/r+EsyL0HWqTEYlUAwnZDhg2nUfmehdOG/WoZZDyeyvE80eMCeIU49fUi5m kpqMy3BTrRagu57dGxlvwTbvINGBf9WSaAsiPA4yvSeZvFu2lNZ+HzPLa5v4OLEDd5mllJvf 8f89zRP3AVsaNNzLqvVdvIhJr14iaeHvyvu3ec0kld2Gg== IronPort-Data: A9a23:Jd2Lta5kgCpuI94LzZBFRQxRtMnDchMFZxGqfqrLsTDasY5as4F+v mtLUGmBafrfazSjctx/a9i3pkkBucSByddnGQM5+CgxEysa+MHILOrFEkqhZCn6wu/rHBs2t Z1GAjXjBJlpFSGE/k/F3pzJ9yQUOXSgH+KkYAL8EnkvA1ciFGF50EwLd9cR2uZAmcK+Dx6Gp eT8qsjePE7N8zNvOwr40YrawP9UlKq04m9wUmAWP6gR4geAzyBNVfrzGInoR5fGatkMdgKFb 72bpF2J1jux1wsgDNqjjoH6fiUiKpbOPRKDg2ZhQKOrhB5PvEQais7X49JBAav/o2zhc+FZk L2hh7TpIesaFvSkdNAmbvVtO30W0ZtuqOaWeyDn2SCk5xaun3PEm52CBaytVGES0r4f7Wpmr JT0JN2RB/wqai3fLL+TE4FRasofwMbDJt9PhnNK8hHiU/9hXL3mQp/S+s4B5WJl7ixONa62i 8sxbDNuaFHEYUQKNA5HUNQxm+CngnS5eDpdwL6XjfBvsi6DkUoriOiraYqNEjCJbZ09ckKwv X/K/23jDUtGa/SQzDOE9jSngeqncSbTAt1DTuHlqK4w6LGV7mApVD4mRGG0nebjrxeheO1DF nM6vTV7+MDe82TwE4ClAEzmyJKehTYXUt9UVuk78x2l0bvR+w/fB24eTzcHZsZOiSMtbTkj1 1vMm9GwQDI24OXTRnWa+bOZ6zi1PED5MFPuewceEVs54fPcgLpth1XSY/NiKraqn4TMTGSYL y+xkMQou1kEYSc2O0iT+FnGh3eopMGMQFdlvkPYWWWq6g4/b4mgD2BJ1bQ5xacfRGp6ZgDe1 JThpyR4xL1eZX1qvHLUKNjh5Jnzu5643MT02DaD5aXNCAhBC1b4INkIv2AgTKuYGskDfjDtb QfSvwgXjKJu0I+RRfYvOeqZUpx0pYC5TIiNfq6OMrJmPMMqHCfZp34GWKJl9zq8+KTaufpnY c/DGSttZF5GYZlaIM2eHL9FiuF3nXFlmQs+h/nTlnya7FZXX1bNIZ9tDbdERrljhE9diFyNr ooNBNjA0BhFTuz1bw/e9INZfxhALmE2Cdqy44Zbf/KKaFguUmwwKe7j8ZV4caxcnoNRirjp+ FO5URRm01bRvyDMBjiLTXFBU4nRe6hDg0g1BgESGGq5+mMCZN+v5ZgPdpFscrgA8vdi/MFOT PIEWpuhB61PQwvY5z4yaonZk71yUziCmDDUbjSXOig7W5tGWQby28TFezH3/3IkFRuHtsoZo pyh2DjEQJEFeR9QMcbOZN+rzHKzpXI4issoe2fpe/59IF7N9qpuIAzP1s4HGdkGc0j/92HLx jSoDgc9jsiThY0Mqf3ip72O9qWtGMtARntqJXHRt+uKBHOL71iY4NFyVciTdmrgT0LywqKpY NtVw9zaMPEqmFVrsZJ2I410zJARtsfemLtH8jtKRHn7TUynKrdFEEm02cNisq5sxLgAnSCUX kmJ2MdROJTXGcfDPWMSGjEYbbW45alJogXR0PU7G1WlxSlV+LHcb15eESPRgwNgLZx0Ergf/ 8EfhOAs5TeSsCEaauS9sngM9kCnDGAxbKE8h5RLXK7pklUKz39BU7z9Cwj3woODVO9LA3kIJ BqWvfH7qLhA93XGaF42M2bH5stGpJE0oBsR5kQzF1eIvdvnuvMI5hpgyh4OfzR31h94/flCA Uo6E2ZXNKmx7zNTq8wbZF+VGiZFHwy/xkPq7kkgzUn1fhKPbXPcCm8TNcKm3lErw0gFchd1p LinmXvYCxD0d8TP7w4OcE9Cqdm4aPdu9wfHyfuVL+7cE7YUOTPa07KTP0wWoB7aAOQ0tk3Nh c9u2M1SMaTbFyohk5cXOrmg94Y7aU67fTRZYPRb4qk2M3nWe2iy1RiwOkmBQJ5xCMKQw3CoK f5FB5xpbAu/5hasvzpAJK8rIp1IptALyucGWIvWIT8hj+PCgBtv6Ind5wrvtl8NGt9Oq/swG qnVVjCFE1GTu0dqpn/wnJF6HVS8MPY5Z1za/eGq8e82OYoJn8NyfGoTjLalnXWnHzF23hCTv QiYWazf4MJz+5ZNx620OKNJOCusI/iuVu7SqAGXmPZNZOPpLs3hmV40qF7mHgIOJpoXeY19u oqsue7N/nHunegJQUGAvLKeBYxl2N6UXuEKFu7WdlxkxTCjXu3o6Ds9o1GIE4RDyo5h15P2V jmGZ9uVXv9LfsVW21l+STVUSjQZAITJNpbQnzu39amwO0JMwD78DY2V8FHyZjtmbQ4OAZr1D zH0t9uI5tx1qIdtBgcON8p5Aq1XcUPSZq87S+Lf7TWoLHGkoleniIvQkRAN7TLqCH7dNO3Y5 ZnDZAb1dTXsmaXu4exajbdPvUwsPC4gudUzQ0MTxYcnwXTyRmsLNv8UPpg6G4lZ2H66no3xY DbWKnAuE2PhVDBDag/x+8nnQhzZPOEVJ9PlPXY8yit4sctt6F+oW9ONNxuM4kuavhPmxeCjb NUcozj+Z0jphJ5uQukX67qwhuIPKjY2AJ4X0RiVriAwK0927XY2OLhJEw9EVCiBGMbI/KkOD XZgXnhKGSlXVmaoefuNuBdp9NUxszbmzjFuZiCKqDoaV0N308UYoMDC1yrPPnHvoSjEyHPih Z86eodV312r5w== IronPort-HdrOrdr: A9a23:JoN+HK6ss1w+HRBCwwPXwBHXdLJyesId70hD6qkvc3Bom52j+v xGws5w6faUskdrZJhEo7+90ca7MBfhHPJOkOws1NSZLWvbUQmTXedfBOLZqlWKJ8SUzJ8l6U 4PSdkHNPTASXZ/yen36BSlCNo7qeP3l5yAtKPxyzNCQ2hRC52ILD0ZNu9YKCNLrcB9dPkEKK Y= X-Talos-CUID: 9a23:FFRyhWECgnXqSyuuqmJ9qB4oGOoaUkaDxTDNDmq5M352WeSsHAo= X-Talos-MUID: 9a23:GRbrqwTiQKEVgx0XRXTgvm1BBNZS7JixUmVUjrY5p/S7G2tvbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.24,181,1774306800"; d="scan'208,217";a="279245682" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHsdz3vcaUE9hdjj/G5SjET7wigx9W/9/l6OL?= =?us-ascii?q?RO/mZC/1J5Qxy1n25zzixPN+3C3ws2zF7geoZuAwkJWpyPC38HBS+C51?= =?us-ascii?q?Y1jYfJrZMD3ZIAN/ZMCkwGhyCf8RB6azJiCZk9gCbCPwxfF3Ir/hbhN/?= =?us-ascii?q?p5/Cx+dMaWXV+xnVSvlw8pSQ=3D=3D?= Received: from mail-lj1-f180.google.com ([209.85.208.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 Jun 2026 16:43:10 +0200 Received: by mail-lj1-f180.google.com with SMTP id 38308e7fff4ca-3965bc493caso20379731fa.2 for ; Mon, 01 Jun 2026 07:43:09 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1780324989; cv=none; d=google.com; s=arc-20240605; b=jPbTQAX4pxjCrtKgwqbcD2SM9mScEhlCuzM6iXaq4T1cAMUYjReto0UR0V3/bEOpmE JNykB02DDA4UXvNkayTY0BJf2pl/NrMyWcTAdu4BSy+z8sRuWk7JJwmwgAtGjKeVvWQ8 3j7+d70NlrxmcXMgthtozFoJDoz/E80fMmowIOJr4LSdzLJdVR2Y71XWjEd87HnRlpRA umwTOqQT3TxPv/B6KJA+SZ3EB0GAMwqlxtH/zMLP4hasyv+vwBEwQiUoLqwwuwOZvpDc 8PIdiLP6CUpZyntKslDhnQfcgIJ+pn92ZDS582XZy+jMX0YMZTcpqy5/OhjBfPAjEVd2 i8gw== 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=l5Ww5RYKUbZSqYLymveeTY6ulCzFd2xTAZKjK+mijjE=; fh=KBq/LY/XJ4Huo2SZqj6ePBkTTJwNo5Ko96fq2X3IpMY=; b=VW92HleGJOLobLQbWTrDeLQgoCTxRSzcsNaSdfK+KLcLshLg+AGG04D9WSFR9ZmMsN Rf0eXt4dGHn1h0w8XOqUhAHBgLid848SvcS/tsQ7qDM/qECynpflXl6XQcTS0kLzy9kL J1B3xjYOJoTcjkrqMlTZW7qI7bMykB8W5ipLuf1S1XjJ7YgcVxPe+DITRtqMwJ6XMIWX 9ExsJ2Ti38quls12JqQVKoSiE4tnFVZRTFWEFBv6Kh8bvLIFOHA9qVUMl7TL4u0yYHJB DDt7heznLz2YlVnCjL6vYiXHo30NuC/5ZHyfpxr16h/LBObyA0nxpqQfWE3A+IGxNIox 2lUg==; 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=1780324989; x=1780929789; 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=l5Ww5RYKUbZSqYLymveeTY6ulCzFd2xTAZKjK+mijjE=; b=c8+Ky6khDt/3pAXheArR/kqqeP3IgX/j+HCzsKOB/CLvu0ptMV5VGmpTTEyerv24Z8 cPbeUHufZsqwUL7UDmEqf+qDq1ZZ6DyR3jm/HUkdmGgQBZgpDAgO6hQX9ev8cJ+zOXh8 dIZ539M0NR1asmV5UwiBHWpj1RRYwwT/lkxNZ6dXiRiPhGjvelkf+4NyoZLs1zLYvifj eKaStp73uxUOtuU9B3pW2Ogq5F9kKgpw+QhlJxsSUBZ5VcxCUwGchdFvLf30m6MHihXO LU3Vx4Hu9+bMV9tERpjPrUK7+G4vjWH7gmPq11zQUNYibXygzniEMpZmu7WVlGRmDQPc TBWA== X-Gm-Message-State: AOJu0YzGzWhUTDsEz+LwuR8NJt4KdBRxdWHteW+G38aExf7BEHawzAx9 NiyQ+pXCzR/jXNmEh1sTj5ro9M+qgncJGzTcqh8g7WbFZXpe6uPnIZapzsf5/efKqhMW3WUKnR7 lWxYuDk6dHspqetmlpTCnMCShOF6le8VDdnmS X-Gm-Gg: Acq92OHNmLAy/lBGKW6Sm/dPBUHsfEUOxifrfYhldKeJF4KXjFKWptOzVr5yFs0ZJFY S0BRrM8mrF+8yKwZBOFVGGALYIuBMegxPh9rEs+vzkziFrXh9LF1YaeSkWBXivACMc3ADMWnt5Y LIX60FSKHK1687pU4/bZ8XjFuivjySrygFSryvc9gPJhve1yHWboDHMIPTAryZEV2VRxP2Z+NUZ SoqKYg4WqTwSHjHcB8F5+klIobKuhiqEabYCvwYS44OQZ8JpWL3WB3nSyIj/7l59lBH9qXy7Jl7 fKBuUdDoNGLJhyh2fUiTCunajjQg+LCN3Zkt2FsOXR2RWPsJII4Fb3WpAUjvujsCz3V9l86JTGZ 0TQU= X-Received: by 2002:a05:651c:211e:b0:396:7fa2:e082 with SMTP id 38308e7fff4ca-3967fa2f0cfmr17280111fa.6.1780324988633; Mon, 01 Jun 2026 07:43:08 -0700 (PDT) MIME-Version: 1.0 From: Sudha Parimala Date: Mon, 1 Jun 2026 16:42:56 +0200 X-Gm-Features: AVHnY4KRyYsfB8H56O13krJoTyX4euleIxOteeVKQN3yRGBghB1s9qVGanAzZ9Y Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000088482f0653323696" Subject: [Caml-list] [CFP][FPW '26] Call for Talk Proposals at OCaml Workshop 2026 Reply-To: Sudha Parimala X-Loop: caml-list@inria.fr X-Sequence: 19522 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: --00000000000088482f0653323696 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D CALL FOR TALKS - OCaml Workshop 2026 =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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D Hi all! This year's OCaml workshop will take place in Paris. We are happy to invite submissions to the workshop. ---------------------------------------------------------------------------= --- Important Information ---------------------------------------------------------------------------= --- Location: Paris (co-located with FPW 2026 ) Date: August 27th (Subject to change! Possible alternative: August 31st) Submission deadline: July 1st, AoE Speaker notification: July 27th Submission website: https://types-hotcrp.paris.inria.fr/ocaml26/ ---------------------------------------------------------------------------= --- Scope ---------------------------------------------------------------------------= --- The OCaml Workshop welcomes a broad audience of OCaml users ranging from enthusiasts who are discovering the magic of OCaml to wizards well-proficient in the casting of unsafe spells. Their common denominator is their passion for OCaml and the desire to learn more, connect with fellow OCamlers, and collectively find ways to improve the language. We invite talk proposals just as broad: anything OCaml related is welcome! The topics are not limited to the following, but, to give an idea, examples from previous years include: OCaml editing tools, verified OCaml artefacts, interoperability between OCaml and other languages, the OCaml code of conduct, compiler optimisations, OS portability, OCaml testing frameworks, packages for concurrency in OCaml, etc. The full catalogue from previous editions can be accessed through the links below: 2025: https://ocaml.org/conferences/ocaml-workshop-2025 2024: https://ocaml.org/conferences/ocaml-workshop-2024 2023: https://ocaml.org/conferences/ocaml-workshop-2023 2022: https://ocaml.org/conferences/ocaml-workshop-2022 2021: https://ocaml.org/conferences/ocaml-workshop-2021 ---------------------------------------------------------------------------= --- Format ---------------------------------------------------------------------------= --- In addition to the Standard Talk format of 20 minutes, we allow the following formats: Demo. 30 minutes tutorial-style demonstration of a tool. Informed Position. 20 minutes presentation on topics in the design space of OCaml (such as, but not limited to, the inclusion or removal of a feature). Experience Report. 20 minutes report on the use of OCaml or a tool. ---------------------------------------------------------------------------= --- Submission ---------------------------------------------------------------------------= --- The submission website is available at: https://types-hotcrp.paris.inria.fr/ocaml26/ Please submit a description of the talk (typically two to three pages long; it could also be less or more): the problems that are addressed and the solutions or methods that are proposed. If you believe the delivery itself is a unique feature of the talk, please feel free to also include a description of how you plan to deliver the talk. LaTeX-produced PDFs are common but not required. Last year's accepted presentations are available online: https://icfp25.sigplan.org/home/ocaml-2025#event-overview ---------------------------------------------------------------------------= --- Evaluation Criteria ---------------------------------------------------------------------------= --- We will evaluate submissions according to: Relevance for the OCaml community Rigor and soundness Novelty Clarity Potential to deliver an engaging and informative presentation ---------------------------------------------------------------------------= --- Recommendations on LLM Usage ---------------------------------------------------------------------------= --- Proposals largely written by LLMs are not acceptable and will be desk-rejected. The use of LLMs to correct grammar and enhance style is perfectly fine (especially if English is not your first language), but their use to produce material directly is dangerous and unprofessional, and undermines both authorship and reviewer effort. ---------------------------------------------------------------------------= --- Location Information ---------------------------------------------------------------------------= --- This edition of the Caml Workshop will be located in Paris as part of Functional Programming Workshops (FPW) 2026, alongside other workshops and events taking place at the end of August. This is a departure from the usual habit of having the OCaml Workshop co-located with ICFP. Because some FPW'26 events are bi-located with ICFP, the events will take place at roughly the same dates. ---------------------------------------------------------------------------= --- Co-ordination with ML Workshop ---------------------------------------------------------------------------= --- The ML Family Workshop is also co-located with FW '26 this year and may be of interest to attendees. While the OCaml Workshop focuses on developments in the OCaml ecosystem, the ML Workshop is language- agnostic and more research oriented. Authors whose submissions fit both venues are welcome to indicate this at submission time or reach out to the program chairs. ---------------------------------------------------------------------------= --- Program Committee ---------------------------------------------------------------------------= --- Cl=C3=A9ment Allain Pedro Carrott Simon Cruanes Marko Doko Patrick Ferris Jean-Christophe Filli=C3=A2tre Sadiq Jaffer Robbert Krebbers Vincent Laviron Tim McGilchrist Ant=C3=B3nio Monteiro Carine Morel Andreas Rossberg Vimala Soundarapandian J=C3=A9r=C3=B4me Vouillon John Whitington Paulo de Vilhena (Chair) Sudha Parimala (Chair) ---------------------------------------------------------------------------= --- We look forward to reading your submissions! Please get in touch with us if you have any questions. Best regards, Paulo De Vilhena Sudha Parimala --00000000000088482f0653323696 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 CALL FOR TALKS - OCaml Workshop 2026
=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Hi a= ll! This year's OCaml workshop will take place in Paris. We are
happ= y to invite submissions to the workshop.

---------------------------= ---------------------------------------------------
Important Informatio= n
----------------------------------------------------------------------= --------

Location:=C2=A0 =C2=A0Paris (co-located with FPW 2026)
D= ate:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 August 27th (Subject to change!=C2= =A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Poss= ible alternative: August 31st)
Submission deadline: =C2=A0July 1st, AoE<= br>Speaker notification: July 27th
Submission website: =C2=A0 https://types-hotcrp.paris.i= nria.fr/ocaml26/

-----------------------------------------------= -------------------------------
Scope
-------------------------------= -----------------------------------------------

The OCaml Workshop w= elcomes a broad audience of OCaml users ranging
from enthusiasts who are= discovering the magic of OCaml to wizards
well-proficient in the castin= g of unsafe spells. Their common denominator
is their passion for OCaml = and the desire to learn more, connect with
fellow OCamlers, and collecti= vely find ways to improve the language.

We invite talk proposals jus= t as broad: anything OCaml related is
welcome!

The topics are not= limited to the following, but, to give an idea,
examples from previous = years include: OCaml editing tools, verified
OCaml artefacts, interopera= bility between OCaml and other languages,
the OCaml code of conduct, com= piler optimisations, OS portability,
OCaml testing frameworks, packages = for concurrency in OCaml, etc.

The full catalogue from previous edit= ions can be accessed through the
links below:

=C2=A0 2025: https://ocaml.org/c= onferences/ocaml-workshop-2025
=C2=A0 2024: https://ocaml.org/conferences/ocaml-w= orkshop-2024
=C2=A0 2023: https://ocaml.org/conferences/ocaml-workshop-2023=C2=A0 2022: https://ocaml.org/conferences/ocaml-workshop-2022
=C2=A0 2021: https://ocaml.or= g/conferences/ocaml-workshop-2021

------------------------------= ------------------------------------------------
Format
-------------= -----------------------------------------------------------------

In= addition to the Standard Talk format of 20 minutes, we allow the
follow= ing formats:

=C2=A0 Demo. 30 minutes tutorial-style demonstration of= a tool.

=C2=A0 Informed Position. 20 minutes presentation on topics= in the design
=C2=A0 space of OCaml (such as, but not limited to, the i= nclusion or
=C2=A0 removal of a feature).

=C2=A0 Experience Repor= t. 20 minutes report on the use of OCaml or a tool.

----------------= --------------------------------------------------------------
Submissio= n
----------------------------------------------------------------------= --------

The submission website is available at:
https://types-hotcrp.paris.inria.f= r/ocaml26/

Please submit a description of the talk (typically tw= o to three pages
long; it could also be less or more): the problems that= are addressed
and the solutions or methods that are proposed. If you be= lieve the
delivery itself is a unique feature of the talk, please feel f= ree to
also include a description of how you plan to deliver the talk.
LaTeX-produced PDFs are common but not required.

Last year'= ;s accepted presentations are available online:
https://icfp25.sigplan.org/ho= me/ocaml-2025#event-overview

-----------------------------------= -------------------------------------------
Evaluation Criteria
-----= -------------------------------------------------------------------------
We will evaluate submissions according to:

=C2=A0 Relevance fo= r the OCaml community
=C2=A0 Rigor and soundness
=C2=A0 Novelty
= =C2=A0 Clarity
=C2=A0 Potential to deliver an engaging and informative p= resentation

--------------------------------------------------------= ----------------------
Recommendations on LLM Usage
-----------------= -------------------------------------------------------------

Propos= als largely written by LLMs are not acceptable and will be
desk-rejected= . The use of LLMs to correct grammar and enhance style is
perfectly fine= (especially if English is not your first language), but
their use to pr= oduce material directly is dangerous and unprofessional,
and undermines = both authorship and reviewer effort.

-------------------------------= -----------------------------------------------
Location Information
= ---------------------------------------------------------------------------= ---

This edition of the Caml Workshop will be located in Paris as pa= rt of
Functional Programming Workshops (FPW) 2026, alongside other works= hops
and events taking place at the end of August. This is a departure f= rom
the usual habit of having the OCaml Workshop co-located with ICFP.Because some FPW'26 events are bi-located with ICFP, the events will<= br>take place at roughly the same dates.

---------------------------= ---------------------------------------------------
Co-ordination with M= L Workshop
-------------------------------------------------------------= -----------------

The ML Family Workshop is also co-located with FW = '26 this year and
may be of interest to attendees. While the OCaml W= orkshop focuses on
developments in the OCaml ecosystem, the ML Workshop = is language-
agnostic and more research oriented. Authors whose submissi= ons fit
both venues are welcome to indicate this at submission time or r= each
out to the program chairs.

---------------------------------= ---------------------------------------------
Program Committee
-----= -------------------------------------------------------------------------
=C2=A0 Cl=C3=A9ment Allain
=C2=A0 Pedro Carrott
=C2=A0 Simon Cr= uanes
=C2=A0 Marko Doko
=C2=A0 Patrick Ferris
=C2=A0 Jean-Christop= he Filli=C3=A2tre
=C2=A0 Sadiq Jaffer
=C2=A0 Robbert Krebbers
=C2= =A0 Vincent Laviron
=C2=A0 Tim McGilchrist
=C2=A0 Ant=C3=B3nio Montei= ro
=C2=A0 Carine Morel
=C2=A0 Andreas Rossberg
=C2=A0 Vimala Sound= arapandian
=C2=A0 J=C3=A9r=C3=B4me Vouillon
=C2=A0 John Whitington=C2=A0 Paulo de Vilhena (Chair)
=C2=A0 Sudha Parimala (Chair)

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

We look forward to reading your submissions! Please get in touch w= ith
us if you have any questions.

Best regards,
Paulo De Vilhe= na=C2=A0
Sudha Parimala

--00000000000088482f0653323696--