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=L7d66FlQ; 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=R+U7WLcK; 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 9D2F94003C for ; Tue, 13 May 2025 08:01:48 +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=o9bpj9h0xz9pDSM4oqBCjwmIGZmIO6G90yOxu9+eQpU=; b=L7d66FlQiitzRlqBqevrce1MOvz7J/zXwnDx+EShNYTeL7k4GHuSP0w+ A8HbMJxLqOcOFCZ1AdvvAb4E2VKbFbg1sNb8PlWyXM9+stWFnvtsTYfLa I78LlyWW4ZEIvKgy6NS/s3HiRmop1Yw3obDh1gGZ8jiDEuHz/PGzRIbaX 8=; 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.15,284,1739833200"; d="scan'208";a="221729544" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 May 2025 10:01:48 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 15EB4E0BE9; Tue, 13 May 2025 10:01:48 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id CD15EE0131 for ; Tue, 13 May 2025 10:01:44 +0200 (CEST) IronPort-SDR: 6822fc4e_XoYs/6UKtxkIq6i4akrE4fjbFCkjl/YfFZeWKTJgzZMgerE V7fMCNWKDQV65FzGAkwIpOxSNqjMaJJuk6YunPA== X-IPAS-Result: =?us-ascii?q?A0EwFQAv/CJofLXbVdFaHAEBATwBAQQEAQECAQEHAQEVg?= =?us-ascii?q?VMCghooflk0BAtJhFWDT4wBgiGaFYUpAxgWKA8BAwENFAEBAQIkFAQBAQMBA?= =?us-ascii?q?4IMgnSLTQIeBwEEMwYOAQIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBA?= =?us-ascii?q?hABASIZBw4SKYV7DYJFUXFhAgUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEFAg0fFSo4CwYdARsMEgMSEA8CJgIjAREBBQE1IoIIW?= =?us-ascii?q?YIhFQEDMQMRowiCJIEFQos+gRUFAhaBAYINBoEJ2VYKGSgNbAOBYgIBBhSBB?= =?us-ascii?q?y4BhHUpTg6COB0BgW2Df4N9eieCKIFKhDiBXAICGIEdPoNGgmkEg0OLWpJqJ?= =?us-ascii?q?ggBBhcDBwcJBQQcBgUFAkIJBgUKEgMEAwQEAQILEwkDAwIOAggDAggGGAEBC?= =?us-ascii?q?jUSBBMKDQsHBR8KCAwRCigiEisKAQIBWjQBCAYCAgQEAgQMAgkCAgUHAhEDB?= =?us-ascii?q?AEBCAICLgMBAxkICQgCCwUUDQgDAwMGCgkBCgcJEAECAhADAgICAgYHCgMCE?= =?us-ascii?q?woFBgYCCgcNDBICAwkGAwUKAwcECg0CFQIVBR4CCAkOEQIFEgMOBQMCAhEEA?= =?us-ascii?q?gMDBQMBBwEVCBACAgICBQIFGBENBAMDAwIIAQQUBgMJCCUbCQEDCQMCAwQIA?= =?us-ascii?q?wMDAgYMCwIBBwgDAwYLCAkGAwIHCBkDBQQDBwULIQIGAwIEBQQBBQITDQIDG?= =?us-ascii?q?QIGAwYRCQ0GCAcJAwcBAQECAgIIAQYFEgIDBAIFBAQBARIGAgEDAgIECQMCC?= =?us-ascii?q?gIICgEJEwQDCAMDAwMDBQICChEFBQIBBQoTDAoGAwYDBAICAgoBBwIDAwMHA?= =?us-ascii?q?QscAgEDAgIFAgIBBQMCAgYEAwIBAQkCAwIIAQICAQICAgQBBwELBgEBAgQCA?= =?us-ascii?q?jICAQMIBgEBDgIGAgIBAgICBAIEAQgLBAUNAQECAQICAQEBBAEIAwEBAgIDA?= =?us-ascii?q?wUDBQgPDQEBFwsdAwQFAgIBAQECEgICAQcBAgEBAxoCAQMDBAELAgEBBB4EF?= =?us-ascii?q?gICAgIEAwIDAgILEyUBAgMGEwIEAgECAgUFBQEDBBEQCQMCBQQCAgYCBA4CB?= =?us-ascii?q?wQCGgQCAgEDBAYDAQIIAgIHBAQGAwIBAgIHGQIYAQIBAQICAgQCAgIJCgQFB?= =?us-ascii?q?AQEAwICAgEMAwECAwICAgIBAwICAQEDAQUGDQISAgEDDwgEAgIHAgIhDwsBA?= =?us-ascii?q?gEBBgYDAwMKAwEKAQIBAQYCAQISBQICAgQBAgIDBCUBAgECAQEBBQIBAgECB?= =?us-ascii?q?AIHAgECAwgBBQIGAQICCQECAQICAgECAQECBgIBEQQBAgICAgIDAQMGAgICA?= =?us-ascii?q?gICCQICAgIFAgUDAgMBBgIFAgMDAgIDBAMJAwMIAwYEAgMBAQECAQICAgECA?= =?us-ascii?q?QUCAwkBAQMCAQICAgIDBgIFBQEDCwUEBwEBAgEDBQMDBAMGAQwEAwICBAICA?= =?us-ascii?q?gICAgQCAQUDAwICBQELAQIEAgEDAwMEBAMBAgIKDAIEAQEBAQIBAgIKAwIFA?= =?us-ascii?q?QEDAwERAwQBBgUFBgIHCQMCAgQCAwIEAwUEBAIGAwMCAgIBAQsCAgECAQEDA?= =?us-ascii?q?wcGEAECAgIBDwIDAwQDDwYDBQkBAwcBAQEBAQIUAwIEBREEBAIBAR4BFgIHA?= =?us-ascii?q?QQDJx4CAgIHAQICAgIDAgIDAwMBAgEBAgMFAQMCAgMCAQIBBgIDAwMCBQMBD?= =?us-ascii?q?gICAwEDAQgFBAMiAgkDIw8DCwkIEz0BCwcyBAYwARQUByshX5Yng2UxWDgTD?= =?us-ascii?q?S9OFxkEDk2TRgGzJgeEHoosgW6VTTOqWodzEJB9gjKHV4N9lVoTg0OBbhEjE?= =?us-ascii?q?oFIJIFcTSOBAYI2TwMZD1eNYYNpgmSCL75kRDI8AgcBCgEBAwmQHzSBSwEB?= IronPort-PHdr: A9a23:cOgoDB+ZkuIZ5P9uWQu1ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Z gqHvb421ASUAs3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfQlEniaxba99I Bi4sQncuMkbjIl/Iast1xXFpWdFdOtRyW50P1yfmAry6Nmt95B56SRQvPwh989EUarkeqkzU KJVAjc7PW0r/cPnrRbMQxeB6XsaSWUWjwFHAxPZ4xHgX5f+qTX1u+xg0ySHJ8L2TLQ0WTO/7 6d3TRLjlSkKOyIl/GzRl8d/i79VoA+6pxxn3YHbfJ2VOvR5fqPYZ9waRGxBVdtVWyFOBo6wa o0CBPcDM+lFtYnwv1QBoxuwCwevGe3h1CNHiHDt0K0myuQsCx3K0BA8E98MtnnfsdX7NL0VU eCw1KTF0zTDb/VX2Df88ofDbx4vofCRVrxxcMrR1FIvFx/Cjl6NroHqIzKV1uIMsmia9eVsT /+gi28oqwFwvziv3dssio7Si4Iaz1DL7yR5wIIvKdKkT057ZMepHZ1NvC6VK4V4WNktQ310u Ckk0L0Gv4a2cSoFxZkoyBPSZPyKfYeV7x/9VOucIzh2iG9rdb6hhxi+7EqtxO3gWsSo1FtGs CVIn93Qu30C2BLe7seKR/h580qnxD2B2QfT6uReLkA1k6rWM5Ehwr8slpoTrETMBTX6mETxj KOOaEok4vSo5Pj8Yrn8oZ+cLYB0hhngPas0gcy+Afg3MggUUGia4+Swzrrj/Vf2QLhMk/Y4k bHZvYjEKcgHoqO1GQxY34Y55xqhEjur1M4UkWQEIV5Yfh+MkpbkO1XTIPDjEfewnU6snipqx /HHILLsGonBI37em7n7Z7l98VRTyA8rwNBf+Z1UDrYBLer2WkDrtdzYCgY1MgyvzOr6Edl92 J4SVGGSDqODP6PStliI5u0rI+aSfoMapDH9K/096/7vi382h0MdcLG30ZcLbH20BPdrLkWDb Xbyn9sMFX0Gshc9QeD3kFGCVCRcZ3e2X6Iy/DE7D4emAJ/fSYCshryA3Sa7EYdMam9bC1CMH nbod5ifW/cQbyKfOcBhkjkeWrigT48tzw2htAj/y7Z/KOrb4TUXtYj/29ht++3TiRYy+CRpA 8iFyWGCU3l0nn8URz8xxK1wvVZyylKH0aRhh/xYFMdT5+9SXwchNZ/cyvR6BMroVgLAeNeJU lemTc+8DTE/VNJii+MJNk10HtHnihHYwwKrBaUUnvqFHs8a6KXZilPwIdR8wj7q1eEOjkQ9X swHYWangLx+/k7fBoHIjl6FkI6lcK0d2GjG82LVnjnGh11RTAMlCfaNZnsYfEaD8YWRDiLqS ravDe9iKQ5d0YuZLbMMbNT1jFJATfOlOdLEYmv3lX3jTQ2QyOaqa4znM34YwD2bEFINxgsS+ 2SHPE4yByigvnnCCxRhEFvuZwXn9uwt4GijQBoMxhqRJ1Zky6Lz/xcUgfKGTPZG1bMCqiYo7 Tl1E1egxM7RI9WFrgtlOq5bZIB1+09JgETesQE1JZm8N+Zii1oZJhxwpF/r3g5rB59olMErq DY7xlM3J/vIiRVOcDSX2Z22MbrSQoXr1DaobaOemlTX0dLNv7wK9Ox9sFL7+gegCksl9Xxjl dhTyXqVoJvQXkIUVtrqX0A7+gIfxfmSazQh547SyXxnMLWl+j7E1dUzAeI5yxGmN95BOaKAH QX2HoUUHc+rYOAtnlGoaFoDMoUwvOY/PsW0dvLA1K+kPft7gDWOgmFO4YQ72UWJtmJ9RuPOw 5cZ0qSAxALUMlW0xFyls83xhcVFfWRIRjv5mXWiXtcAIPQiJNVuay/mOcC8y9RgioS4XndZ8 AXmHFYawIqyfgLUaVXh3ApW3EBRoHq9mCL+wSYn9lNh5qeZwiHKxPzvMRQdPWseDmJji0XtK M64jt8bQVO0aCAmkRKk4QDxwK0R98EdZyHDBFxFeST7NTQoWaq2pLuLJcJO55I1qjlQeOu5a FGeDLX6plFJtkGrV3sbzzc9eTawv5z/lBEvk2ORIkF4q3/BcN1xzxPSjDDFbcZYxSFOBCxxi D2MQ0O5I8Hs5tKM0ZHKruG5UWulEJxVayjii42a5mO34mhjABv3mP7W+JWvGgk8wy7ykdVrW iTVtwr7Sobu3qW+d+lgewFkCUT95MxzBoxl2tFo1ddAhD5A38TTpCpe2W7oVLcTkbrzdn8MW SIGz5bO7Q7p1VciZnOFyoTlV2mMl85oZt20eGQTiUdfp4hBDKaZ6qABnDMg+ALp61KMJ6Ikz 3FEmaJ9jRxSy/sEswcs0CiHV7UbHE0DeDfpiwzN9Nem6qNeeGeod7G0kkt4h9GoSr+Y8WQ+E D70fIkvGSho44BxKlXJhTf464f2edCWYdMctwCPjxDogO1cKZZ3nf0Pz3kCWyq1rTg+xug3g AY7l5q7upqGIiNh/a24HwVEMRX6YsoS/nfmiqMUzaP0l8i/W55mHDsMRp7hS/mlRSkTufrQP AGLCDQgq32fFOmXDUqF5UxhtX6KD4GzOiTdOiwC1ds7Dkr4RgQXkEUOUT49hJJ8Cg262Jmrb hJi/j5Irl/g9kkXl6QxZkG5CDuA4l/vMGt8SYDDfkQKqFsZvAGMb5TYtqUqTkQ6ttWgtFDfd DLdPlwSSzlPAgveXxjiJuX8u4eGqbTJQLrmaaOJO+3GqPQCBajSg8vzlNI3pXDUcZzfWxsqR /wjhhgcATYgQZmfw3NXDHVJ3yPVM5zC/Ef6o3Io6JD5qLOxAUru/dfdUuQJd4w+p1bux//Eb rD15m4xKC4EhMlUlDmYlf5Ghg5U02Y3KHGsCehS73eTCv+A3PYGVVhDLHoifMpQs/Bmh1cLY 5WKzIivkOY/169QaR8NQ1XlnovBidUiBWa7ORuHAU+KMO/DPjjX24TsZrv6T7RMjeJSvhn2u DCBEkalMC7R3z/uHwuiN+1BlkT5dFRXpZ29fxBxCGPiUMOuaxu1N8VyhCE3xrt8j23DNGoVO zxxO01XqbjY4SRdi/R5U2tPixgtZfGDgDqc5vLEJ4w+tPJqBmFlnbsf7i1qkv1a6yZLQPEzk yzX75Zvr1ygjuiT229nXR5J+VMpzMqAuURvP7mc94EVAy6VukJQqz/JWlJT94I2b7+n87pdw dXOiq/pfTJL8taPuNAZG9CRM8WfdnwoLRvuHjfQSgoDVz+ic2/F1Ck/2Lmf8GOYqp8ip93ig p0LH/VQVVonF/pcBkVqHcEZPJBfUTYtkLrdh8kNrynbzlGZVIBBs5bLW+jHS+3oMyqchKJYa gEgxLr5KcECPNS+1RUyMx91m4PFH0eWVtdI6H4EDEd8sABG935wSXc20kTuZ1a24XMdIvWzm wY/lgp0ZelFHNjE7FI+J16Mryw1whBZcTDNjjWYcTq3J6C1D9k+48vcskEwNtbqSV8wY1Tix AprMzDLQ78XhLxlJzgDtQ== IronPort-Data: A9a23:yydfZ6J2qIJFV4jsFE+RZpElxSXFcZb7ZxGr2PjKsXjdYENS1TdRy DNKCmqHPPuKYjD1Koglb9u18kgDupGDxoU2S1Ed+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb4s9JIGjhMsf/b9Uo05K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuSnvNwP5FXEsNDaYz5sMtHnxxq O41J2VYBvyDr7reLLOTT+BtgoEyJpCuMtpP4zdvyjbWCftgSpfGK0nIzYUAjXFg24YURKeYP ppAAdZsREyojxlnMVYRGpM32uupiXjiaCFfgF2QrKszpWPUyWSd1ZC0aYSJIIHbGp49ckCwp F7hwUjIXCwjb/+OxAu/0kKDxb+IpHauMG4VPOblr6Y10QP7KnYoIBYfUF/+pfiilmalStdHI goV/DAvpO487iSWosLVWhS5pDuVtEdZVYMASqs17waCzqeS6AGcboQZctJfQOUmlcw9bmwg7 W+itM/MXyNyj+CHZH3Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHoYL/Emd3o2dJN3g/ w1muhTSkFn6sCLm/6Cy/FSCkjj145aQHldz6QLQUWaoqAh+YeZJhrBEC3CKtZ6sz67AETFtW UTofeDAt4ji6rnTzkSwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbZpbIWC1P xCL5V8AjHO2AJdMRf8nC25WI5R6pZUM6fy/CZg4k/IXMsEoK1bdpEmCm2bLjju2yBNEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr 753aZDRoz0BC72WX8Ui2dRPRbz8BSJmXciuwyGWH8bfSjdb9JYJUqCNnuh9KtU5wsy4VI7gp xmAZ6OR83Kn7VWvFOlAQi04AF82dc8n9i5pDj9mJluyxXkobKCm6apVJdN9fqAq+KYnhbR4R uUMMZfISPleaCX1yxJEZ7nEratmaEuKgyCKNHGbezQRRcNraDHI3d7GRTHR0hcyIBC5juYEm I345DjnGcICYy9AEPfpbOmeygLtnHoFx8N3cUj6AvhSX0TO9oJVBTT7paI1KZtUKDHo5DiT5 yCJCzg2+MjPpI4U9oHSpKam9o2GLcp3LnB4LUL6s4mkFHD91XWx5KN9S8C0RCD5eEKo3bS9d MNX4urZMvZarG1VsoF5Laln/Zg+6/TrubVe6AZuR1fPUHiGFZJiJWugz+BUl6gQ2IJchxS6a niP9vZeJ7+NHsHvS3wVBQg9a9W8xeMmoSbT4ds1MXfFyndOppTfanprPj6IlCB5B5l2Otl8w e4e5egn2zbmgR8uatu7niRY8lqXFUM5UoIli4o7BbH6gQ9623BAZp3hUhXN2q+tUOkVEEcWI W6zvpHg1pB83UvJdkQhGUfdhdR9gYs8gzEU7VsgCWnQpP/7qK4W5iBByRU2UQVf8Ttf2c1RJ GVAFhN4NIeOzRhSlelBWGGmJC9ZDjbAp33z5kc7lkCFanL1UGaXfWs3FtuQzRpI70NdYTlp0 7WKw0n1UTvRXZ/Q3wljfWVHuvDcXdhK2Qmao/+eHuOBBIsfTQv+pK2ldU4kikLAL5sqpUvlo eJKwr5BWZfjP3RNn5xhWpio67sAbTulekpAeKhF14EUFzj+fDqS52C/G3qpcJkQG82QoF6KM O0wFMdhTB/k6T2vqAocDqsyI7NZuv4lyd4BW7HzL149rLqtgWt1ga3U6xTBqjcnc/d2neY5D 7HhRTaIP2iTpHlTwkvmjs1PPEimatglOiz4+s2I89syKpFSi9E0LHkO0Ya1sU6Fbyph3Raf5 z3Ya4HskudN9IVLnqnXKJtlOTmaE93Jabm3wFiBiOgWNdLrGuXShjwRsWjiblh3P6NOetFZl oatkd/Q3WHDtokYS2ryxpuLTfFIwe6QX+NnFN39A1cHvCmFWe7quwAi/ULhI7N3sdpt3OuVb CrmV9mRLPk+RMV46EBOTRRnAzIxKvjSf7jxgyGQtNGOAUUt6hPGJ9aZ6nPZV2FXWSsWMZnYC AWvmfKRyv1HjYZLFjkWLupHBsJmHVrdRqcWTd39mj2GBG2OgFnZmL/DlwIl2A7bGEu/D8f2z pLUdCfQLC3olvnz8+hYlIhusjk8LnV327Awd31A3e9GsWmxCWpeINkNNZkDNIpvrRXz85PFf xDIUnopDHTsfDZDcCik2u/ZYCWkOrUsNOv6dxsTxGHFWxfuUcnESPFk+zx76nh7Rir7wav1Y ZsC83n3JV6qzosvWe8X4eehjPx6wu/BgEgF4l35j9e4FiN27W/mD5C9NFElue37/8DxeIHjI GE0QSVVShj+RxehSIBvfHlaHBxftzTqp9ntgeFj3/6H07h3DsUZoBE8Bw03+rIGZcUOYrUJQ BsbgkOTtnuO1CV7VbQB4roUbGwdNR5PNse/Ja7nAwYVmslcL4jh09wqxUIycS3pxOKT/54xW NVhD7jSyXlp8Hxs5YA= IronPort-HdrOrdr: A9a23:14Vm3KwutZ/l2Yn0emIpKrPwD71zdoMgy1knxilNoHtuA7Slfq GV7Y0mPHrP4gr5N0tQ++xoVJPwIk80lqQU3WByB8bHYOCOggLBR72KhrGSpAEIdReOkNJ15O NPd+xQBNXsEUN3l6/BkWyFOudl7t3C3q7Av4jjJrRWIT2CqZsM0+60MGim+4RNJTV7OQ== X-Talos-CUID: 9a23:T/QKSmDvGkg5HD36ExBn1U0fMZAvSU3252v1eVClNjt7ZbLAHA== X-Talos-MUID: =?us-ascii?q?9a23=3Ak5V4PQ7nkVIHGAtBqkk0DnZSxoxq34OQJHFTrKx?= =?us-ascii?q?dmNiJBBZQCxje3HOOF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,284,1739833200"; d="scan'208";a="116425973" X-MGA-submission: =?us-ascii?q?MDEEM1AG6hNjtPzmb1rBcmYPt9CRuvU6bP2di3?= =?us-ascii?q?UDlR34LQyNjKDxoyfBTe0ivwwd7hILQgYML0zZCA74wpassa69fwWKQ/?= =?us-ascii?q?d1dx3lQ/RzHdLpjygP7NiQNBJom2GsiMxM5E56cMbqpU4u/WdQLGAR7B?= =?us-ascii?q?/mSdJxqSHYvQVCWp/P0LP27w=3D=3D?= Received: from mail-yb1-f181.google.com ([209.85.219.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 May 2025 10:01:18 +0200 Received: by mail-yb1-f181.google.com with SMTP id 3f1490d57ef6-e732386e4b7so5314558276.1 for ; Tue, 13 May 2025 01:01:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1747123276; x=1747728076; 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=o9bpj9h0xz9pDSM4oqBCjwmIGZmIO6G90yOxu9+eQpU=; b=R+U7WLcKHeClTKcGz/ivBSc6WxtnMNKl99Az5G/yZQrtoVIcMu6OIQwy3RfgXEJohq GD8xIPrX8KKBQDNjHnOD6bRN8HMzdf49WT8/X7UHB2s1M9X4srwTMBIbSNU26Ut8mbDp uTzRqMd+AmHvfmpbvAMOIeHK7DuuRyu/4HhH/lRZWTHVN/XIhR2lAC5I3bZ9Z7AFdKi/ j/7Mb7EARUiXg4LDzCa4Yhk6ZkF4E32KSEKfaaDTSeJfMHeYNoSsza8sUssIuLeoAx3t eKK9L1FPG1FHccUCMG1RLT0xNRcbbntLQyab6t3OQzbMJQPnjd5DcR1w9Z+F/bjsMIWu oQhg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1747123276; x=1747728076; 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=o9bpj9h0xz9pDSM4oqBCjwmIGZmIO6G90yOxu9+eQpU=; b=Py52jSEGeEnOiUEVUZyqHVn0FDcVt5AL80gYFWzpBrVYWz+XqzszL0FjXUSwvCrXlw I5S/1Tw0yzoJtQX3fcwA/GuaV6oSA90RkobmJpjrB451W4NBjXGYc6Mlhe2+gYe0Pb2L z/z2hpDaCyw9hMkEUzGlbJ4ziAh8e2kqTbb9ddYKBbvdI4B+GLE513KHnhMMBwxkh+Pg XEOhygRrqZKKmMtk9vfgHp9atkYv6LFecjlcwHjuqrezitM8xBhyzH5wFnrA2VH8Swpt 2UEaK6Ck2AvA7PUYJ6YnrZI/j7sfpx7oaJ80Q8JtXnoArDTABmEkqi8u4Vrljq0tJUhZ HiPg== X-Gm-Message-State: AOJu0YzWR8GNzNflQyc+7OCWJGamh8FF/+aAHlsgwB7a9A0plfiJUJrK JAhoCNHU2eJRqmILNFQmqQmRfA1oBA0NHEN4LMoHWjt9e0Co1EwSCwrd3YA0akpurPP3YJMJhKU e/a/CMnDajCE3WtUQm0gFPyxiq06B+B+8 X-Gm-Gg: ASbGncvi+d3RXna7/TbZ787O1vMCpIFtoNMxtZ8Qr3N8OEgmzqNzbBIwIMR15TqxmG9 qBwd79DkJAtRHTYILxc5n9IwmKuX0/V4BM1htBK08cA/LuFIK3S/EjUjjwrcW+WWOaE5scvemYN xV9vn9NQbR15Td2SwwPSbXytc/137i01vf X-Google-Smtp-Source: AGHT+IHSb+S4Ztotrwjra5iIVKPvRn0hbHCeLpOqJ48CjaSYO2SdiI1qMsz19xwDGu0/1oYSFIiy2jxGfVCPkvED1fM= X-Received: by 2002:a05:6902:15c1:b0:e7a:b37b:725b with SMTP id 3f1490d57ef6-e7ab37b77fdmr11268055276.23.1747123276423; Tue, 13 May 2025 01:01:16 -0700 (PDT) MIME-Version: 1.0 From: Cinzia Di Giusto Date: Tue, 13 May 2025 10:01:05 +0200 X-Gm-Features: AX0GCFtHmw8zWq6rgRtleY016CB3YAHHo3M43RzwQuJt-Y64m3xN-BJz5m7dXqE Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] EXPRESS/SOS@CONFEST2025 - Call for papers Reply-To: Cinzia Di Giusto X-Loop: caml-list@inria.fr X-Sequence: 19319 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: ********************************** 2nd Call for Papers Express/SOS 2025 * Venue: Aarhus, Denmark, August 25, 2025 * Submission deadline: June 3, 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 Tuesday, June 3, 2025 - 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