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=PPf2xqw3; 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=QeXuHx82; 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 C423740066 for ; Mon, 2 Jun 2025 19:43:10 +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: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=TS+55jpSaqks2xMCN+2DSnG6fTyxKZJdJG7/DFVAU+Q=; b=PPf2xqw3ZBKwaIvQQ7Hk+3bzAp1PbhMCWnP4vgGDsHi4YKwI3LcfLbht N+tPa8oVI1cXQyMb7dWhYbrGcG2pKwTywM5cqC5QHGWApxRY6+bA8qLYA 8cEKqwCZSZiCAGo7InXvHc2J6cR2L/4X9+UTcF4IWXZOGkl9a69/MP/OJ Y=; 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.16,204,1744063200"; d="scan'208";a="224909943" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jun 2025 21:43:10 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D81C8E0CD6; Mon, 2 Jun 2025 21:43:09 +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 A217AE0131 for ; Mon, 2 Jun 2025 21:43:05 +0200 (CEST) IronPort-SDR: 683dfec9_iWrISFQynT+mS2Z7xEjYVhuP5xm+32OyjhTXtKYFYhE2Enu DPF/JCrDEfk1Un4bm5BEi3fMBYG3U9JCQunw1pQ== X-IPAS-Result: =?us-ascii?q?A0E2DQCA/T1ogbTbVdFagQmBUwKCGiiBAFk0BAtJhFWDT?= =?us-ascii?q?4wBgiGSeIcdhSkDGBYfCAIPAQMBDS4PFAQBAQMBA4IMgnSLYAIeBwEEMwYOA?= =?us-ascii?q?QIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBAhABASIZBw47hXsNSRYBA?= =?us-ascii?q?YFkUXFhAgUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEFAg0fFSoBIQUBEAsGHQETCAwSAxIQDwImAgIhAREBBQEjEiKCCFmCIQEGE?= =?us-ascii?q?AEDMgMRozGBBUKLPoEVBQIWgQGCDQaBCdlWChkoDWwDgWICAQYUgQcuAYR1K?= =?us-ascii?q?U4OgjgdAYFtg387g0J6J4IogUqEOIFcAgIYgR0+g0aCaQSDQYtUlFAmCAEGF?= =?us-ascii?q?wMHBwkFBBwGBQUCPwkGBQoSAwQDBAQBAgsTCQMDAg4CCAMCCAYYAQEKNRIEE?= =?us-ascii?q?woNCwcFHwoIDBEKKCISAikKAQIBHwoxAxQEGQEBBwYCAgMBBAIEDAIJAgIFB?= =?us-ascii?q?AMCCgQDAwQBAQgCAi0DAQMZCAkIAgsFFA0IAwMDBgoJAQoHCRABAgIQAwICA?= =?us-ascii?q?gIGBwoDAhMKBQYGAgoHDQwSAgMJBgMFCgMHBAoNAhUCFQUeAggJDhECBRIDB?= =?us-ascii?q?wcFAwICEQQCAwMFAwEHAQ4HCBACAgICBQIFGBENBAMDAwIIAQQUBgMJCCUbC?= =?us-ascii?q?QEDCQMCAwQIAwMDAgYMDAIBBwgDAwYLCAkGAwIHCBkDBQQDBwULIQIGAwIEB?= =?us-ascii?q?QQBBQITDQIDGQIGAwYRCQ0GBwEHCQMHAQEBAgICCAEGBRICAwQCBQQEAQESB?= =?us-ascii?q?gIBAwICAwQJAwIKAggKAQkTBAMIAwMDAwMFAgIKEQUFAgEFChMMCgYDBgMEA?= =?us-ascii?q?gICCgEHAgMDAwcBCxwCAQMCAgUCAgEFAwICBgQDAgEBCQIDAggBAgIBAgICB?= =?us-ascii?q?AEHAQ0BAQIEAgIyAgEDCAYBAQ4CBgICAQICAgQCBAEICwQFDQEBAgECAgEBA?= =?us-ascii?q?QQBCAMBAQICAwMFAwUIDw0BARcLHQMEBQICAQEBAhICAgEHAQIBAQMZAgEDA?= =?us-ascii?q?wQBCwIBAQQeBBYCAgICBAMCAwICCxMlAQIDBhMCBAIBAgIFBQUBAwQREAkDA?= =?us-ascii?q?gUEAgIGAgQOAgcEAhoEAgIBAwQGAwECCAICBwQEBgMCAQICBxkCGAECAQECA?= =?us-ascii?q?gIEAgICCQoEBQQDBAMCAgIBDAMBAgMCAgICAQMCAgEBAwEFBg0CEgIBAw8IB?= =?us-ascii?q?AICBwICIQ8LAQIBAQYGAwMDCgMBCgECAQEGAgECEgUCAgIEAQICBgQlAQIBA?= =?us-ascii?q?gEBAQUCAQIBAgQCBwIBAgMIAQUCBgECAgkBAgECAgIBAgEBAgYCAREEAQICA?= =?us-ascii?q?gICAwEDBgICAgICAgkCAgICBQIFAwIDAQYCBQIDAwICAwQDCQMDCAMGBAIDA?= =?us-ascii?q?QEBAgECAgIBAgEFAgMJAQEDAgECAgICAwYCBQUBAwsFBAcBAQIBAwUDAwQDB?= =?us-ascii?q?gEMBAMCAgQCAgICAgIEAgEFAwMCAgUBCwECBAIBAwMDBAQDAQICCgwCBAEBA?= =?us-ascii?q?QECAQICCgMCBQEBAwMBEQMEAQYFBQYCBwkDAgIEAgIBAgQDBQQEAgYDAwICA?= =?us-ascii?q?gEBCwICAQIBAQMDBwYQAQICAgEPAgMDBAMPBgMFCQEDBwEBAQEBAhQDAgQFE?= =?us-ascii?q?QYEAgEBHgEWAgcBBAMnHgICAgcBAgICAgMCAgMDAwECAQECAwUBAwICAwIBA?= =?us-ascii?q?gEGAgMDAwIHAwEOAgIDAQMBBgQEAgcBAgICDgEDAgIJAgcKCAIBExMCAgICA?= =?us-ascii?q?QICAQIHAQECAwIFBQgCAQEBAgIDAgsCAgECAQICAwIDAgYBCQQHBgECAQEFB?= =?us-ascii?q?AMJAQIDJgMDBAUDAgICHgIJAyMPAwsJCBM9AQsHMgQGMAEGDhQHKyFfl1eDa?= =?us-ascii?q?DFYOBMNL04XGQQOTZNGAbMqB4Qeii2BcJVPM6pgh3MQkQAighCHV4N+lVwTg?= =?us-ascii?q?0OBbhEkEoFIJIFcTSOBAYI2TwMZD1eNYYNpgmSCL8AfRDI8AgcBCgEBAwmOf?= =?us-ascii?q?oEDFjSBSwEB?= IronPort-PHdr: A9a23:l4GYdhAm7BB9vJYIW/XpUyQUxEoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua42ygeRFt6LtqgMy7KP9fy7AypYudfJmUtBWaIPfidGs/lepxYnDs+BBB+zB9/RRAt+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuMcbjZF+JqotxRfErHhFduRIyWh1IV6fgwvw6t2/8ZNt7Shcoe4t+9JFXa7nY6k2U LtUASgpPGwy+MDlrx7PQxeR6HABSGsWiB1IAwbE7BH+QJj8tzbxu/R+1ieHI8D4VKg4Vju+4 ahlTh/okzoHOCUi8G7LkMxwjblUrwynqhdi3oPbeoCVNP55fqPAYdMXQHdKU8hNWyBdBI63c owAAfccPeZDt4nyuUcBrQewCwmrAePg0D5Ihnnr1qE+3OksFQTK0Qo9FNwMrXvUts34O6gSX +67z6fG0CvNYO9Z1zrm9IjIawosre2QUb5sc8fcz1QkGQPfjlWXrIzoJy2Y1uULs2ma7upvT /+khWAmqwpsozavx9osipLVhoIS11vJ8jl2wIczJdy5SU50e8SoH4ZRtyGVNot2X9giQ31vu Cshxb0GvIS0fCkOyJg92xHfbPmHfpGO7xn+W+mfPS12i2h5eLKjmRmy606gx/X+W8S731tHo SVIn9nDuH0QyRHe6sqKRPRg8kqvxzqB1x3f5+NEL0woiafWL4Atz7E0m5cPvknNESv7lUr1g aKScEgv5+am6+PiYrr8p5+cMZd5ig7/MqQymsy/HP83PhIPX2ic4eizyqXj/VHlT7VRlPE2l bPZsJ/CKcsFvKG5GA9U3Zoj6xmlDjemys4UnX4dLFJKfh+MkovnO0nWLfzmEfuyh06gnTRry vzcILHtH5HAImLenLriYbpw7VNXxRQ3zdBC/JJUFq8OIOjuVE/wtd3XEAc0PxCyzu36Ettyz JkeVniKAqKBMKPdr1uI5uU3LumJfoAVuTL9J+El5vH1kHM1gFEdcbSq0JcLcny4EfNmI0KWY XronNgNC3sFvg07TODyiV2CVyBcZ2qqUq4i+j02DJiqAITDS4y3nrCNwSO2EodLam1FFlyAC XLoeJ+FW/cIZiKSOMhhkjkcWLe9So8h0xCvtA7gxLZ9M+XU+yIYtZP+1Nhu++3Tkgo/9TNxD 8uH0mGNS3t4kX8PRz8zxKx/p1dyxU+Z0adkm/xYCcBT5/RRXwsnLZLc1fB1C8juWgLdedeEU EqpTc+jATE1V94xx94OY11hG9i5lRDC3y+qA6cPmLCRBZw09Ljc33nrKMpnxXbGzvpps15za +p0CkqcooJX8wnIG5XEiVvflr21cr4Y0GjK7mjHhWWCpgdXSApYTKPEQzUQfEbQqt796wbLS 6ejEvIpKE8JwseHLu5Oa8b1pVRAXvbqftrEJyq/niK5AxCP27WHYY/nfXkG9CHcE1Qf1QYa5 n/AOg8gQm+nvHrCST1oG1XHZ0L37fI4qXSwCEI5nC+QaEg0/Luz6B8czdCdA9wSw6kYv291o DRyDle0md7XBNudvBZmVKpZaNI5plxA0DSK5ERGIpW8IvU61RYleANtshayhn2fa61FmMku9 jYxyRZqbLif2xVHfi+Z2pb5PvvWLHPz9Vahcf2ewUnQhfCR/KpH8/EksxP7pgj8HUsk4XRul dVU3HqB/YnNJAUXWJP1FE0w8ksyvKnUNxE0/JicznhwKe+xuz7G1cguAb4uyxCyft4ZPKKLF RLpD8oyCM2nKehskF+sPVofJO4H0qkyMou9cueenq6mOOE1hDW9kWFO+5xwyGqJ/it4D//Ch tMLmqHAmASAUDj4gRGqtcWfdZlsQzYUEyL/zCHlANQUfahuZcMRDmzoJcSrx9J4jpqrWnhC9 VflCUlUkMmuMQGfaVDwx2gynQwevGCnlC2kzjd1jyBhr6yR2zbLyvjjcxxPM3BCRW1rh1Pha YauiNVSUE+tZgkv3ByrgCSyj6NaorZ+Ji/fQEhJYjPqKEltV6KxsvyJZMsOoJIkvCNLUfitN EiAQ+2YwVNS2CfiEm1CgTEjImvy69Opwlog0TPbdSYr/x+7MYlqyBzS5cLRX6tU1zsCHmxjj CXPQ0K7NJ+v9MmVkJHKtqa/UXigX9tda3qOr8vIuS2l6GltGRD6keq0n4itGgk8wy7ykdVrW iTVtwr7Sobu3qW+d+lgewM7YT20o9o/AYx4noYq0dsb2H4Ih5zT8XsIkHroLdJz1qf3bX5LT jkOiY2wgkCtyAhoKXSHwJj8X3OWz556ZtW0VWgR3zo088FADKr8AKVspSJuuRL4qAvQZaI4h TIB0b4073VchegVuQ0rxyHbA7YIHEAeMza+3xiP6tm/qu1QagPNOfC71UxsnNnnALCNoxxHR HHRdZIrHCs25cJ6eF7By3z87Ij4dcKYN4pC8E3J1U2Z3q4MeMp5n+Fv52IvIW/nuHw51+M3x Qdj2523psnPKmlg+r64Hg8NMzT0Y80J/TS+6MQW1s2S3o2pAtBgAmBRBMquHa/uSmtD8623b 1XrcnV0sHqQFLvBEBXK7U5nqyiKCJW3LzSNI3Jfy9x+RR6bLUgZgQYOXTx8kIRqc2LijMHnb kp94Sgco1DirR4ZgOlpMQv+WyHTpQipdywoT7CQKRNX6kdJ4EKfYqn8pqpjWjpV+JGstlnHI W2ddQVBS20IVU2ZHEzkFrar7NjEteOfA6DtSpmGKaXLoutYWfCSwJup2YYz5DeAOPKEOXx6B uE60E5ODjhpXt7UkDIVR2kLhjrAOoSF8Qyk9HQ9/aXduLz7HRji7oyVB/5OPMVzrlqo1LybO bfYhT4le2gEkMlXnjmRluBZhBlL2mlvb2X/T+pG7HaXCvqWwugNV3t5I2tyLJcasfx6hFUcf 56DzIuyjOYwj+ZpWQgfEwW93Jj4P4pSZDjtfFLfWBTUaPLff2CNm4evJvriLN8YxORM60/p4 WbdShC8eGTFz36zDliuKb0e1X7AekUP5MflNE4qUDarTcq6OEfjYZkn0Htvm+1y3jSTagt+e XB9ax8f9OTOq34IxKwuQSoZqSM0Zeicx3TDtreecM1H96AxRHwzzrMS9n0+z/E9ADhsYvtzl WOSq9dvpwvjieyT0n99VxEIrD9XhYWNtEEkOKPD95AGV2yWtBQKpX6dDRgHvb4HQpXmprxQx 97TlanyNCYK8tTa+tEZDtTVL8TPOWQoMB7gEjrZRAUfSjvjOWbajk1b2Packx/d5oA9sYTpk YESR6VzUVU0ErYLAB0gEoVSeNF4WTQrlbPdh8kNpDK/oBTXWMRGr8XHW/aVUpCNYH6SibhJY QdNwKutd9xCcN2mnRY7Ox8jzNyZfiiYFcpAqSBgcAIu9UBE8XwkC3Y2x1qgcASmpnkaCf+zm BcyzAp4e+Uksjn2sDJVbhLHojU9lE4plJDrmzeUJXT6LaGiXIgQByv7tlUqLpTTTAN8bAn0l kthfmShJfoZn/57eGZnhRWJ84NIAuJZRLZYbQU4wPiWY7A52w0ZpHz3nQlI4uzKDZYknwwvO 83JzToIy0doa9g7IrbVLaxCww1Lh66AiSSv0/g43A4UI0tlGIK6fScJvAkZPOBjKXP4pqpj7 guNnzYFc28JBaJCSh1C+UY0OuDGxCXlgecrwqWZOOmWLqffsG/Fx5bgfw== IronPort-Data: A9a23:2vXmiKkcwj5JdGS4xzw56oLo5gwpIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIcDGzTO/uKYjDxfdB2bIzi8k5UucTczYNrSgNkryw8E1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazx8B56r8ks14ays4GlA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1xHUUrM9FD0dwuBGJt3 MwcLggITk2c0rfeLLKTEoGAh+wmJcjveZIV4zRulGGBS/khRp/HTuPB4towMDUY3JgfW6aDI ZBAOHw2PEyojx5nYj/7DLo1neG6h3C5fzxXqU+Oua0f7G3azQg327/oWDbQUobQGZQNzxfB+ Qoq+UzSOAwGBc2dyQOj/06Jh8bQzBPrfNMrQejQGvlC2wDKnjNCVnX6T2CTqvC8jgu6WslDA 1cF/zIn66k07k2iCNfnNyBUu1aBtx8YHstaSqg0sVHVjKXT5AmdCy4PSTsphMEaWNEeWi0uy 1HVxPjTXDlsk5SlTXSl85fJsmbnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obl07UZ/hmgn Fi3QDgCulkFsSIcO0yGEb3vhjutot3YRFdw6FyHBiSq6QR2YIPjbIutgbQ60RqiBNfHJrVil CFb8yR70AzoJc/V/MBqaLtXdIxFH97fbFXhbadHRvHNDQiF9X+5Zpx36zpjPkpvOctsUWa2P B+D4VkOucMMZyfCgUpLj2SZW5pCIU/IRYSNaxwoRoYWCnSMXFbXpXgxPBTIt4wTuBFxyfplY f93jvpA/V5BVP0/k2voLwvs+bAswS86yCvSQ5u9pylLIpLPDEN5vYwtaQPUBshgtP3siFyMr 753aZHWoz0BC7aWSneMruYuwaUidylT6Wbe8JQPLrbrz8sPMD1JNsI9Npt7It05x/UPzr2Tl px/M2cBoGfCabT8AV3iQhhehHnHBP6TdFpiZXd0b2W7kWMue5iu56o5fp46N+tvvu96wPI+C 7FPd8ycC74dAn7K6hYMX6nb9YZCTRWMgR7RHiyHZDNkQYVsaTaU8fDZfyzu1hI0MAyJieUEr YaN7DjrGag4e1w6DeL9Su6e8FeqjH1MxMNwRxTpJ/dQSmXN8a9rCSr7sdEvKepRKx+Znjq+/ CSVCCc+uuPijdIU8t7IpKbctKavMbJ0MXR7Flnhz4SdFHfl7Ev65qRfQsOkQCv7aFrk3ImDO cBE0ODaMtAcuVRB7rpHDLdgyJwh6+vVp7N1yhpuGFPJZQ+JDoxMD2an385dkL9k3Z5c5BWLX 3yQ9ulgObmmPN3vFHgTLlEHasWBzfQlpSnA388qIUnV5D5Fw5TfaB98ZyKzsS16KKd5FKgHw u174c4f1FGZuyoQa92DinhZynSIInk+SJ4Yj5A9ArLwqw8V21pHMI39CCj33cm1UO9yEHIWe x2auKmToI5n5BvmU2EyHn3zz+ZilcwwmBRV/mQjeXWNuPT438ES4jMA0A4KXjx0zwpG2d1dI mJEFVN4DoTQ8iZKhPpsZXGNGQZADiK34kbakgY4lkDFfUuFCknmcWs3Y7eL9m8k7lMGLyR6/ a6Z+knhQz3FbMH85QpseE9H+tjIb819yR3Go++jR/+6JpgdZSH3p4Offk8KlkfXOtwwj0j5u uVaxuZ8RqnlPyo2oadgKY2l+ZkPaRKDfkpufOpA+f4XIGTiZz2C4ziCBESvcMdrJfaR00uZC dRrF/1fRSaFyyeCgTAKN5Eie4YusqYS2+MDXbf3KUotkbiV9GNpua2N0BnOvjYgRtE2nPstL o/USSm5LVWRonlpgE7IkthPPzupQNsDZTCk5tuPzscyK8shvt1vIGYI6Znlm1WOMQBiwQCYg xObWY/S0N5Z6NpNm6nCL/x9IjuaeP3PUNaGygSRi+h1TMjuNJ7OvjwFq1O8MAVxO6AQautNl r+MkYDW2U/ZjYkySETcvYeLLIhSxMCIROEMGNnGHHpbuiqjWcHX/BoI/V6jG6FJiN9w4sqGR ROyTcmNKfo5fsh7/2IMTQRzCDMfBLbTQoa6gBiivtKeDhQ5+i7WHuONrHPGQzlSSX4VBsfYF ATxhceL2vlZi4ZpXzovGPBsBs5DEm/JAKcJWYX4imiFMzOOnFiHh7rFkCgg4xHtDl2vMp7zw bDBdyjEWCWCgoP65/AHjNUqpTwSNmh3vscodEFE+9JWtSGzPFRbEcsja6c5GrNmuQ2s8qrnZ QP9TnooUgT8ejVmTS/SwvreWiWnO+hfHeuhexII+RqYZR7jUcnESPFk+zx76nh7Rir7wav1Y ZsC83n3JV6qzosvWe8X4eehjPx6wu/BgEgF4l35j9e4FiN27W/mD5C9NFElue37/8DxeIHjI GE0QSVVShj+RxehSYBvfHlaHBxftzTqp9ntgeFj3/6H07h3DsUZoBE8Bw03+rIGZcUOYrUJQ BsbgkOTtnuO1CV7VbQB4roUbGwdNR5PNse/Ja7nAwYVmslcL4jh09wqxUIycS3pxOKT/54xW NVhD7jSyXlp8Hxs5YA= IronPort-HdrOrdr: A9a23:p3qbY6//ZDm8asCSCm5uk+AWI+orL9Y04lQ7vn2ZLiYlCfBw9v re5MjzsCWftN9/YgBEpTntAtjjfZq+z+8X3WByB8bEYOCOggLBR72KhrGSpQEIdReOj9J15O NOdbNhAMb8AVU/ocHx+xmgDtosqePqzImYwcnbi1hgRRx3cK17hj0JbjqzIwlZQE1pC/MCeq Z0JfApm9NjQxkqhwiAZ0XtltKim+H2 X-Talos-CUID: =?us-ascii?q?9a23=3ABPe3h2o6LoGHE+YbuEifwKnmUd80dmDTkCz7GRa?= =?us-ascii?q?9CkVAeLmTcVqwpbwxxg=3D=3D?= X-Talos-MUID: 9a23:cN5FGwThpFjeLOa2RXTHvix+BdZq452IBXwokLwZ6vmUEX1JbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.16,204,1744063200"; d="scan'208";a="224909917" X-MGA-submission: =?us-ascii?q?MDE5/pU8Iw8QJspAYTHJeoOp1/aDzjcfdHN40a?= =?us-ascii?q?+JPN/2EaNnh0bJGtQ0RhD3NdQDT4zInI48TCwuxIS1QVygZTs0Vhom+L?= =?us-ascii?q?AeKrZ68pk5smHqoiXEtlmaxlldWLV1phWnM1G3tJzfXw9jseyh2od1Bb?= =?us-ascii?q?I48xMRrQXK3FqjFa17UArq7g=3D=3D?= Received: from mail-yb1-f180.google.com ([209.85.219.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Jun 2025 21:43:05 +0200 Received: by mail-yb1-f180.google.com with SMTP id 3f1490d57ef6-e7db5c13088so4182183276.1 for ; Mon, 02 Jun 2025 12:43:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1748893383; x=1749498183; darn=inria.fr; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=TS+55jpSaqks2xMCN+2DSnG6fTyxKZJdJG7/DFVAU+Q=; b=QeXuHx82mYGNovsCKl6LKcWn3h4EX+EymbghZ4Xh+JhG9iQRATLXeI7qB0+rs5iLx+ Jlsg+iAIM7+KA944FFgglM/Li+MM9J2OjdLcZ8v78EvJ28eVGasSKyxFOAyFdYl3CNtI pVc27eAcS1QiBxNbEsyPfdYg1ZtxXF1Qhex55xKptQY5DZba738e55st1k4924C4BEl2 ZhhZxEegKF8fv4MyGGB2K6QxBuKiJ9Nmd0Snrm5PXvLAdyZhWJ1ne6ip4PdDXzS2oUIh saljkOnUECLYxGoQZnzh5G/l/7R+uSfHry8BTpTex8BNsBOXQi04aJk89Yoa1wGg0IzS geLA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1748893384; x=1749498184; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=TS+55jpSaqks2xMCN+2DSnG6fTyxKZJdJG7/DFVAU+Q=; b=GidySHkXrY8PUJ7j6PCL4nBDgq1KemAeFaHC62NBAu27B1gNdS87jn3ZQX57kqNyQX DGh/eOAGQLVTvI2BgVDK73YehfzDacHwA/woP++e8+eRHO1vWHJ6njgRYA+otigzoI4n 4kQ+2ovYKEShKUylGtubB7pmApI7wiIwnhQvMIYeg0MKTzbtkLDmvQAESvBUzDiZ59Dz CnMovftj7h9940qBzsuYQVpQ6JyuayiJvcjLpv9WlnabUP1B3oSycuBIyuV7hIOlICh2 WGDzzV173plw8B/bZjOXNQSXGnfIzUD8WMaaf5YabATclAhXXUThKNi/pqMgYtpzz8Xf d1vw== X-Forwarded-Encrypted: i=1; AJvYcCXlA8Y9OAyoFV2rs14FtZrZkSNazE4oNpUQV5o8Rl8dErhqJKcgINVDqEJ2VVqylxT7G70uCOhYKrU=@inria.fr X-Gm-Message-State: AOJu0YxxC1FhAf8AzwdxsiSygbeL1tg4UBmR+PuoKE7E4+ZDk60lk5gi 7XkqQ5Ygc4qHLTgnqn36TP5x/9228Edzie3o7hTKV8oryFGsmX1slaFaehY9WrJWwUxbmc8a6ve 5JNQfdN4JE6Ny+E/fdEobRssk9o/7le96mvbW X-Gm-Gg: ASbGncsMF7sJY1AJ8WRYwZsIJVgM1pjMntFvXvvNDNco6KyuZvcfCp94imgn70l1Xhx OzvxsJiCeB91peyMBg9hbuGH7XhjueDEj3VDyVtDDCKPyEt72AD1UyTcbTMvq3CqYBbE6cesNal dEQYOjNqu3KJiQHu3grABB6LPaOP/tFj+MpnEJMMyYk40IFpQTX/BEAenXQvUjubyHHqaIe8Soy ps= X-Google-Smtp-Source: AGHT+IGr0fEfV59ECnBxhoQkqbVSFOsuqn/aRk4uak5InvZoNyEaXpk4dsLAsDcDknk8RT3Mn96uWAg3EEschjEdlFA= X-Received: by 2002:a05:6902:1444:b0:e81:58c9:9f48 with SMTP id 3f1490d57ef6-e815ebeb193mr1315562276.7.1748893383484; Mon, 02 Jun 2025 12:43:03 -0700 (PDT) MIME-Version: 1.0 From: Cinzia Di Giusto Date: Mon, 2 Jun 2025 21:42:52 +0200 X-Gm-Features: AX0GCFv7C9WDnkGNVqUWPSMswFDMmiBX-6_VISl3s2Rnwp93Pq66CCeEl3pwLvM Message-ID: To: AISWORLD@listserv.isworld.org, gdr.gpl@univ-grenoble-alpes.fr, caml-list@inria.fr, fm-announcements@lists.nasa.gov, nwpt-info@lists.ioc.ee Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] EXPRESS/SOS@CONFEST2025 - Last Call for papers Reply-To: Cinzia Di Giusto X-Loop: caml-list@inria.fr X-Sequence: 19331 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: ********************************** Last Call for Papers Express/SOS 2025 * Venue: Aarhus, Denmark, August 25, 2025 * Submission deadline: June 13, 2025 (full and short papers) * Website: https://expresssos.github.io/conf/2025 ********************************** Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics (EXPRESS/SOS 2025) Aarhus, Denmark, August 25, 2025, Affiliated with CONCUR 2025 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D IMPORTANT DATES - Paper submission Friday, June 13, 2025 (extended) - Paper notification Thursday, July 10, 2025 - Workshop: August 25, 2025 - Final version (post-proceedings): September 25, 2025 =3D=3D 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 2025 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, such as, for instance: - computer security - multi-agent systems - programming languages - formal verification - reversible computation - knowledge representation =3D=3D 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 included in the workshop post-proceedings) All submissions have to 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=3Dexpresssos2025 The final versions of accepted full papers will be published in EPTCS. It is understood that for each accepted submission one of the co-authors will register for the workshop and present the paper. * We are pleased to announce the possibility of a Joint Special Issue with EXPRESS/SOS 2024 (due in December 2025). =3D=3D WORKSHOP CO-CHAIRS: Cinzia Di Giusto (Universit=C3=A9 de Nice Sophia-Antipolis, France) Giorgio Bacci (Aalborg University, Denmark) =3D=3D PROGRAM COMMITTEE: Antonis Achilleos (Reykjavik University) Elli Anastasiadi (Aalborg University) Benjamin Bisping (TU Berlin) Georgiana Caltais (University of Twente) Valentina Castiglioni (Eindhoven University of Technology) Luc Edixhoven (Centrum Wiskunde & Informatica - CWI) Paola Giannini (Universita' del Piemonte Orientale) Daniele Gorla (University of Rome La Sapienza) Ping Hou (University of Oxford) Hans H=C3=BCttel (Aalborg University) Claudio Antares Mezzina (Universit=C3=A0 di Urbino) Andreia Mordido (University of Lisbon) Kirstin Peters (Universit=C3=A4t Augsburg) Anna Philippou (University of Cyprus) Alceste Scalas (Technical University of Denmark) Elena Zucca (University of Genova) Rob van Glabbeek (University of Edinburgh) Bas van den Heuvel (Karlsruhe University of Applied Sciences) =3D=3D CONTACT Prospective authors are encouraged to contact the co-chairs in case of questions at cinzia.di-giusto@univ-cotedazur.fr grbacci@cs.aau.dk