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=tebIjGu4; 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 2BBBB40084 for ; Fri, 10 Apr 2026 20:40:29 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:to:from:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=zvrL3RKUegdKH34OGpPm+wfJdf8vHXszrXFXKqrKKD8=; b=tebIjGu4KUL/ZzBRiRdjF8ll7lxnA1SGpbNFwosCb5g3won1NsGw5ybM 6RreAAXMNE3AeU5e3z0Q17UspJm7GPvx/2Ya6c8vBuVt28uaG80aX++im FtO4XDE+XttkCwOAxvC6R/w1gj/B7CZHS2wytknuA4sFNMa3QTOsHSkuH s=; X-CSE-ConnectionGUID: tJ9/gCmBQTu6JU2FD/gKTg== X-CSE-MsgGUID: cXWhwNwKRMSrGb/KtmIwbg== 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.23,172,1770591600"; d="scan'208,217";a="271942874" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Apr 2026 22:40:28 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 651D382B80; Fri, 10 Apr 2026 22:40:28 +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 B534882B17 for ; Fri, 10 Apr 2026 22:40:17 +0200 (CEST) X-CSE-ConnectionGUID: 2ON6Vz21TnmXrVE44DfsdA== X-CSE-MsgGUID: hgGeDpeaRC60mTGcumDm/g== IronPort-SDR: 69d96031_+1eDwd9r7BgjYqKi8yQx56fBdN+Z2SVE/vjAoYjDK7gKFUY YasixvTF0uG2ceaxZBM1euw0RbIXvkZ0lv0EnFQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EfBQCPXtlpgXJIZTRahBYxKilBAUVgMgdRhFiDTQEBh?= =?us-ascii?q?SyIeZ9CAxgWLwkBAwELAj0UBAEBAwEDggyQIiAGAQQ0EwECBAEBAQEDAgMBA?= =?us-ascii?q?QEBAQEBAQEBAQsBAQUBAQECAQECBAYBAhABATsHDjuGIC8NgkVRcWMIOgEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBEwINBy0qOAsGHQEBJhJcAjM+AgEBHoIIW?= =?us-ascii?q?AGCJARLBAIOqQwBgT0CAosigTKBAYIMAQEGBASBAIFh2H4tFoFnAwYJAYFDh?= =?us-ascii?q?XGCZgEqgTUBAoQTAYR6QoFJRIEVJw6EOIFcAgIYgR2EBIJpgiZ6FB2EcIRJP?= =?us-ascii?q?4VtgUQiAyYzLAFVExcLBwWBZgOBBm4yHYEjPhc0WBsHBYFLh16BE4M7MYEAA?= =?us-ascii?q?gELbT03CQsbi2FcJYIwMVg4Ew0vLCIXGQRbS5JMMpIloRSEJgWBX4o6kjCDD?= =?us-ascii?q?wYTL4QEhxeFfJlUiAORA4Iyi1eVZBODQ4FTAgQCBAUCEAEBBoF/I4FcTTiDI?= =?us-ascii?q?k8DGQ+NdgEBAT+ED4I/gi+3V0E0PgEHAgcBAQoBA4FzkAA0gUsBAQ?= IronPort-PHdr: A9a23:74Y74h0RpbddwgiksmDOEwsyDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeCo601xwSRBtqTq6odzbaN7+a4AS1IyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/AdjUKgcXJ 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYgYZuMLo9xgfGrnZGZ+hby2FlLk+Xkxrg+8u85pFu/ipftv4768JMTaD2dLkkQ LJFCzgrL2866Mr3uBfZUACB/GEcUmIYkhpJBwjK8hT3VYrvvyX5q+RwxjCUMdX5Q74sVjuu9 rlmRhD1hisfODE37G/YisprjKJGux2hvABww5TVYI6OKvVzeL7WcM4ASmpAWsZRUDFBAp+5Y oASAecNIfpUoo/grFQJsBW+GBKsBPvxxTBUmn/406o60+E7HgHH2gwrAtYCvXvQodnwMqoZT OK7w7TSzTjbc/xY2jnz54bWfB4hvP+DUql9ftDNxUQ1DQ7JkkucpI7jMjiI1uoNqW+b7+94W O+zjW4nrRt+qSW1yMcsi4nJgoMVykjc9SV+3YY+ONq1R1R9Yd6iCpRQrzqXN5ZqTcIiWW1no jo1xqcatp+7ZSUHzoksyBHDZfKdaYeI/g7jW/iLITd+nH9oeLGyihKu/EWh1OHyWMe63lZXo iZYnNTBtXQA2gDN58WIRPZz/kes1DKP2g3Q5e9JI104mLTVJpAvzLM9i5kevELeFSH4n0X2i bWZdkQi+uWw5OTnY6nmpp+BN4BvkA3+M6MultShDuQgLggBQ3Ob9f671L358k31WKtFgectk qjZrJ/aJd4Upq+jAwNP1YYj8Rm/AjG729obhXkKNFJIdAydg4T0J13CPer0APWhj1i2jTtn2 v/LMqX/DpjMMnTOnrLscath50FGyQc+yM5T645PBbwEIP//R1H+udndAxI6NQG/3vzpB89n1 owEXGKCGq+ZP73WsV+P/u8iP+6CaJMPtjjhN/Qp+eDjgnEllVMBfqSlx5wXaG2kHvt9JEWZf HzsjcobHWcSpAo+S/Dqh0OeXj5PZnayWKQ86is8CIK7EYfDQoetgLuC3CuhApJWYWVGBkiNE XfuaYqER+8BZSKMLsN7jzAISaWtR5Uj2B2wrgP21qdrI+XM9i0dr53j1dx15+PJlRE18Dx5F 9yd02GMT2Fwn2MIXyc23KdioUBn0FiD1654jOZDGNxO+/xIUh02OoTAwOBgF9/zWhrNfs2VR 1a+XtWmHTYxQ8otzNAUZkZ9H8yujhTC3yqxH78YjKeLBZwx8qLExXf9Pcd9y3Dc1KkglVYqW MVPNXe+iq557AfcH5TJnFmBl6a2aaQc2zbA+HqbwWqBok5YVw1+X7/dUH4HYEXatc756V3cT 7GtE7oqKg5BxtSDKqtOc9Hog0tJROz/ONvAfmKxgWCwBQ6WybyWbYvqfGMd0DjABEQYjQwe8 2uKORUxCyu7pGLeESBuGknoY0Px9+lxtWm3TlcuzwGNc01uyaa6+gIUhfybTfMfxLUEuDo9q zVwG1a92NHWB8CcqApmeaVQec4y4FRG1WLcrwFzJpOuIK58iFACbwl5uVvi2AhyCopai8gls GsnwhJrJ6yA311NbyiY3Yj+OrDPMGf/4A2hZbPO1lHFyNaW9L8A6PQmpFXnuwGkDlAs/ml63 ddIgDOg4cDBBQ8WFJbwSVof9h5gpricbDNuyZnT0ChFN6+9+gfC2tYoHPMi1170dtFZObusC QTjVcQRQcO/fr9502O1Zw4JabgBvJU/ONmrIqfXsEbKFONpnTb8yH9C/Jg4yEWHsSx1Vu/P2 Z8BhfCexAqOETnm3x+6qs6iv4dCaHkJG3anjzD+DdtYYKt7Za4WAnboKsbxzcQtz4X1VStg/ UW4T0gDxNfvfBOTa1Ln2ggFzUQWpX2/gSyliTVylTgBs6GOmiXFhe/zJ1IcImAefGB5lh/3J JSsydAXWE/9dw8yiB6s/lr33YBygfxHFTGJanoQJ3iwKHx+WKytsLbEe9RI9J4jrSRQVqK7f EyeTbn+5RAd1ksPBkN4wzY2P3Gvs5T9xVlhjX6FaWx0pzzfcN1xwhHW4JrdQ+RQ13wIXnswj z6fHVW6M9SzmLfc357eruCzUX6gXZxPYGHqy42Hri6y+WxtB1W2gfmyntTtFQVy3zX80pFmU iDBrRC0ZYeOtezyOORhd1FAGVTtrcNxXIpv08MxiJwWxXkGl8CN53NU2Wz3MNhdxef/dC9QH 3hSm4eTv1KjgRQ/fRfrj8rjW36Qw9VsfYy/a2ISgGcm6txSTb2T5/pClDd0pVyxqUTQZ+J8l 3ET06hLijZSjucXtQ4q1ijYDKoVGBwSJSztkxWQ99ej6qxRYm+HbLOhkkN129uwRuLnwEkUS DPid5EuEDUlpMx5NlvU+GD4+8ftc5/bfJhA/g3RmBDGge9PLZs3nfdfnitrN1X2ung9wvI6h xhjtX2jlLCOMH4lvKewAxoCcybwe9tW4Dbmy6BXgseR2YmrWJRnADQCGpXyH7qkFzcbtPKvM AjrcnV0sneaHbvHBQiCrk5gqXvnDpu6cXicYnIIhdlvXxiSIkVDjRtcAW98x8ZgUF/wgpW4L A9w/VVzrhbgpwFJy/50OhW3SWrZqAqyK381RJWZMBtK/1RH7kbRP9aZ67E7FCVZ85u96Q2Vf zHBIV0QVCdWAArdXgywW9vmrcPN+OWZGOekev7HYLHU7PdbS+/N35WklI1v4zeLMMyLeHhkF fwynERZDhUbU4zUnSsCTysPmmfDdcme8V2k+ixzr9in9+mtUQTp7KOSAKoUON4p8AH80sLhf 6aAwT10LzpVzMZG3X/JzLkHxFkPzShocTCFDL8R8yfGCqnB0PwybVZTe2Z4M81G6Lg51w9GN JvAi9/74bV/i+Y8F1ZPUVGy0tHsf8EBJHuxcU/WHEvefqrTPiXFmoukBMH0Aa0VluhfsAe8/ CqWA1O2dCrWjCHnDliuKb0e0HndbUYY4MflNU8wQWn7EIC6MlviaIAx1XtuhuRq4xGCfW8Eb WohKQUU9uXWtWUAxawiU21Zsig4d6/dw3zft6+Abc9I+fpzXnYpzaQDuC98k/0Nq3gbIZ490 CrK8ow3+w3gzrbJknw/F0MR4jdT2tDRtB07a/yAr8tOBS6crkBKsTX1aVxCpsM7WIfm4/kCk 4GWxqyvcGwQoZWIrIMdH5aGcsvfaSh4aEO7FmKMV1lVFWbzZzOY2hU48rna92XL/MIz8sG+w cNXGLEHDAdnHatCUhY3W4FbaJZvAGF+mObC3pdRvCiw8EGKFssC5siVBLXPW72qITKdx9Gof jMwyKjjZcQWP4z/gQl5b0Vi2Z7NEAzWVMxMpStoakk1pl9M+T5wVD9710XgYwKrqHgdcJz81 gYxkRd7aP8x+S3EynJvHmCS/gANyBFh39L4nTqWbTj9ar+qWp1bADb1sE53NY7nRwFybku5m kkBVn+MS79KjrRmfHxmk0eB490WQacaEvcCOUZMjfiML+0ly1FdtjmqyQdc6O3JBIEj3Aomf Jiwrm5RjgJuaNlmQM6YbKFNz1VWmuePpnr1jKZomFZYeBxLqTrOK0tq8AQSO7IrJjSl5Llp4 A2GwX5YfXQUEuAtqbRs/188POKJy2Th1aRCIwa/Lb/6TevRtm7emMqPWl512FkPkhwP5bh31 cY7a02JEUkpyrK5Ch8Yc8PJbwpEJZk3ljCbbWOVvOPBzIggdZ26DfztRPSSubw8q2f8JDxxR a8xtpxRWJ6xzEvfMMHraqYfzgkg7xjqI1PDC+lVfBWMk3EMpMT1n/oVlcFNYzoaB2t6KyC+4 L3a8xQrjPS0V9Azen4GX4EAOyF+SIigliVepXgFECiv37dT1l2Z9zGl7He1bnG0f595afyTf x8pFNym5WB17f2tkVCOupTGezOmbZIz4JmXr7td/svPCusIH+Ul9R6ExM8AASTtCjCqc5b9J oCsOdR2K4WsUjDiFAT40m99Tt+tbov3aPHQ20ewA94T6dfT3Sh/Z5LnUGhGQFEo4blEvf0ZB 0VLYoJnM0ew60JiaOrnZl/fi4rmQn7ze2FfF6ANlLzjNbILl3J+PKjmmB5CBtk717flq0dVH cNT10iMy6r7PNsMFnSiUn1FJVeVrHJgxTE4b7Q8nr9kkkOQ6QFOYXfWLYkLICRFp49uX1rKe CcvUzNqSQPE1tjIulb0jeJVonIVns4Kg7dM6CGs58aGMjzwAPf5p82N63hyKoV86+h4NYipS iNnnLr7xgTlFMP7j1XdAGi9CuZQncVWLGRAWv5UlGo5OMsA/41c9U42UcR4LLtKWvBETl+Cd DF1SycZiyQIBdroNNkqn+ytnbLR0ByBIsxKDQ== IronPort-Data: A9a23:FYLseqixOX+ie0+mu1O3pwyrX161PxsKZh0ujC45NGQN5FlHY01je htvXD/SaP3eMGL3etxyaty38h4DsZCEnYBqGQVt/CwyFC1jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+S6UKiYfHgoG2eIcQ954Tp7gek1n4V0ttawBgKJq LvartbWULOf82cc3lk8teTZ83uDgNyo4GlG5gBnPagR1LPjvyB94Kw3dfnZw0TQGdE88t6SH 47r0Ly/92XFyBYhYvvNuqr7aEADXonJNgGIjHdMM4D66vSVjnFaPg4TbZLwWG8P49m7t4gZJ OZl6fRcfTwU0pjkw4zxZfX3/xZWZsWq8JefSZS2XFf6I0fuKxMAyN02ZK060BFxFk+azgii+ NRBQA3hYCxviMrs55TldPs23/glKfnxAq5D5l1u1j3wWKNOrZDrG80m5Pdx+W8IvJgUNsuGP 5pfbidzZhPdZREJIk0QFJ81gOavgD/4biFcr1WW46Ew5gA/ziQsiv60aIOTJYbMHJwJ9qqbj jquE2DRGhEbMN2H0T2YtHuqgObngCjqHosZUrapnhJvqAfMnz1PUkJLBTNXp9G5hWGzd8pSI nY/pHIrkYc56UmHS57yCkjQTHms5UVGB4U4//cBwAqEz66R5weCGkAfXztZYZonstU3THokz De0c8jBADVutPiKRGmB+6qOqiu/MDoSKzZbPXVfFFJZpd7+vIs0kxTDCM55F7K4hcH0Hje2x C2WqC85hPMYistjO7iHEU7v2RWK+KbbFFcJ4ADnRFyIsl9VapWpTtn9gbTE1sqsOrp1WXGnm BA5dyW26ekPCdSSmTeRTfgXG6mk7uSCNmSF2QQ0RsB9sTOw53SkYIZcpilkI1tkOdoFfjmvZ 1LPvQRW59lYO37CgU5Lj2CZVJRCIUvITImNuhXogjxmP8MZmOivoXoGWKJo9zqx+HXAaIlmU XthTSpTMZrqIf88lmbpLwvs+boqzTo53mTdWdjwyA6/uYejiIquYe5dajOmN7hnhIvd+Vm92 4gFa6OilU4FOMWgOXa/zGLmBQpbRZTNLcuu85QPHgNCSyI6cFwc5wj5nOl5K9w6wv09eyWh1 ijVZ3K0AWHX3RXvQThmoFg6AF82dc8n8C5pDj9mJluyxXkobKCm6apVJdN9fqAq+KYnhbR4R uUMMZfISPleaCX1yxJEZ7nEratmaEuKgyCKNHGbezQRRcNraDHI3d7GRTHR0hcyIBC5j/Zjn I345DjnGcICYy9AEPfpbOmeygLtnHoFx8N3cUj6AvhSX0TO74FFLzf4vtUoKZoxNCT8myar6 izPMEwbuNjyhpIEq9rIoYumrI6ZNfR0MWQHPmvc7JewbTL7+Ej6y6B+ce+4RxLvf0Kqx7eDP 8B7l+rdNt8Dl3Z067tMKa5hl/8C1oG+to1kwRRBN1SVSVaSU5dLAGSMhOtLvY1zno5pgxO8A B+zy4MLKIeyGZ3XFXAKL1AYdcWF7/YfnwfS4dkTIEnX4CxW/qKNYX5NPiuj2TBsE79oDLwLm esRmtYaywiauCoYNtyriiN19WPVClciV64hlI8RAa61qw4N52xBX6fhCX7N0MnSU+lPD0gkG S/Lpazgg78H+FHOXUBuHlfw3M1cp680hjZ08HE4KW+koOH13s0M4EUJ8BAcbBhk8RFc4uciZ klpLxJUIIuNzRdJhe9CfWCmHlxBDzCzo32qyEY4q0jEfhKrV0jmDm40CcCS9m83rkNeeTliw +yF+V3PaD/FeNr47gEtUxVYqvLYUt168DPZqv2nB8ioG5obYyLvp62feloztBrsBP0uiH39p eVF+Ph6bYv5P3Uyp5IXJpa717NKbjy5P01HHO9c+Z0WEVHmeD2d3SaEL2azcJhvI93I6UqJN Nx8FPlQVhiR1De8kR5DPPQie4RLpf8O4MYOXpjJJmRc6ruWkWdPgaLqryP7gDcmfsVqncMDM bjuTjOlEFGLpH5qimTI/dhlOG25XIE+XzfC/tuJqccHK5FSl9tXUxAW8qC1tHCrIgdY70qqn AfcVZT3kc1m66pRxrXJLIsSJj+JOevSVfuJ+j+dq95hT83CGuaQuhI3qmvIBRV3P7wQYukvi omjkcHS32X7mZofD0TcysCNOItX6frvX85RGNP9d0NerHC4QMW2vwYJoF7gI7MYjtpMu8utH VO5TOCSdtclfchX61MISipZEjcbU7/WaIW5rwyDjv28MDov+i2ZE8GC6lnScnB9SiATHZ/1V z/PpPel4+5HoLR2BBMrA+9sB7l6KgTBXZQKWsLQtz6KKHuBmXKH56XfkCQ/5QHxCnWrFNjw5 bTHTEPccDWwoKT588FLgbdtvxE4DGdPvsdoRxgzo+VJsjGdCHIKCc8/Mp9cU5FdrXHU5aHCP TrIaDMvNDX5UTF6ai7D2dXEXDqEJ+kwK9z8dy0I/USVVn+MP7m+IoBdrwVu33QnXQHY7rCXG YlLsDm4dB282YpgSusv9+S2y7UvjO/TwnUTv1vxiYruChIZGq8Hz2FlABELbyHcDsXRjw/eE ADZn4yfrJ2TEiYd0PqMekK53DkwmWvX9W1yRhrXmIaZvJiHxupdzvG5I/v0zrAIcMUNIvgJW G/zQGyOpWuR3xT/fIM37skxj/Yc5e2jR6CHwG3LHGX+XJ1cLkw6NNJElCFJR9BKFMt3DQbGj jf1i5QhLB3tFa2SsYF6DS0U8IM3W3lKBCChYMsTY9PZuURR8uU1sCRGAO42xV8cZkQjU4hlr O8uUXus IronPort-HdrOrdr: A9a23:D4AQTqGoKQvEOfu3pLqFLJHXdLJyesId70hD6qkvc3Fom52j/f xGws5x6faVslkssQIb6Le90ci7IU80kKQY3WB/B8bBYOCLghrPEGgA1/qZ/9SDIVycygc178 4JHclD4bXLfCNHZK3BkXCF+rgbsb26GeyT9ILjJyAHd3ATV0gs1XYKNi+rVmlNACVWD5swE5 SRouJBujqbYHwSKuC2HGMMUeTvr8DC0MuOW29zOzcXrC21yR+44r/zFBaVmj8YTjN02L8ntU zIiRbw6KmPu+yyjjXcy2jQxZJLn8aJ8Ko3OOW8zuwubhn8gAehY4psH5WEoTAOuemqrG0nld Hdyi1QTvhb2jf0RCWYsBHt0w7v3HIF8Hn502KVhnPlvIjQWC86I9Apv/MQTjLpr24b+P1s2q NC2GyU87BNCwnboSj779/UEzl3i0uPp2Y4m+J7tQ0XbWInUs4akWUjxjIZLH9ZdxiKpLzPUd Meev003cwmOm9zNBvizyZSKN/FZAVMIv7JeDlNhiWv6UkooJlI9Tpk+CUhpAZ9yHscceg12w 2WCNUaqFgJdL5gUZ5A X-Talos-CUID: 9a23:qjOn+W8+AsuXBCqzC3eVvxQzPJ4bYCeE8HHVE1WGJDo1ZLOORXbFrQ== X-Talos-MUID: =?us-ascii?q?9a23=3AzxwI7Q8PHVDeYk9UYbNYQc+Qf8dnzKmCEE0Eq75?= =?us-ascii?q?Y48y4GidtPhuYyzviFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,172,1770591600"; d="scan'208,217";a="271942758" X-MGA-submission: =?us-ascii?q?MDFEhAgT3DsV4Y59e50QmvOB/obpW29Dp2PRZV?= =?us-ascii?q?CSfvyYV06kTieKW7TjKlU9fbSznSvJm/cix+QHTH6GAWFEoW4+RUx7A3?= =?us-ascii?q?mwAo1IWGZ8oBCdc5M5brz5tRKmgXZSp+KlH6Aw757EAnxgGvzCIjmIWg?= =?us-ascii?q?6s3FZRgDoXd3xWPgA0dyo52w=3D=3D?= Received: from mail-westeuropeazon11023114.outbound.protection.outlook.com (HELO AM0PR02CU008.outbound.protection.outlook.com) ([52.101.72.114]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Apr 2026 22:40:17 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=Xs42X0h3ti1cwdDFO0o4vJERuNfFu3HXVeK0hbbtXy+gulxODF55XdRbi1cxrIY//d92c+V3zX6MM/1oGI2hKVy9f8aQzAG5wPSl9EWfr1/VRb20KBvoz0qtK2qCfnfW+E5m3/ST6OIwgY+KNk9E2Z9A8HJxUbg1Q1joMCKyepZifnxOew0j7eC0CvOFbKxPfaVzWsPkog/Q8WwFnWBM5/djSLt7PCpOez6yjdjKWASjriFRg6d0QclabgL7vUDjEnBerhqA55AFju9SsXIkZANyaQ80Xb2BWAsh2d41iqWVU93lEiMCPqNAtjVQuWLrdbdNrxnikw1/ht021GF50Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=zvrL3RKUegdKH34OGpPm+wfJdf8vHXszrXFXKqrKKD8=; b=VWxhEB62Z7sIP6ffijy3PUl8avFo351rPWeEosc7sWAWF/oKl1jAeDmPPG0moXN44zjMlO4adxMq/iipJuSeIcDIEmsSphYT8aXi82X9Rw9UgkcmL/cDMBkkYZ2MWupXoA83lOlcZWXu8nFbTs7pe8ywza+NAqVgWoiouXICzIcUdHge52mptoTy1IkO6WMcDBfaZnZjxV7WLqearwQ1TlE2VLdgEdhhao/7Xh69ls9XOL/3w53395rN3+8vK/riyMHUn/SD6ce1xSlQv2kXE6QW996eBTIS9aN2UlX7+45HDl8dJNiZyn0zvb60QQwiJwmDvScCTX1h2KvHK9ogPw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ucy.ac.cy; dmarc=pass action=none header.from=ucy.ac.cy; dkim=pass header.d=ucy.ac.cy; arc=none Received: from AS4P195MB1839.EURP195.PROD.OUTLOOK.COM (2603:10a6:20b:51e::8) by AS8P195MB2343.EURP195.PROD.OUTLOOK.COM (2603:10a6:20b:639::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9791.34; Fri, 10 Apr 2026 20:40:15 +0000 Received: from AS4P195MB1839.EURP195.PROD.OUTLOOK.COM ([fe80::179b:94df:1045:b7fa]) by AS4P195MB1839.EURP195.PROD.OUTLOOK.COM ([fe80::179b:94df:1045:b7fa%6]) with mapi id 15.20.9769.018; Fri, 10 Apr 2026 20:40:14 +0000 Content-Type: multipart/alternative; boundary="------------Ul6u3DYTxNGWJ33UgKUqQxIh" Message-ID: <218c63e4-100e-4e56-9b7f-83263eecbfa5@ucy.ac.cy> Date: Fri, 10 Apr 2026 23:40:12 +0300 User-Agent: Mozilla Thunderbird To: caml-list@inria.fr Content-Language: en-GB From: Anna Philippou X-ClientProxiedBy: MR1P264CA0175.FRAP264.PROD.OUTLOOK.COM (2603:10a6:501:58::7) To AS4P195MB1839.EURP195.PROD.OUTLOOK.COM (2603:10a6:20b:51e::8) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: AS4P195MB1839:EE_|AS8P195MB2343:EE_ X-MS-Office365-Filtering-Correlation-Id: 00bb2b25-533f-47fb-de77-08de97415e80 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|366016|786006|1800799024|376014|56012099003|13003099007|18002099003|8096899003; X-Microsoft-Antispam-Message-Info: JA4GSiyjtKRz6Fku7/scNHwhp7s/A9MRZxSTefBLiIKa0EcerpNr099peTBE26HMbnSisUsQJwtfK7F9r3bHefCrHnscTLxh+l3U11gY5ySmnYdiAuPKA+aHXcFYho41bKf9/EYadTxajq6O4WBFWSM2eZcjMiiAd4KAbYkiVXuyl6e3KPZcdPrRgVmKbVWUK6mmtmuLXOgSNMNIFgNY0AhMR0W/od3sWl7Swi7A7MlVo/oWMPWCdCHd50jL6IgTCMNwas/SMRCEg2RFyLTBDEqFVSH8OhV3MP2cl5ADCR8G5BwIZDbcb2V8KsCaq2IdrTQqGrYvsf4lzfFxfoF5NNChwr3astnaUE7O6R8IOeUZnDy3cEDntGo1lNv1BYh+icyy4978xJts09gMOEg/m/eA/95uRZrGEPAoHQREOJ330lz6GT2gtz+2wNgBvPzWSjfWzGJXYFA9/FwAT8W7ovOwkJ9WR7xxSWQvprx2JoARyhn6YMN1ZZS25NuAD0bfeQWbD1KsG/nb5jWJG9o3kz6W07ubUEc2KnHUGJ1vlVkLXV/NAMpGuG/ugQFW3smpBW14CaG8ZwIZVnT7KRvtwa216x9kso7rYKftfTzf1B8lK8tA/VB0g8HnYcN0+P1NVM1jQz4cWxlAIo94ta3f48xB3EnlNBi1yGgKjyCymtw= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AS4P195MB1839.EURP195.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230040)(366016)(786006)(1800799024)(376014)(56012099003)(13003099007)(18002099003)(8096899003);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?SVdERGZPajlocVR2YlozT0IrVVl6dkJFUTROU1pobVdvRkozaHBXZXliVHNz?= =?utf-8?B?VmkrK2hzMkRYSzhETC8xb3h1WW5jcFVOQXpKZ21URmVxQTI0T0lSU3Y0QjM0?= =?utf-8?B?L2krTkU4VlNLZUVqbmVHUUJSejRGVEthcDFlY1JvUCs2T1ozdWswdnJBWFRk?= =?utf-8?B?dlZ2ZnlDY2FOcE9odDZXZ3gzUUk1NDN3R09ENnZRSjgwN3JFUk1PVEx1M2Ez?= =?utf-8?B?eTZ2Z1BPSmJYYkRXVWNFZUhmRHl2eFJGQ0RHQUZHTFZSUFkzQ1d5ZktPRTQ0?= =?utf-8?B?UmZTd25wVHZpSmc2SExCSU95bnRNYm55TmRtMS9rSUxkU3Y2WjFYZkgwalM3?= =?utf-8?B?MGt6UWJxOTVJTERaQjZKckVlVHpFSG5yUy9ESVBQcEFtdlVES0FyWHlJWGtv?= =?utf-8?B?V05DdkJJbkJ5NHY3M08weEtqVmUxYXl2Z1lDT2pTSmhiYjkyM3FTbFdWb1RH?= =?utf-8?B?bTlZUVU1WmJGYmM4SFNwRzZGZ0wyYXlCdk11b3lQbzBQbHhEbVNKenkzN2lJ?= =?utf-8?B?WmhwWUxnNUdKU2VGOFRxelJYQmJWQ2NGQ1dwT1ZvaHFZNlZ1SlBPWUFvaUha?= =?utf-8?B?eFE5OTlEbVY0NndlS2p2citRKzFqWXdMK1MzSW94YytvNklRRjQ3dzBKM01S?= =?utf-8?B?eUlQRkhiYVJmb0M3NU0wTWJzTEgrTW1JUXV6TFY4SDdCNU9lWWlUVXMvUXJT?= =?utf-8?B?K1lEVHNsaDZmZnhZZWU4QlhiZnZ2SktDZlNSY3BXZHdKU05ZUURjMFExSlky?= =?utf-8?B?eS95K040WVNTYlVCS2MrOUN6UTJNZGcyalF4S2FFd3FkY01CSUlQNkNFelFS?= =?utf-8?B?RCsza2ppUE1wQ1I5T3pLWkdkM1hISXlRQnZCY041amRKQ3VtbWdhbDNpL3Yr?= =?utf-8?B?REkxL2xKZWJPdGF1NmE4VmV4VkpSYk1YS2sxUytKaFNEZ0poVkMwcnlvTFly?= =?utf-8?B?RTI2ZXdjTk4yTW9NTzhDV2tCajB4YXM5SEh6U2d1Z0lBSld3c0xOYktXMGxL?= =?utf-8?B?empUYXpQSWdaczZBWUdNOFR1SURpWWE1OThCUHNkUmhkQXB5ZytseUxmenBB?= =?utf-8?B?MTZpMUs3NkZkcHErUFRENVVscjcyT2d0MStrOTZTeTgvYTBvZjUvV0tibnVY?= =?utf-8?B?MWpzbmU2aS9HbnpTZkROVHQxZ1A3T2JWWmFMUkpkNDNpdFhyRkxYNmJxdG0x?= =?utf-8?B?VzQyOU82OXdjYUFhdEFCREpHaHYyRTFNbWhnZXRmbHFaT2VVbk5ZdzBlODNn?= =?utf-8?B?NG9mVDcrMVhSbkZwOERIdU9xcGdzRUNkZWJ1aUJhM2x3N3o0d09RUEIzRm5s?= =?utf-8?B?aVdmZk1VMXZjSzhud0t6UFcyVFViaEFPRmtYWXNib2JSQnN2S0NRa2NjMllY?= =?utf-8?B?enRvWlpBMno5TFZqbTRVTnoxR055RDUvd2owWGpPSnovTVQzWHVHdjJHM282?= =?utf-8?B?MlJ1YWtXZmwrMndLZGlzZUhzVHJSYS9ZTFBQMzRDZnFzZENvbFN2QS9RYk5E?= =?utf-8?B?Q3pEb2JHaGJkMDB2bHgxVGlkdlZMVThnWnZxb1lZRlVIcmY5YlZyY2JJRnpv?= =?utf-8?B?M2VMbGRhVGxoSnFjTmt0cjB4TnZlL0kwQWtzNjUyNEo3UjlKVS9lNzNrQ0FN?= =?utf-8?B?MEw3d2FOcTdxTDdEeUZxS1l2OUQ2OG1zRzQwaFk3YmQzRklzaVo3MXZha2FG?= =?utf-8?B?UnVDN0Z6aVk1ai9ONGFHRHByakN4Zm5aNWhicDIreS9TajhrZXd5aE01Ujha?= =?utf-8?B?NVgyNmRpWU1lMzFjU3FnN3Zmb3dteDdWMnV3bXhxSjBPVmpuOHl4Z0hOMGpW?= =?utf-8?B?YmtDbURjWHlCQVNWN1B6Z2poYVYyTm5keElEOFE1RFdNZnVNSW84aldna2lZ?= =?utf-8?B?OXJacnNhTC9TY0MwMVZjSnJqbGJlWVpEUytEdEw4NDJBY1c4OHNaa1Yzd0lt?= =?utf-8?B?azdRd3RSalBGcnFvelpwbDN6Vm0xYWtUeWkzMXRSQnhpdm0xMjA0K29BTkJq?= =?utf-8?B?N1RjcitsbGUxWEhPMHI2VUtyMk1NaUJWY2ExMExnMjdMUmdsZ3hCRGQ4VHRl?= =?utf-8?B?dTcydmszdlMvNk1TWDA4a1k0dXNyMDFpdmp5VXFzb0hFVWZ0OFhqNDA1bUgx?= =?utf-8?B?N2toVTZvMmdndy9VZEoyaThTaFRaVThiRi9tVVJzTXRCbXJoZVgvZWMvY1JQ?= =?utf-8?B?K0cyQ0VEN0pidmxFcU1tVUhWQnQxZ05KeGR3YTFSdjJidG5McG1OQnJZMHJG?= =?utf-8?B?VUJGTHVvOWhvSlV5SXdkaDV4VDhFbTFmQTdKdjg4YkhSTytPNllScno4WWVB?= =?utf-8?Q?GPpVUlqfN7/nQBxM3a?= X-OriginatorOrg: ucy.ac.cy X-MS-Exchange-CrossTenant-Network-Message-Id: 00bb2b25-533f-47fb-de77-08de97415e80 X-MS-Exchange-CrossTenant-AuthSource: AS4P195MB1839.EURP195.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 Apr 2026 20:40:14.8932 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 8dd1e6b4-8dac-408e-8d8d-6753e9800530 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: O3vi2abVjV0e0SMWUQc/VYb3Yn6kHteHJ2VaG2kSbMV0jj7W4pVxeQeDU44cj091 X-MS-Exchange-Transport-CrossTenantHeadersStamped: AS8P195MB2343 Subject: [Caml-list] Call for Papers - Express/SOS 2026 Reply-To: Anna Philippou X-Loop: caml-list@inria.fr X-Sequence: 19484 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: --------------Ul6u3DYTxNGWJ33UgKUqQxIh Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit [Apologies for multiple postings] ======================= FIRST CALL FOR PAPERS - EXPRESS/SOS 2026 Combined 33rd International Workshop on Expressiveness in Concurrency and 23rd Workshop on Structural Operational Semantics (Express/SOS 2026) September 5, 2026, Liverpool, UK Affiliated with CONFEST 2026 https://expresssos.github.io/conf/2026 ======================== IMPORTANT DATES (AoE) - Paper Submission: June 22, 2026 - Notification: July 25, 2026 - Workshop: September 5, 2026 - Final version (post-proceedings): October 25, 2026 ======================== SCOPE AND TOPICS The Express/SOS workshop series aims to bring together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models. Topics of interest for Express/SOS 2026 include, but are not limited to: - expressiveness and rigorous comparisons between models of computation (process algebras, event structures, Petri nets, rewrite systems); - expressiveness and rigorous comparisons between programming languages and models (distributed, component-based, object-oriented, service-oriented); - logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics); - analysis techniques for concurrent systems; - theory of structural operational semantics (meta-theory, category-theoretic approaches, congruence results); - comparisons between structural operational semantics and other formal semantic approaches; - applications and case studies of structural operational semantics; - software tools that automate, or are based on, structural operational semantics. We especially welcome contributions bridging the gap between the above topics and neighbouring areas, including: - computer security - multi-agent systems - programming languages - formal verification - reversible computation - knowledge representation ======================== INVITED SPEAKERS TBA ======================== SUBMISSION GUIDELINES We invite two types of submissions: - Full papers (up to 15 pages, excluding references) - Short papers (up to 5 pages, excluding references, not to be included in the workshop post-proceedings) All submissions must adhere to the EPTCS format (https://info.eptcs.org/). Simultaneous submission to journals, conferences, or other workshops is only allowed for short papers; full papers must be unpublished. Submission is performed through EasyChair: https://easychair.org/conferences/?conf=expresssos2026 ======================== PROCEEDINGS The final versions of accepted full papers will be published in EPTCS. For each accepted paper, at least one of the co-authors must register and present the work at the workshop. * We are planning a Joint Special Issue with Express/SOS 2025 (due in December 2026). ======================== WORKSHOP CO-CHAIRS - Giorgio Bacci (University of Aalborg, Denmark) - Anna Philippou (University of Cyprus, Cyprus) ======================== PROGRAM COMMITTEE - Henning Basold (LIACS, Leiden University, NL) - Giovanni Bernardi (Université Paris Diderot - IRIF, FR) - Marco Bernardo (University of Urbino, IT) - Chiara Bodei (University of Pisa, IT) - Johannes Borgström (Uppsala University, SE) - Georgiana Caltais (University of Twente, NL) - Pedro R. D'Argenio (Universidad Nacional de Córdoba - CONICET, AR) - Emanuele D'Osualdo (University of Konstanz, DE) - Fatemeh Ghassemi (University of Tehran, IR) - David N. Jansen (Institute of Software, Chinese Academy of Sciences, CN) - Vasileios Koutavas (Trinity College Dublin, IE) - Dimitrios Kouzapas (University of Cyprus, CY) - Doriana Medić (University of Turin, IT) - Luca Padovani (University of Bologna, IT) - Jovanka Pantovic (University of Novi Sad, RS) - Marco Peressotti (University of Southern Denmark, DK) - Jorge A. Pérez (University of Groningen, NL) - Tatjana Petrov (University of Trieste, IT) - Emilio Tuosto (Gran Sasso Science Institute, IT) ======================== CONTACT For inquiries, please contact the co-chairs: grbacci@cs.aau.dk annap@ucy.ac.cy --------------Ul6u3DYTxNGWJ33UgKUqQxIh Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

