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=axWGKBaN; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.104; helo=mail3-relais-sop.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by plum.tunbury.org (Postfix) with ESMTP id 207DA40086 for ; Thu, 21 May 2026 09:46:00 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:references:to:from:in-reply-to: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=Go2B86TPubtV809xjOqbPvuebbbnHMsGdGp1n88au60=; b=axWGKBaN4cxhjiyAkzwtSYfpfBDW9I8nfaNxAA2Tlm5bjU/8ldxLE6UB CrXGRT2Nn5oMRFoKwhfj6qv7PRZm9Lwj2AWrx1zk0OMkAngSqtfuHRJBA lCXi+5fc2M4qgT6rihm4To+QkeaB49dedfljYsN3oKxN+OYRDzObgcQjh k=; X-CSE-ConnectionGUID: tq1xJxe/TYKSon83+owhFw== X-CSE-MsgGUID: ZnbW3OjOSfm6lwTN6Vytlg== Authentication-Results: mail3-relais-sop.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 (mail3-relais-sop.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=mail3-relais-sop.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 (mail3-relais-sop.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=mail3-relais-sop.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,246,1770591600"; d="scan'208,217";a="147153842" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail3-relais-sop.national.inria.fr with ESMTP; 21 May 2026 11:45:57 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 71D7A81E92; Thu, 21 May 2026 11:45:56 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id C4E87814B8 for ; Thu, 21 May 2026 11:45:46 +0200 (CEST) X-CSE-ConnectionGUID: Updr7L/jRcezC/6qypj2NA== X-CSE-MsgGUID: 4ns7hf21TJ+IuXEs5ba34w== IronPort-SDR: 6a0ed44a_Iv0h0VtqfmQcEi9DyMzO0Y5hFX1+F2RGzZGy/ldTxtyEVFV zfX2guQ1HKjYATNjXxzSJpqqQndQFnSXGRCjtAQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GdBAAp0w5qgX5FZTRahBYxKilCAUVgMgdRhFiDTQEBh?= =?us-ascii?q?SyIeZ9eFi8JAQMBCwI9FAQBAQECAQOCC5AqIAYBBDQTAQIEAwIDAQEBAQEBA?= =?us-ascii?q?QEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDjuGTw2CRVFxYwg6AQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQETAg0HLSogBhILBh0BASYSD00CAjElGQIBA?= =?us-ascii?q?R6CCFgBgiQESwQCDqgaAYE9AgKLIoEygQGCDAEBBgQEgQCBYth/LhaBZwMGC?= =?us-ascii?q?QGBQ4VxgmcBKoE1AQKEFIR7QoFJRIEVJwsDhDiBXAICGIEdhASCaYImehIbh?= =?us-ascii?q?hs6ghaGBoFEIgMmMywBVRMXCwcFgWYDgQZuMh2BIz4XM1gbBwWBS4MTgQSEV?= =?us-ascii?q?3gjLANOgS2BOAIBC209NwkLG4s9XRwPgioxWDgTDS8sIhcZBFtLkkwykiehF?= =?us-ascii?q?IQmgWSKOpIwgw8GEy+EBIcXhXyZU4gDkQKCMotXlWMTg0OBUwIEAgQFAhABA?= =?us-ascii?q?QaBfyOBXE04gyJQAxkPjjiEEII/gi/CFUI0PgEHAgcBAQoBA4FzkAA0gUsBA?= =?us-ascii?q?Q?= IronPort-PHdr: A9a23:mHWuNxPvP2x8XTWMkUQl6naEAhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvqgr1AeCBNmEsq0My7KP9fy7BSpYudfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muQgoEW e9vbxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUoHdgN6q2O+s5pbdfxtHhCanYbN1M R66sRjdutMZjIZsKqs90AfFrmdHd+hLym5lJ0+fkhTh7cu04JJv7j5ctv0v+sNPS6n2Y7g0Q blFBzk6Lm4549HmuhbEQQaT/HUXT38YkgBPAwjL7RH6Won+vy7nvedj2yeUINP7Q6ksVTqt9 6lkRwbkhTkIOTAk6G3YhdB+g6xdoBK6uhxw2JXUb52PNPp/ZazSY9UXTndcU8lLVixBBoS8b 5YTD+cEIO1VoZXxq0cIoBCjAgaiGf7vyiRQhnDowaI6z+ovEQbD3AM6HtIOtmnfoNH6OaoWV Oy4yrTDwzfeYPNMwTry9IvGfB4vrv+RU7J+b8rfxksgGA7elFqctZboMimJ2ugTsWWW6fdrW +K1i24grgF8uiSixsEqiobTm4kb0FDE9SR9wIY0Pd24UEl7YcO5G5ZXrS6aMY12Tdk6Q2xzp SY11r0HtYShcycW0pgo2x7eZuWBfoOV7R3tSPyfLi1khHJ5Zr2/nRCy/FC+xuD4SsS631dHo y5Bn9TCtn4A1QLf5tSER/Zj+kqtxSqC2gTQ5+xEPE05iKXVJ4I/z7MylJcdv0DOEjH2lUjri qKda0sq+u+t6+v9Y7XmoIeRN4B1igHiMqQuh9ewDf45MggJR2SU5/y81KH/8k3iWrlKiec2k qbBvJ/EP8sbva64DBNV0ok56ha/FS2q0NMCnXkIKl9OZRGJj5DxNlzOPvz0F+qzj0ixnDtxx v3LOqftDojTInXCiLvtY7dw51JSxQc20NxT+4hbB7AELf7tRkP+r9nVAx8kPwOqxuvqDdZw2 4UDUmyVGKCZKrndsVqQ6+IvPeaMYIgVtS7hJvYi+/Lgl2M3lFwTcKS305QbdGy0E/R8L0Wef HrsnswOEWAXvgo4UePmkkWCUSRUZ3auQa0z+i07CIOhDYfFXIyth6GB3Du/Hp1RYWBGCUqAH mvvd4WBQ/sMaSSSLdF9kjEcVbWtVZUt2QyyuAPn0bZqL+7Z9jcFuZ791dV5/+jTmgsz9TxwA cSdyWaNT2Rsk2MQRz823aR/oU1lyleb1qh4nuZUGsZV5/NPSAg3LoPcwPB6CtzoQA3OYs2FR 0qmQ9m+GzE+Usoxw8MSY0Z6A9itkgrM3y+uA7MMk7yLBYc08r7H0njqJ8d9zm7G27M7g1knR MtPL2ymibRl+wjdHY7Fi0OZmL2yeqQGwCHN7HuDzXaJvExATQJ8SarFUm4YZkXVt9r0/lvMQ bm2BbQ9LARB182MJLFSZ93sl1pGRfPjNM3QYm2vgGewGQiHxq6WbIrtY2USwj/SCUkDkwAV4 HqKKBQyCjm9r27DEjBjFEjjY0Tx8elis3y7SVI0zweXYEF7z7q14BkVheCCRPwPwrIEuSAhq zNuEFa6wtLWF96Apw1mfKVfe98y/FBH1WfBuwNgPZygLqVii0YGfQp4sUzgyQl5B5lGn8Qys XwqyRB9KbiE315Zbz2WxIj+NLLPJmnp5BCvZbbb1EvC3diL56kD8O84q03tvA6xFkot7XFn0 95N3nWG+pjEERccAtrNVRM8/h1+4rXbeTUV5oXO1HQqP7PnnCXF3ocAAu0sgi6gftNeKLuDC UemGsscDtCGNec73VGiKBkVarMBvJUoNt+rIqPVkJWgO/xtyW735YwmyIV000bXsjF5VvaNx JEdhfeRwgqAUT74ylanqMH+345eNnkJBmTq7y/iCcZKY7FqO54RADKnJcu+3v1jjI+rUnUe/ 0/wT0ge1pqRcAGJJ0f4wRUW0E0WpXK9ni7t1zx1lzAxtq2CmiXIxe3KaREWfGdAAmJz3h/3O Ybht9kBRwCzahQx0huo4UGv369AuKF2NHXeW29hWnDOFTE5eZbo7ufEZNNT4pQ1tykRSP67f V2RVr/6pV0dzj/nGGxdgjs8cllGo73fmBp3wCKYJXd39z/CfN1ogAzY/JraTOJQ2TwPQG95j yPWDx6yJYvh+9LcjJrFvu2kMgDpHpRObSnmy5+Bvyqn9CVrBxO4hfW6htzgF0Azzyb609BgU SiAogz7Z8Hn0KGzMOQveUcNZhe04sx8E5lWj4Ahwpgbn3MLx92U8XcBjWbvIIBDw6utJHEJR DMN35vU+F24ggs6divPmdO/Dy/Dka4DL5Ggb2gb2zww9ZVPAaaQt/lfmDdt50G/tUTXaOR8m TEUzb0v7mQbiqcHollIrG3VD7YMEE1fJSGpmQ6P6oX0tKVWYGe3ab+tkkN4m9mJEbqT5AhXH n3oMMRHf2c4/oBkPVTA3WemoIjiftDIRc8Yp1udmFHLnqIGYIJ0nf0Miy19PGv7tnBw0O83g ytl2pSitZSGIWFglE6gKiZRLSa9J8Ya+zW2yL1bgt7TxIe3WJNoBjQMWpLsC/OuCjMb8/r9Z U6CFzg1q3HTHrS6f0fX8Ednq3PXC5e2cXiRInAx0N5zAhCWYkdOyAwZRzQ1mJclGxvimZanK R8goG5AoAei9FNF0YcKf1HnX33apRu0Zzt8U5WZIBdMr0lD60rTLc2C/7d2FiBc8IemqV/FI WiaagJUSGARDxHeQQm7Z//wtJ+ZqbbLY4j2Z+HDariPt+FEAvKBxJb0l5Bj4y7JLcKXeH9rE /w83ENHG3F/AcXQ3TsVGEl132rAadCWoBCk92h5tMe6pb7zWAPr5JOXDKYUONNp8jirirbFP uXWjzczelM6ntscgGTFzrQSxgtYkyFvczi1CbMd8yfLSqv4h6RGSRcQLShifpgtjep0zkxGP sjVjcnw37hzg6suCltLYlfmn9mgec0AJ2zufEOCHkuAM66KYCHa28yiK73pUqVe1a8H0n/48 SbeCULoOS6P0iXkRwz6e/8ZlzmVZVRfoN3vLk4rWDKlFJS+LUTmeN5v0W9qmftt3iyMbShEd mEiFiEF5ryIsXEF2LMmQzQHtjw9arDZ0yeBs7uFcNBP6aEtWmIs0LsEqHUil+kItmcdHKczw G2K6YcxxjPu2uiXlmg+CEYI9mkN3MTT+hw9caTBqMsaUC6drktUtDeeV0xS9YkiVo2K2egYy 8CRxvj6cG4QqouNr8VAX5OGeoXbYTIgKUS7QjeMVVlcFGf5Oz2H3B4NyKnKpC/S88FfyNCkm YJQGOVSDAVnT6pDWEo5RIdQK88vBmF21uPCxM8QuyjkpUGIFpwD58LJCqrJU/u3cG7L3/4ZP VNNyLf8Z+z/L6XD0ld5Ihl/lYXOQA/LWMxV5zZmdkkyqVlM9353Sisy3VjkY0Wj+i1bGfmxl x8wwgxwBIZlvC/r+EsyL0HWqTEYuWxpoe+12husKGasaqCtQYtRFiz48VArNY/2SBp0agv0m lF4MDDDRPRaiL4FFygjhALHuJRJEOJRVuUZOllJnajROaRuiA4C4iy8jVdK/+7EFYdvmEMxf JigomgBkwNvYdgpJLDBcapEyl8D48DG9iSs1+033EofPxNQqiXLIHdO5h1Ob+N4dE/KtqR25 AePmiVOYj0JXvsu+bdx818lfv+H12Tm2qJCLUa4M6qeKbmYsi7Oj53tIBt420UWmk1C5bUz3 90kdh/eT0AuyLqJDxMUc8PELwh9csFDsnHYOy2f+7aoo9o9L8CmG+bkQPXb/r4TmV6hFR01E p4kx+FZJqP8i2rldZ+6arkY1R8q+QLnYk2fC+hEcw6KlzFBpNyjyJhw3s9WITRXUgAfeW2no 73QoAEtmv+KWtw7N2wbUoUzPXUzQMSmmiRdsicIHHyt3+ke0gTH8y7kq3GaEmznd9Q6LqTxB 1skGJSs9D446aTzlVPH7sCUOTThLdo78t7XtbFG/9DWUbUMC+E66hqUmpEEFSDyFTeXTpjtY cC3MtdJD5S8C27mAAHlzWttF4Gpeo7qd/XAgBm0F9sO9tDDhnZ7c5f6T29WGg8s9bxZovskP ktbJcJ8OEGN1Ux2NrTjcl7AjpPyHCD1b2MRFqYXzP3kNeZel3N+N7bjmnV8Fslona7roStvD NkLlk+Mn//7PtsHCHGhFCAFIFed4nZo32l5aLRoy79mkkqR6AsSb2jQJrwxMDQW7ZZhXDbwa T13EjRqHVbE1Niau1f+0exKpHlWx44Mg78C7SG2v4eBMmilAPX58MyM4SR8NYN0rfUpad6xZ Zbc/NbXmjiVJHE/mhCOQWizHLxRi4oJSMq5aNBtwVkfaZcthNIZtAw2S9s0IKFJBO80vLe2Z DF4DCkUiygES4eH2z9EieC5ieKyfvK4bZ8zdhUP9p5T0IN1bg== IronPort-Data: A9a23:mFFYTavPKP5uMm9rwyCW+F5PuOfnVDlVMUV32f8akzHdYApBsoF/q tZmKWzTP/+DamP0edlyPtvg8htV7JbUzNA3GwNrr3oyFSkR9ZOVVN+UB3msAy7DdceroGBPv 5xPMIGYRCwXZiaB/Un1auCJQV1Uj/zgqm/UUbacUsxJbVY6Dn9n1VQ7wrBRbrdA2bCRGxmKt c75v/rRMVqk3y8cGm8P4spvkjs21BjJkG1e5AdWicxj5geEySFIVstHfMldElOhKmVqNr7iL wr85Orhlo/p109FIs+olL/9bnoLTtb6VSCSimBbUrSVmRNLoCo/yM4TbJLwvm8K49kht4kZJ ORl7fRcey9wVkH/sL11vy1jLs1LFfEuFInvcSHu65TLp6HxWyCEL/1GVCnaNGCDkwp9KTkmG fcwcVjhYv0f7g4fLX3SpuRE36wewMfX0Iw3h2ls1279SvQcSp3RaOKU/M5A3m0Wr5UbdRreT 5JxhTtHRTGYWycfYXwqUMpj2uC1mnP4bjtU7kqPorY66HTSywo316XxNN3SeZqBQsA9ckSw+ ziApjygRE9LcoXFl1Jp8Vr07gPLtTv7WYYTDKW/67hjhlua7nEYGVsfXh2wsJFVj2bnB40Gd hdLo3NGQa4aqEqwEdnzBUSEgj2loy4xQIdaGrZm91TYokbTy13CXDRbJtJbU/QtvcoyADgrz UOhhMLsHTUpsbuPSHvb+K38kN+pES0cLGtHeiIfUQYY+d77rYghiRSWF445SPfv0JvyBC36x C2MoG4mnbIPgMUX1qK9u1fanzaroZuPRQkwjunKYo67xj5haJT6Q8uq01PW/90Hcp+IVlvbm lFRzqBy89sy4YexeDulZsFlIV1Ez/OMMTmZnlN0A5Q87TO19nexeoYJuWkkfB4zbIADZCPjZ 1LVtUVJ/phPMXC2bKhxJYWsF8AtyqumHtPgPhw1UjasSschHONk1Hg0DaJ144wLuBVw+U3YE crAGftA9V5AVcxaIMOeHo/xK4PHORzSNUuIHsqnkHxLIJKbZXWPTqwCPkfGZecj9Mu5nekhy P4Gb5Hi40wHDoXWO3CLmaZNdwxiBSZgXvje9ZcIHtNv1yI8SQnN/deKmet5I+SIXs19yo/1w 51KchIGkQSu3SObd21nqBlLMdvSYHq2llpjVQREALpi8yRLjV+Htf9CK8kEbvM8+fZ9zPV5a fAAdo/SSr5MUznLsXBVJ5X0sIUoJlzhiBOsLhiVRmE1X6dhYAjVpf7iXA/krxcVAgSN6MARn ryH1yHge6QleThMNsjtRciU/wuDhkRFwONWdGnUE+ZXY3TpodRLKTSur/oZIPMsCBTkxxma3 QPLARw1j7D8+IwowebsmJHfrIaNOMl9F3p8AGP0w+uXNy7bx1X+3L57et+BUjTGXVPe56/5W ORb9O79O/s5h2R3s5JwPrJo7KAm7f7tlqBq9RtlF3D1cFibMLNsDX2Y181ptKcW5LtmlSape 0CIoP92BK6oPZ77LVsvOwYVVOSP+vUKkD307/5uAkHb5jdyzYWXQ3dpIBiApyxMHoRbaLp/7 78ah/cXzAijhj4BENWM1HlU/lvRCE0wafwss5VCDbL7jgYu9Ep5XqXdLS3L+7CKVcRHNxg7A z2ThZeavY9m+Gj5TyMRG0TOjM1nvrZfnDBRzVQHGUaFpcqduN8zwy9q0GoWSiZ780x59txda 0lRCl1NBKSR/j1XqtBJcEKyFipgWhCI2EzD5GEYtW/eTnCVDnPwAkxhHL6rwmU12jt4e2kC8 J661mraDDXOeuvg1HAIXX8+keTpF4Bs/Fb8wMqITtqMDsQ4a2C9g4uFR2kBmz34C+wf2WzFo uhL+r5rSKvZbCQ/nYwyO7O4558xFi+WAXNkeu5w2p8GBkfec2yC4iePIEWPZc99HfzG3kumA chIJMgUdRCB+AuRjzIcF4geCqRVmaM32d88Zb/bH24KnL+BpD5PspiL1Czfhncucup+g/QGN YLdWDKTIFO+3UIOtTf2k/BFHW6kbf0vRg72hrm1+dpUMaMzirhndEVq34aku3mQDhBcwCuVm wH+fI7T8f1pzNV9vonrE5gbPT6OF/HIaL2q/jyw4vN0VvGeFefVtggQlEvrABQOA5sVROZMt OqstPzZ4Rr7mYgYAk7ln6uPLa1r3fmJffF2N5v3JUZKnCHZV87L5QACyl+CKpdIsY184OOgT jSocMCQX8AZYIpdzngIaxF+LRQQMPn3X7a9py6Gju+tDyIF2lftN+KX9n7ObEBaeBQXOpb4N BTGhva26v1cr6VOHBUhBcB5M6RnIVTmZ7QqR+fxuRacEGOspFGI4ZnmqjYN9hDJDSOiPPvhw JeYWCX7Sgu+iJvIwP5drYZ2mB8dV1R5oOsoe3Mi68xEsC+7AEEGPNYiH80/UL8MqRPL1bb8e D3pR0khA3+kXT17LDPN0O66VQKbXuEzKtP1IwIyxHytagC0OZihBYVw/SIx8lZ0fTrelNucE +88wUGpHBaNwcBOf90xt8yL2bItgruQw38T4knynvDjGxtUU/1AyHVlGxELTiDdVd3EkELQP 2UuWGRYWweBRFXsFdp7MWtgcP3DUOgDEx1zBctO/Dreh2lf5MRlkMXFa7rY7+VbMYINOaIEQ m7xSy2V+WeK13cPuKwv/dU0natzDvHNFc+/REMmbRNHhLm+swzLIOtb9Rfjjul7kOKcL78Zv iSn8j43DwKOOSi9HZWInB4R9csZvm0kVln0Yc2WmdMCuQEy3p7QcF6h3WoX7H02R7fL5y1lf dvZUKpdT5B6etcpSfmSe8n3fmC6PPw= IronPort-HdrOrdr: A9a23:HDTyXa8ASWlA+5d1TGRuk+FOdr1zdoMgy1knxilNoENuA7alfp GV7Y8mPEHP+U4ssSkb6Ke90KnpewKsyXcH2/hmAV7CZnihhILMFuoSjrcKrAeQbhEWyNQtg5 uIH5IOd+EYAGIX/KLHCCfRKacM/DCsytGDuQ9HpE0dbD2DUslbnilE4uzyKDxbeOA+P+sXKH P+3Lsfm9PDQwViUi3hPAgtLsD+TrTw/fqJAH52fm9bmXWzZFWTmevH+nOjr2cjukZ0sMUfGB /+4n/ED8uYwo+G4y6Z/VX+q75Rn9zswMZCAsujtug5Qw+H+2SVTbUkcYev+BQurs+SyHtCqr S8xisIDoBe+nnRdma6rV/X3RX80DEh0nnmyVWJq3ruq870SVsBepJ8bIRiHWq/16If1usMhJ 6jPVjp0aZ/PFflpmDQ9tLIXxZlmg6funw5i9MeiHRZTM83dKJRhZZ3xjIOLL4wWAbBrKw3Gu hnC8/RoNxMd0mBUnzftm5zhPSxQ3UIGAucSERqgL3J79EWpgEk86Ir/r1Aop4yzuNtd3CC3Z WVDk1crsAQcibRV9MvOA5Oe7rkNoWHe2OEDIvbGyWuKEhAAQOXl3b9io9Fs92CSdgOyt87g5 7BUExV3FRCUH7GGImA2oZG/QvKR3j4VTPxyttG75w8obHkQqH3WBfzDWzGPPHQ7Mn3L/erGM pbAqgmQcPLPC/rA8JEzgf+U55dJT0XV9AUoM8yXxaLrtjQIoPnu+THeLKLTYCdVgoMSyf6GD 8OTTLzLMJP4gSiXWL5mgHYXzfodlbk9Zx9HaDG96wYyZQLNIdLrg8J4G7Jov2jOHlHqOg7bU F+KLTonueyonS353/B6yFzNh9UHi9ukfXduz8gn35FD2rkNbIY/9mPc2Fb23WKYhV2Ss/QHQ ZF40564qK6NdiRwjo+A9WsPiabghIo1Ti3plcn6+y+DOveC98F58wdKedM/C3wZlFIpTo= X-Talos-CUID: 9a23:jt0L92+9mnakrm3Y5byVv3MMFtp6Vjrf9nzdMWT/V394UL/Pb3bFrQ== X-Talos-MUID: 9a23:8m0O+gU5K25TePvq/GPqn25iOp0x34btKV09vI5bscDfaTMlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,246,1770591600"; d="scan'208,217";a="147153711" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDHc1qiQF5ZlbRH0ci7XsacTRazSm9m/rHSbrE?= =?us-ascii?q?ffY5LBjQe4aKomLmnNJHdXtxBqHrAitQwCjMAuYz951u09P5wM04j2LM?= =?us-ascii?q?QyWRSJ1sHGJtIQoy3j4nURVWJ7dqNcAJGABsgjuTy6Cz7N8r8YxqgXzb?= =?us-ascii?q?pG3JtpWliyrSc51ygowEjJiw=3D=3D?= Received: from mail-westeuropeazon11020126.outbound.protection.outlook.com (HELO AM0PR83CU005.outbound.protection.outlook.com) ([52.101.69.126]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 21 May 2026 11:45:46 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=Li1Y7AiORriCbS8zWrhe9/DXemhEO27s8c313BFOzw8ogoN/AsCM/mtoAYOFBNujR/NZsMqFZfeFbWzSJyCJXjIk4zm6Eu9bqGM7YyqbhYHkXAv9cSHeOgqd2UD9OYKKGlc/q4tpq+zr+pqmpstbnirhBbvPHG6UIux4rNQKcJwIk+eyhz9US7+CtUAlx9FCpyhPu/bbRrW7nix5cd8jUvjq3TUub7sHnXc/TTeCxgCBSwPtbK1B7EhyY3gIy2s2X804IREWwH0T8DEzgjunMUUjoQgrzNBkT5a0QALqe98E99kkZ/rvg1JI4LsK2o2EbmqzSyDPapWM4LzzYfgBGA== 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=Go2B86TPubtV809xjOqbPvuebbbnHMsGdGp1n88au60=; b=D8ZMkok/zCzHWcsRvO1NaTUAe/xrNYPfINPKTXIP/qeROi9mJqPs8a+WFe8WwxVkrmnqB7bhYN8B/CTQqrPZHtebLZYYLKsMIVMjSy8Thn+PVL/v4XXwsIujIPQPsKF5nxQ/gvyc5ifNGl56jSzi1nkAITvI6wqheqDbwZSnV4zRsNy0RiAw8swTJ5Z9I66CMxdLV5eNexb25k1HoFufCH7/wGEKAA6ez0x4VjPOTz2QRLkxMsrQFwangN29cXSrVH4uWNLg/B1YBeqKo43T5eTWZBBEMmDonMPQb8KSxwweTwCZCfdpgJZLzYh9sgNimG9wWQnlQ8psL4Cjja/OQA== 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 DU2P195MB2467.EURP195.PROD.OUTLOOK.COM (2603:10a6:10:49f::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.21.48.17; Thu, 21 May 2026 09:45:41 +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.21.0048.016; Thu, 21 May 2026 09:45:41 +0000 Content-Type: multipart/alternative; boundary="------------8Kb8jEvOnxe47hEgF8DLBkKf" Message-ID: <912178f1-6096-4cc8-a843-0f52d809a876@ucy.ac.cy> Date: Thu, 21 May 2026 12:45:40 +0300 User-Agent: Mozilla Thunderbird Content-Language: en-GB References: <02f841a2-1cc9-4357-bc7e-da4708a80954@ucy.ac.cy> To: caml-list@inria.fr From: Anna Philippou In-Reply-To: <02f841a2-1cc9-4357-bc7e-da4708a80954@ucy.ac.cy> X-Forwarded-Message-Id: <02f841a2-1cc9-4357-bc7e-da4708a80954@ucy.ac.cy> X-ClientProxiedBy: MR1P264CA0142.FRAP264.PROD.OUTLOOK.COM (2603:10a6:501:51::11) To AS4P195MB1839.EURP195.PROD.OUTLOOK.COM (2603:10a6:20b:51e::8) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: AS4P195MB1839:EE_|DU2P195MB2467:EE_ X-MS-Office365-Filtering-Correlation-Id: e2570e19-b7ce-491c-a147-08deb71db8df X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|376014|1800799024|786006|366016|6133799003|5023799004|11063799006|18002099003|22082099003|56012099003|8096899003|13003099007; X-Microsoft-Antispam-Message-Info: F5fAFgy2lodzruBG0sTzOp0Q8/3mUIaeFTrJ1ViuXEm4kErzrEz0afm4Cq0LXR3XluFFSzZ5hV/3mjwHFF7pboP7vH6zcYkgUxXSqlf+zUGp8rurKB5/SK9+iXfZRj2IpHv/lYam3giH1jObjLmXwEFfSk/KI5mlmHfgVlqTdpWuszBCfkWb0zfYxrM/6HSKq/UiGJ7iLVbWZllD2Tk/1Lkj2favTxl/jJH15pC2N49IewH6CoQo0xj+sh/IVhBaD4Ch3FaGZ+KapYRxPuYRwhydmHmO/FcnasBas6NtuWvZcEWzjF67frrO+tgyHKLNRlIuoQKqThNs6PQFRHtYGFdMuFYi+jV2hY9eZ7qBZMIZtuf3oVkux1lUXIRvACsBd+dWqic6v7RR8I92B0/x5i0NQTsLzh1Y4Ou87opFdwFZUQOIXY7mOmRMBwo9YJnPzo2nPQT04D/Ubn/wqQ2hYKXWx1YGziRrtY5bQmThP2FHDMFIZBb4ejx3wIphX8GnVBJiVVbRSMKcGwY9y79UtpbtdlhYKpUgnx2rBN8GClSEvtKjHLb5f8h4j/AOboTCC3MuCaTdobRB2jGwlU15UYmzfRMEQ33y9v/lzMG4UN0uubtqPNumi6u0Mft29GQKS5RC/E/QLCDvI55+rc2IrQ== 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)(376014)(1800799024)(786006)(366016)(6133799003)(5023799004)(11063799006)(18002099003)(22082099003)(56012099003)(8096899003)(13003099007);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?eGV2WDNRYWlBdWl1emVEMG9HZnh2VkplSzVCdVZ1dElEWWwrczhzNi9JY1FI?= =?utf-8?B?QTlQZmZZZ09Nek1EeUc5a1R5ZjVmOWFpMEIxWkdJRHRIVm9WYkF3NkJsa2lD?= =?utf-8?B?NFdJbXJLdU5oYzZyaE9TL254YUFZVUR2OVh3K0NFY0tpVWZOWnAwQ0NhTmlw?= =?utf-8?B?ZXRmN2pQR0FwQ0J1SHpSS3ZLWSt4QWQyNStOQTRRZXcxZ1FvK21YdExkV2pK?= =?utf-8?B?V0VLU1dJRXhpd2J6bXo3dWlnYzg1dmNNUmd2QnJ2ajRha2U4WkRoUzUwUFNq?= =?utf-8?B?aUhDTkdIREhtVXZleEdvUUY2dzQvYVExeENTMWpyWkpPaThHalREbVMxL1No?= =?utf-8?B?SzRYYUE1QWJyVVdzei9Tay8wSTF4clBxWUVmeFZVelFtVlY5MkIwSE1qYjBN?= =?utf-8?B?NmY5MVA1RGltdG5YeTBGeWwraXVuMkppUUZUMXBZL1V1UjdvZlVETnJXR3Ru?= =?utf-8?B?RDM1dTlTMFlzd2oyYXhYaWNHYm45MEZiRDZoY0ZwbWtiRnY5allyOEU1dEtT?= =?utf-8?B?anN6RVFXTmErOUdyQkNrQW5zVGs1NzBZSENmbkF2alRUc0hUNTBKTFRITlhP?= =?utf-8?B?WStvL09sQVlZdi9zMEthQmlDcVRpbUVjUVFIeDYvU0d5TFRKZVo5V1kwWFBX?= =?utf-8?B?eHNVazlPTGd4VmNGN3ptR0M2R1B4OUhxYU8yazZVU3kyb0VlOGFHS013VkVI?= =?utf-8?B?SXppVkhhSEYvS0pQSll2eis0emZRRnpOZEpIaEIvb1VYUXhhNVZyYnExK2pG?= =?utf-8?B?clpVQWx5SVZESG1EQlJCOGt4K01oTG81VDM1NVBoakdIQ2ZVN3Y0TjJDSmxR?= =?utf-8?B?bUhSNnd6ZWR2YWp5TlpDZDFSSXZmTDh1ZVVkWnNVT2lvdy9OK1lMeVJOVG1y?= =?utf-8?B?Tm5iVzl5cFBsekF6cDUxbHJ5bGVOTml3WkcyUTlJSG9TYWlkaitabktDMzRr?= =?utf-8?B?eUN6RUZTaHhsRmZPcmhEbUFVeUZWUm9xc29DbG9oc1ROV1hiWk1TeVNTazd1?= =?utf-8?B?QTlROTU3Nmo1bWI4RVVVUmlaTnFtc2g2dWo1RmhBK1dVaHU3LzIwZzZjRFBZ?= =?utf-8?B?TzBTcUtScWoycHk1VzNUWGk5aGl3OXo1UE1lU3JBK0VKMmpvRTdqcnF1aEtQ?= =?utf-8?B?NUFzWlY2SnFFbXpOSVZ1aU12Ulg1VWR2a2RaMnpmcFc0ejVFZzJMWGdDZEEx?= =?utf-8?B?YUJtVWRYUEFQNEZhVFJvemJEcXpQeGlDWXlqSDA1Zkc3Y3ZkekN0VTRpQ000?= =?utf-8?B?Vy9YbldGUnZ5ZVdaMkdwRGFLQXZKSzB6Rm1FSHRNRUlldGgrQWpaa2xXVUxo?= =?utf-8?B?V3F2VEozUHVjUllDSUVHMytoejU5a0JqOVBuUlJpSWNSVWNZdjd6aWREbW9y?= =?utf-8?B?Zm9BQ3I5OURCeVVpMkNnSUp1MDVnRkRjZHQ0VW1ZY2tacUpOWm9QbkNVSkFw?= =?utf-8?B?bGFMcjNRaDZwV3lPTTV3M24vaFhkUFVocmVqR2hudVVkb0V5Wk83VXRZREp2?= =?utf-8?B?MUJVNG16NVpRNVBSZ2o4cjNvYjEwZlFZdkc1dXdCMnMxczV6OTdKdjZyUFE0?= =?utf-8?B?WDJyRGxPQVU4cXBYRTg4TEJJOFNqUWpvbG55ZStTRE94NXdWMVQ5Zy9zQ1Rz?= =?utf-8?B?K0x4cWRCTXlxZmNuNDREeDk2S05ZWXhsZXlZeDBObENqajBseVN2NkVDK2hn?= =?utf-8?B?b1dwTUUrZmVKbC90eU5uY28vQnhPc2dNTEU0MXdLTzM4Z3dGZ0ZtQXY3WUw2?= =?utf-8?B?SmxKNkx0Uy9wQXN6bXdyOFBsTnEyWGNDanFYUlEvTUtiS1FJQW5VQmE5aUVS?= =?utf-8?B?QzdPUkUwT3pVeWNodU1WYzNla0h2QlU0RjBtb21PYUMxZ1VyN3ZwK1I3Y2VS?= =?utf-8?B?UWluRlhYdGNPNHpMQWRxRkFJVkVWdnp1RUsrVFlaRktxbVp1WTQ4ZHVpMVZo?= =?utf-8?B?VjM1SXlabjRIL1ZtZFkybXpYWFd0bWVHUXZ0MHhnOTNoQzg0dzlOWXpieE42?= =?utf-8?B?bnY4RXVDdURDblR3Q3lFTFFsTmRnNHpVUjQ1d2dpeG1PcVhaYlNCNm5TaFBC?= =?utf-8?B?LzQ4QlJKSW51QmQ3T3FEL0RsekNDbSt1SkJXMWZFN1VyNG1DbVo2NGVxc1RV?= =?utf-8?B?bEE4a1hJWUYzNlJyVUpURHMvYmFlNC9VendYS0dHeDRGWVE4UkZONjFTZG8z?= =?utf-8?B?cnkwMCtpK0xRNmVGZXFQWEJQRmZITGVGbVE1b1JpOTZjSG9PUk1iNW81OEVS?= =?utf-8?B?VEoxcm5qZllMVGg2VmJGVHpjSkxPUU8zbnUrbVVMSEVlT1ViRks0eUtlUFg5?= =?utf-8?Q?BC6cDIisKAsztLChGu?= X-OriginatorOrg: ucy.ac.cy X-MS-Exchange-CrossTenant-Network-Message-Id: e2570e19-b7ce-491c-a147-08deb71db8df X-MS-Exchange-CrossTenant-AuthSource: AS4P195MB1839.EURP195.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 May 2026 09:45:41.8156 (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: qe+EjbVV+L+K2ySL2ciDabDF1FUZxNhFEe7To1ieamOLN9jd8nonILbwEUiaqK8x X-MS-Exchange-Transport-CrossTenantHeadersStamped: DU2P195MB2467 Subject: [Caml-list] Express/SOS 2026 - Second Call for Papers Reply-To: Anna Philippou X-Loop: caml-list@inria.fr X-Sequence: 19511 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: --------------8Kb8jEvOnxe47hEgF8DLBkKf Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit [Apologies for multiple postings] ======================= SECOND 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 --------------8Kb8jEvOnxe47hEgF8DLBkKf Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

[Apologies for multiple postings]

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

SECOND 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

--------------8Kb8jEvOnxe47hEgF8DLBkKf--