[Apologies for multiple postings]

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

FIRST CALL FOR PAPERS - EXPRESS/SOS 2026

Combined 33rd International Workshop on Expressiveness in Concurrency
and 23rd Workshop on Structural Operational Semantics (Express/SOS 2026)

September 5, 2026, Liverpool, UK
Affiliated with CONFEST 2026

https://expresssos.github.io/conf/2026

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

IMPORTANT DATES (AoE)

- Paper Submission: June 22, 2026
- Notification: July 25, 2026
- Workshop: September 5, 2026
- Final version (post-proceedings): October 25, 2026

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

SCOPE AND TOPICS

The Express/SOS workshop series aims to bring together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

Topics of interest for Express/SOS 2026 include, but are not limited to: 
- expressiveness and rigorous comparisons between models of computation (process algebras, event structures, Petri nets, rewrite systems);
- expressiveness and rigorous comparisons between programming languages and models (distributed, component-based, object-oriented, service-oriented);
- logics for concurrency (modal logics, probabilistic and stochastic logics, temporal logics and resource logics);
- analysis techniques for concurrent systems;
- theory of structural operational semantics (meta-theory, category-theoretic approaches, congruence results);
- comparisons between structural operational semantics and other formal semantic approaches;
- applications and case studies of structural operational semantics;
- software tools that automate, or are based on, structural operational semantics.

We especially welcome contributions bridging the gap between the above topics and neighbouring areas, including:
- computer security
- multi-agent systems
- programming languages
- formal verification
- reversible computation
- knowledge representation

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

INVITED SPEAKERS

TBA

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

SUBMISSION GUIDELINES

We invite two types of submissions:

- Full papers (up to 15 pages, excluding references)
- Short papers (up to 5 pages, excluding references, not to be included in the workshop post-proceedings)

All submissions must adhere to the EPTCS format (https://info.eptcs.org/).
Simultaneous submission to journals, conferences, or other workshops is only allowed for short papers; full papers must be unpublished.

Submission is performed through EasyChair:
https://easychair.org/conferences/?conf=expresssos2026

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

PROCEEDINGS

The final versions of accepted full papers will be published in EPTCS.
For each accepted paper, at least one of the co-authors must register and present the work at the workshop.

* We are planning a Joint Special Issue with Express/SOS 2025 (due in December 2026).

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

WORKSHOP CO-CHAIRS

- Giorgio Bacci (University of Aalborg, Denmark)
- Anna Philippou (University of Cyprus, Cyprus)

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

PROGRAM COMMITTEE

- Henning Basold (LIACS, Leiden University, NL)
- Giovanni Bernardi (Université Paris Diderot - IRIF, FR)
- Marco Bernardo (University of Urbino, IT)
- Chiara Bodei (University of Pisa, IT)
- Johannes Borgström (Uppsala University, SE)
- Georgiana Caltais (University of Twente, NL)
- Pedro R. D'Argenio (Universidad Nacional de Córdoba - CONICET, AR)
- Emanuele D'Osualdo (University of Konstanz, DE)
- Fatemeh Ghassemi (University of Tehran, IR)
- David N. Jansen (Institute of Software, Chinese Academy of Sciences, CN)
- Vasileios Koutavas (Trinity College Dublin, IE)
- Dimitrios Kouzapas (University of Cyprus, CY)
- Doriana Medić (University of Turin, IT)
- Luca Padovani (University of Bologna, IT)
- Jovanka Pantovic (University of Novi Sad, RS)
- Marco Peressotti (University of Southern Denmark, DK) 
- Jorge A. Pérez (University of Groningen, NL)
- Tatjana Petrov (University of Trieste, IT) 
- Emilio Tuosto (Gran Sasso Science Institute, IT)

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

CONTACT

For inquiries, please contact the co-chairs:
grbacci@cs.aau.dk
annap@ucy.ac.cy

--------------Ul6u3DYTxNGWJ33UgKUqQxIh--