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=M5rpyz6m; 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=WUN36Xhz; 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 7BB544979D for ; Wed, 29 Jan 2025 11:15:35 +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=DhmJNygKk3MJjr3xfoRSrQvAxLx+OYOfahixpI0rO9M=; b=M5rpyz6mixMHju7m4+uB9G9JTuTAJRqkOWp2u0xNDQ+bxLVYyThRDoVf QTPz/VuPF3l/fkD+2ddO5cww6P1YwG3HUx7DXG72Es2KGL9pbTq54aPNT UgJB0+cSVi2RzMwZ2zXNnvuDE9m1ix36Gk2dcQ2AAxfHD5biZvC8ZkOyG o=; 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.13,243,1732575600"; d="scan'208";a="205564297" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Jan 2025 12:15:35 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id BFD49E0261; Wed, 29 Jan 2025 12:15:34 +0100 (CET) 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 B45C1E0261 for ; Wed, 29 Jan 2025 12:15:28 +0100 (CET) IronPort-SDR: 679a0dcd_6/FFfAAq9JskuSBVfSz9QSpTCs6AqWi7Perq97ZOyefsVfo /BLc/H1TvOL9roRKs38yjN2MjGLWo0aT/yZAzzQ== X-IPAS-Result: =?us-ascii?q?A0H7AwBRDZpndLLbVdFagQmBU4JEfVk0BAtIhFaDT4wAn?= =?us-ascii?q?DWCMIFWgUA+DwEDAQ05CwQBAQMBA4UAincCHgcBBDIHDgECBAEBAQEDAgMBA?= =?us-ascii?q?QEBAQEQAQEFAQEBAgEBAgQGAQIQASMgDhIphXsNgls7cWECBQM6AQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCDR8/OAYFBh0BGwwSA?= =?us-ascii?q?xIQDwImAiMBEQEFASM0gmABgi8BAzEDEad2gQVCiz6BFQUCFoEBgg0GgQnZU?= =?us-ascii?q?woZKA1sA4FhAgEGFIEGLoR0KU4OgjgdAYFsg34BO4NCeieCKIEVNYIFgjOBX?= =?us-ascii?q?AQYgVs4gw6CaQSCL4FEg2+hFCYIAQYXAwcHCQUEHAYFBQJCCQYFChIDBAMEB?= =?us-ascii?q?AECCxMJAwMCDgIIAwIIBhkBPxIEEwoNCwcFHwoIDBEKKAMiEgIpDwECASkuB?= =?us-ascii?q?QMUBBkBCAYCAgQEAgQMAgkCAggHAhQDAgQEAgEFEgMLAQUGBQEBBAwOAgIGA?= =?us-ascii?q?gIBCAICAQECFAEEAwgCAQQDBQMKAQEBAgEEFAYDBQMDBwMEAgMCBgIECgICA?= =?us-ascii?q?wMCAwEDAwIBAgMJEA8WAgIDBAIGAgIBBCYCARUFAgMEAgIHAgIDAQIBAgICB?= =?us-ascii?q?AIEAgIGAwkIAQICBwECAgIDFQIFAQQJAwMFEgwgAwICAgIDBwoDBQIBAQIEA?= =?us-ascii?q?wMDAwwNBwIDAQIBAwUDAQIBAgkDBgICAwMEEhkFAwIPAwIBBQQCCBALBwEBD?= =?us-ascii?q?xQFBAkFFQMGAgMDFgsEBQMDAwEMDw4CAgsDBBMFAQEHAQMNCAMEBAIDAwkCA?= =?us-ascii?q?RABAwQCCQIEAQIKAgICAgIEAQEFBAIEAwIFAgIBCAQDAwMNBAMICAMFAwwSA?= =?us-ascii?q?gICCQIDAQIDAwMEDQgdBQkRCwIJAwQNAgQCAgEGAwYKBhUBAhgCAgYMBAMDC?= =?us-ascii?q?AMCAwICAQICAgERAgIJCA0FCQUGAhcDAgMIAQkDDwMCFAEGAggDBwEBBAICC?= =?us-ascii?q?hEKAQECAgEGJgMBAQIUEwcDCAICAgIGFgwBBQcDBw8FBQQCAhYDAxIEBBACA?= =?us-ascii?q?gMDAgEBFAYVAQUCAwYLAQYBAgUEAgMEAhICAw4VAwMEBgMBAgoQAgQCCQoBB?= =?us-ascii?q?QQDBwUCHwMDAgIFCwIIAgIFAgUHAwkOAQIFAwQJAhQCEAICAgIIFgICAgUGG?= =?us-ascii?q?AECJgIEAQIBAgECAQIBCgECAg4JAwQ6BhEEAgMDAg4BAgILAQICBAIDAQQHC?= =?us-ascii?q?QMDCQoHAQoNBwICCggJEAECAg8HAwICAgIGBw4DAhMPBQYGAgoHDQsCAQICE?= =?us-ascii?q?wIDCQYDBQ0DBwQKDQIVAhYFAyACCAkLAgcRAgUSAwcHBQMCAhEEAgMGBQMBB?= =?us-ascii?q?wEQBwMHCAICDAICAgIFAgUCBRcRAQ0EAwMDAggBBBUGAwkIKhsSAQEBBQEJA?= =?us-ascii?q?gMCAwQIAwMDAgMEDAsCAQcIAwMGCwgJBgMCBwgZAwUEAwcFCyECBgMCBAUEA?= =?us-ascii?q?QUCFQ0CAxkCBgMGFAkMAgYNAQcJAwcBAQECAgIIAQUFEgIDBAIFBAQBARIGA?= =?us-ascii?q?gEDAgIDBAoDAgoCCAoBCRMEAwgDAwMDAwUBAgIIBBMFBQIBBQwTDAEKBgMGA?= =?us-ascii?q?wQCAgIKAQcCAwMDAgcBCyMCAQMCAgUCAgEFAwICCAQDAgEBCQIDAggBAgIBA?= =?us-ascii?q?QICAgQBBwELBgEBAgQCAjQCAQMJAgUBAQEOAgYCAgECAgIEAgQBCAsEBQ0BA?= =?us-ascii?q?QIBAgIBAQEEAQgDAQEBAgIDAwUDBQgPDQEBFwsdBQQFAgIBAQEBAQITAgIBA?= =?us-ascii?q?QELAQIBAQMkHQIJAyMPAwsJCBM9AQsHMgQGMAEGDhQHKyFfnH89hFBtE2giT?= =?us-ascii?q?pNRs0sHhB6MGJIkgyQzixafPZh8IoIQh1WDfZVXE4NLgWMRIxKBOQQvgVxNI?= =?us-ascii?q?4EBgjZPAxkPV41hg2OFE8UFRTI8AgcBCgEBAwmQF4FLAQE?= IronPort-PHdr: A9a23:+Op2MxcbmWyYFB80EoHdyEwolGM+rtfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASTG92DoKgU1qKW6/mmBTdZp87Z8TgrS99laVwssYYso0QYGsmLCEn2frbBThcRO 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYn4duMLo9xgfGrndWeOlbxX5jKVaPkxrh/Mu985Bu/zlKt/4968JMVLjxcrglQ 7BfEDkpPGc56dHxuxXEUQWB+GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjus8 6lkSBnziCcaLDE5633YitZxjK1Avh2soQF0zpPOb4GUMPp+eb7dfc8fSGFcUMtdSzBND4WhZ IYJEuEPP/tXr5PlqlQBrRWwCwqiCv7xxDBUiXH7xrE60/07HA3awAAsA9ADvXLJp9v1LqcSV uW1wbHWwDXCafNX2Db955LVeR4voPGHQLN+ccvMyUk0CwPFiUibpIv5MDOU0OQMsmmb4PB6W e2yim4npABxoiW0xscwjYnEnY0VylXe+iV4xIY5P8G3SEl+YdO9FpZbqi6VOZdsTMw4X2Fop Dg1yqcAuZOjYSUHyokqywLDZvGacoWF/g/vWuaQLDtmmH5oeqyyihmy/0WuxeDyVsm53VRXo iRFktfBq3AA2gLO5sWJVvZw4EGs0iuB2QDU7+FLO0E0lazDJpE8w74wjYYcsUPfHiDohEr6l qiWdl8r+uSw9evoeK7mp5+AOI90kA7+M74ulta4AeQiPQgDWXWQ9+ek1LD740H1XLFHguc1n 6TZqpzWO9kXq6qjDwNI0Isu6BCyBCq43dQcgHkHN05Fdwydj4b0OlHPIe73AO+jj1mqjTxl3 erJPqf7DZXINnXDkKnufbJ660NEzQo819Ff55ZNBrABO/3/R1b9tNLFAhI7MAG42ennCNJ61 oMRXWKAHLWVP7/VsV+N/u4vIu+Ma5EJuDvlNfQp+/rjgWU6lFIdZ6Wlw4YbZXSiEvh7IUiUY mLggtIbHmcLugo+QvbqiFqHUTNLe3myXqQ85zA6CI28F4vMW4GtgLOA3CemBZ1WemdGB0uDE XftbYqEWvMMZDiOLc9mlzwITb6hRJQ52hG0qAD606ZnLvbT+iAAqJ7vzMJ16PHLlREu6Tx0C NyQ3H2XQGFxmmMEXjs23KFkoUxh0VqDyqh5g/lAFdNJ/f9JUwE6NYTdz+NgEdzyVBjBLZ+1T wOtS9CiRDUwVc4ZwtkUYk87Fc/mxhHImSejH7QO0bCKLJg16b7T1mT8OM9sjWvA1bEgyVg6B oNKNGa8gbVy7RbSDIPS1k6ekqO3c6UAzQbC82CMyWeBpkZFSBU2WqLADl4FYU6DhtX/9ELLB 5OvQZsmLxBdzobWIapMeNzgy1lHS/b+I8jZS220kma0Qx2Pw+XfP8LRZ2wB0XCFWwA/mAcJ8 CPeXeBfLiKoomaESSdrCUqqeUTnt+93tHK8SEYwiQCMdUxokbSvqVYOnfLJbfQV0/ofvTs57 S1uFQO23tTECtPGqwtufbhHfdQV71JO1GafvAt4bdS7N643vlcFaExsul/2kRB+C4FOi88v+ XgryhhzIOSU0VxAaiiE2rj/P7TWLi/5+xX8I7XO1AT419CbsrwK9Ox+q1jnu1SxEVE+9nx8z 9RP+36V55GPHQBLFJyoDRZx+B99qLXXJCI64us4zFVKNq+5+n/H0tMtXq4+zwq4Os1YO+WCH RPzFMsTA46vLvYrkh6ndEBMOuca76MyM868EpnOkKe2IOZtmi6nhmVb8ch81EyL7S91Vu/P2 d4M3fiZ2gKNUzq0gk2mt4j7noVNZDdaGWTaq2CsD49XdKx7O4oKBmazONGw7tp7jp/pHXVf8 R/rBl8L3tOoZQvHd0b0jmgynQwcpX2qnzf9ziQhyWl46PrCmnaXkqK7K0pUXwwDDHNvhlrtP 4Wu2tUTXUzyKhMsiAPg/0Hxga5SuKV4KWDXB0ZOZSn/aW94Ac7S/vKPZdBC7JQwvGBZSuO5N BqRS7jvohJc3yLsHnZF2DcTeDSju5G/lBt/wjH4Tj47vD/CdMd8yA2KrtfdQ+xQ13wKRSZ5l CLLAXCzOtCo+ZOfkJKJ4YXcHyqxE5ZUdyfs14aJsiC2sHZrDROIlPe2gtT7EAI+3EcXzvFSX D7T5Fb5a4jvjeGhNP5/O1NvDxn64tZ7HYd3ls0xgosR0D4UnMfd8X0CmGb1edJVvMC2JHEMQ ywKypjZ4QfkxVZ/KVqGwov4UjOWxc4pa9ShY2wQ0z4w9IgQUPbSvOECx3Ik5APn/UrYep0f1 n8FxOEr6WIGju1BowcrwiiHQ/gTEUReIS3whkGN5tG6or9QYTXKE/D4305/kNa9SbCa91sEC TCpJ9F4RH42t5ovYzeumDXp54rpecfdd4cWvxyQyVLbivRNbYg2nbwMjDZmPmT0uTskzfQ6h Fpgx8Lf3sDPJmNz8aa+GhMdOCfyYpZZ8TDrn6dX2MqX0IGyBYlmMjoOVZrsC/mvFXhB0Javf xbLCzA6pnqBTPDUHAmN6U4go3PAEo2wK3a/K3wQzNEkTx6Ybh864khcTHAxmZg3ERqvzcrqf RJi5zwf0VX/rwNF1uNiMxSsGneavgqjbS04DYSONBcDpB8X/F/baIbNi4A7VzEd5JCqqxaBb 3CWdxgdR39cQVSKXhjiJuX8voSGqrnAQLDicL2WJu/S4e1GC6XWmdT1idAgpmjUcJ3IZygHb bVz21IfDy4nXZ2BwXNXDXRQzXqFbtbH9knivHcr/4bvqLKzH1i3rYqXV+kNa5M2p1bv0P3Fb 6nJ1EMbYX5Zzs9emiOOkeJCmgZU02Y3KXGsCehS7HadCvuPxekHSUZcMXo7NdMUvftjhU8Ua JKd0pWtkecm65x9Q1ZdCQ67wpDvNZFMejvtcguAXRnDNazad2eSnYeqMeXlGOcW1KIN5lWxo WrJSRa9eG7Yxn+yDVb3drgd6UPTdApXvIX3Gvp0IU7kSt+uKhiyMdstyCYz3aVxnHTBc2gVL Tl7dUpJ6LyW9yJRxPtlSSRH6TJ+IO+Iljz8jaGQI4sKsfZtHiV/lv5LqHU8xbxP6ShYRftz0 CLMp99qqluin6GB0D1iGBZJrz9KgsqMsyAAce3B8YJcXH/f4B8XxWCZChBPttE8T9O25PAWx d/Im6b+bjxF9pOc/McRAdTVNNPSMHclNkmMenacBw8EQDi3cGDH0hYFwbfCqzvP98l888e8y /9sAvdBWVc4F+0XEBFgFd0GetJsWy881KSch4gO7Ga/qx/YQINbuIrGX7ScG6aKSn7RgL9aa h8P2b69I54UM9ix0E1keFhz2ojLFEvNRsxKiiJkZw4w5k5K9TItKw97k1KgcQ6r7HIJQLSsm QUqjwJlfek33DLl4lNyN1CT4SVpzxl3ltLijjScNjX2Ke3jOOMeQzqxvE83PJThRg9zZgDnh k1oOgDPQLdJhqdhf2Rm4OczkZRKEP9YC6ZDZU1JrRl2T/Ah0FAZuy/+gEEeuruDBpxlmw8nN 5WrqiAYs+qGRNEwLK3UYqFOywoI7p8= IronPort-Data: A9a23:mTVGxa+EXdLAdxf/UTP2DrUDNHqTJUtcMsCJ2f8bNWPcYEJGY0x3y GsbCjyEMvmPY2KmfY1wbYjg9RxQ7JXRzoc1SQU5rSlEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcvWo4ow/jb8k435a6j4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEmcRPHWQcMI4h08UpOmVh/ vA6bypQYUXW7w626OrTpuhEg80iKIz6NtpatCg/nXfWCvEpRZ2FSKLPjTNa9G1o14YeQLCEP ptfMGU/BPjDS0Un1lM/A5M4juahwHX+fDxFs06SjaUy6mnXigd21dABNfKPIoHXG5kPwx7wS mTur3nnLDtCLNKm6Su4yniti9//mnnRV9dHfFG/3qU32QXMlzJ75ActfVCypP38jk+lR/pEO kkM82wvq7Iz/QqlVLHAswaQpXeFulsNUYMVHbRluEeCza3b5wvfDW8BJtJcVDA4nJUHZC0P/ FKKpvrKWwdrn7aZazWHq7jB+FteJhMpBWMFYCYFSy4M7N/ivJw/g3rzojBLQP7dYjrdSWGY/ tyakBXSkYn/miLi6klW1VXOgjbpt5KQCwBsuVWRUWWi4Qd0IoWiYuRECGQ3D94Rd+51rXHY4 xDofvRyCshQU/lhcwTTHY0w8EmBvartDdElqQcH82Md3zqs4WW/Wotb/StzIkxkWu5dJmS5O B+C4VIAucMCVJdPUUORS9LgYyjN5fiwfekJqtiONrKin7AoJF/ZrX4wPSZ8IUiwyRV9yMnTx qt3ge73UC9CVvU5pNZHb+ga1rAvy2g/w2iVLa0XPDz2uYdykEW9EO9fWHPXNrBRxPrd/G39r YwDX+PUkE43eLOlMkHqHXs7dA5iwY4TXM+u85Q/my/qClYOJVzN/NeNmO97JdA/wPkK/goKl 1nkMnJlJJPErSWvAW23hrpLMeOHsU9X9CpgYX4fLhyz1mI9YI2iyq4aetFlNfMk7eFvh7o8B fUMZ8zKULwFRyXl6gYtS8D3jLVjUxC32iOIHS6uOwYkc7BaGgfmx97DfynUzhcoMBaZj8UFj oOF6hL6WrsGHgRrM9bXYqmgznS3pnksp9hxVErpfPhWIUXlz5d2JhPQntsIEtEqOxre9GHLy TTMERM8oM/TqbQU6/jMv7iP9K2yItt9H21bPmjV1qm3Pi/k5ViewZdMfeKLXDLFXkbm0f+GS dQO6srjIds7nFpumKhtIYZBlK4RyYPmmO5H815CAn7OUWWONpphBXu3he90qaxHw+5iizucA 06g1IFTBuSUBZnDDlUUGQsCa9aD39Eynh35z6w8AGf+1R9N0Iu3a2dgFDjSt3UFN5pwCp0v/ sk5ss1P6wCftAsjAuzbsg9qrVazPl4yeIR5kKoFAb3bqBshkXBDRp3+NhXYwr+yb/d0D017B QPM2YTjgexHy1vgYkgDMyHH/dBgiKQkvDFIy14/JGq1pOfVu89v4jpv9WUYcwcE6DRGzON5B UZzPWJXO6il3mlllepDbU+WCiBDAxyroBXxwmQWiVyDHlWJV3PMHkI5K+2i7EAUyEMCXzl5r ZWz6nfpbibuR+71hhANYE9Cr+fya+B+7SjQsZmDM/ndOqIlcB3Jp7SLZ1sYjzfGWuQP3Fbmo 8tu98ZOMZzLDzYa+fAHOtPLxIYuRwChD00cZONq44ciP3zWIRO20hiwc3GBQNtHfaH2wBXpG v5VB5x9Ujql33yztREdP6kHJoF0kNMP5NYvfrDKJ3YMg4CArwhG4Y7hySzjuFAFG9les94xC of0RQKwFma9gXh1mWiUiOJmPmG+Q8cPZSyi/eST3dgKKak+s7BXQRlv6oe3gnSbCxs43hS2u AiYWbTa4dY/wqtRnqztMJ55OSOKFf3JWt+lyjuD6+Z1UYuXMOPllR8klV38DgEHYZoTQ4tWk JqOgv7W3WTEnrA8bE7BkbLcFaMTvcSWd8hUO/LRM3N1s3ajWsjtwh1b4EG+C8VDv+187/mdZ TmTSZWPZ/9MfPxC1lh5VjN4Ly8NL4jWMoLxujKbrdmXLxoWjDz8M9Ks8EH2YVFhdiMnP4P0D in2sa2M4u90gZttBhgWIeNPGL59fUHeXJU5e+3LtTW3CneihnWAsODAkTsi8TT6NWmWIv3l4 J7qRgnMSzrqgfvmlOpmio1VugEbKF1fguNqJ0IUxINQugCAVWUDKbwQDIUCBpRqiRfN7ZDfZ gzWTW4cGC74DCVlcxL93YzZZT2hJNcyY/X3Gj942HmvSXaGNNvVSv8pvCJt+Gx/dTbf3fmqY 4NWsGH5Oh+qhIplX6AP7/i8mv1q3e7e2mlOw03mjsjuGFwLNN3mDpC68NZlDkQr0v0hlXkn4 UAwTGFABVCxEAv/SJkwPXFSHx4dsXXkyDBAgeJjBjrAk93z8QGC4KSX1yLPPnkrY8EDJbpIT nTyL4dIy37DwWQd4MPFpPpw6ZKZypu38gySI6rqRAlUlKa1goji0wXuggJXJPwfFMVj/58xW 9ViD7XSxKhIFayJ5ICr9A== IronPort-HdrOrdr: A9a23:lZE4h68S3Tleg3VFRaVuk+D7I+orL9Y04lQ7vn2ZLiYlCvBw9v re5cjzsCWftN9/YgBDpTntAtjifZq+z/5ICOsqTNOftWDd0QPCEGgI1/qE/9SPIVyZysdtkY llN4dzAMDtFlRh5PyKhTWQIpIPxJ2o/smT6ts2DE0AceipUcxdBstCZDpz23cWeDV7 X-Talos-CUID: 9a23:uXK1cWM1mhppzO5DAhhG5Ws+F8McW16D93P/KEOaTnw0R+jA X-Talos-MUID: 9a23:finRUQpgMyoQuonhDA4ez2F/KulCu7ygMWAcrK0MusS0BSsqETjI2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.13,243,1732575600"; d="scan'208";a="205564250" X-MGA-submission: =?us-ascii?q?MDGOdwp6yDBAdHW6RPpU5doOjbOM4r205Wtnpp?= =?us-ascii?q?4d6TzT4kW+cHgZIUnhP/5gMtf8cVTt39fh4qzI8lFABnjxnwyCN1vRU8?= =?us-ascii?q?kW5r8ucyCBlhnSyo/y7vASdHJxwtXnbd3HJaSgN9Mh1hYDJMbYruKchX?= =?us-ascii?q?wjKI83NeaNtexDLSdg0kTFjw=3D=3D?= Received: from mail-yb1-f178.google.com ([209.85.219.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Jan 2025 12:15:25 +0100 Received: by mail-yb1-f178.google.com with SMTP id 3f1490d57ef6-e58a90c6059so643103276.1 for ; Wed, 29 Jan 2025 03:15:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1738149324; x=1738754124; 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=DhmJNygKk3MJjr3xfoRSrQvAxLx+OYOfahixpI0rO9M=; b=WUN36XhzR/mF7JeK0B8Q0lrAcwt487gbSd9df6vOglPOIZCj7uPlyEErXM4LYspQJd F41bBWsTUuT/IkjrkfqXpA1VNgNu0ii80Qi7jMpZjIsE9hck4KVaR6UpXQLnS2FPo1x1 DsuDfcAX2mmn3JmpVLVnqvdW7Q0kBGYaRkrtB/9SQkAAVChp+S4exPcXm/0g1D9KmLPA gk7XY2/sOURcrCXiRD5+SDNEocm00jBT1+kNR563mdy3Hfq7yo7BaXMVR9X06tBVo3Vt f3ZBjPJSxlur8VOagb7zckX0IYZ1HQLUp4mvjTAxTo3n4ApzJkzjYaG1zrSElvUj3VIe YMsw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1738149324; x=1738754124; 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=DhmJNygKk3MJjr3xfoRSrQvAxLx+OYOfahixpI0rO9M=; b=X13vaO3dHBp1cVUlv4EOhEZyj1jApqQVgvbMsTy2Occ2EVz7z72gEqGqYrJinsj975 fYFFTkFBd/t8TVeIjcmjewTVKzLxgEBqKn5IySknbSGe7eGbBc+CouCRYkbQ9bNzlJXb +K/DQGdVoWPu1h24yCUCPQp+YnL0OXWl1G6CxUGzhhQUZSbJX4F3BRWoUl+t2gnjylUX RmdSv3ONxhRSKImGwQpO8pOGWlZZfL8tTcyapPDaDT0aEsCY0XGJi8d5iSQ6NjzqJtmP rH94y4UyoEvHeeQGLEPeR2pBJUJNYLvQaf5TAVhVYZS1GnvpVYY8TojGqbusXO3wmiyy qJ6A== X-Gm-Message-State: AOJu0YyYo0UZG3WX6n/SEZtHe7NdK/nCExUHlZt+YfNRgPVTn5AMF+Lt 2mBNAlC6EiDOb1TMIRJ0OKPb7p/mQ6b2rpJkHzjf9v+ugsQmBHGOryOY0roqfBeuXwER/7FRlGV a6DVSnj0rozgdcwb5c6Tt7IuedfBdWo/S X-Gm-Gg: ASbGncsEgf13iKhv7mtmBphA327Cz8y1vkd+/pY9m/2FsfYdCFuzbS4GJofAYKiwq2Z O2TQxjhqaITteCBpRQ4srNkdGT4H0g6VpWjO+DTQZ9+TYJCHpX0xlUQmcmgOx5EEke5J6wEwJ X-Google-Smtp-Source: AGHT+IGs1lbpkdTwBpz1yhDN0zuH2cVIomvIq/9uCsasxJ8+zcN9lInjBPdo5+TzdJytwB+fU05JW+5ZXn+eK2F3TDw= X-Received: by 2002:a05:6902:2007:b0:e54:d63a:911c with SMTP id 3f1490d57ef6-e58a38319e1mr2483894276.10.1738149323988; Wed, 29 Jan 2025 03:15:23 -0800 (PST) MIME-Version: 1.0 From: Cinzia Di Giusto Date: Wed, 29 Jan 2025 12:15:13 +0100 X-Gm-Features: AWEUYZm0VVzriqcLdB6sOKwX0vYjzzKeF8QM1G5rlGaT4m7-36W5mb1grElsQdI Message-ID: To: caml-list@inria.fr, ic.eatcs.di@listgateway.unipi.it, microservices-community@googlegroups.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] 1st Call for Papers COORDINATION 2025 Reply-To: Cinzia Di Giusto X-Loop: caml-list@inria.fr X-Sequence: 19259 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: [Apologies for multiple postings] ********************************** 1st Call for Papers COORDINATION 2025 Lille, France, 16-20 June 2025 Submission deadline: 7 February 2025 https://www.discotec.org/2025 ********************************** HIGHLIGHTS Submissions are via Easychair at: https://easychair.org/conferences/?conf=3Dcoordination2025 Submission categories: - Regular papers (*18* pages, not counting references and appendices) - Survey papers (*25* pages, not counting references and appendices) - Tool papers (4-15 pages, not counting references and appendices) * Important Dates * - Abstract submission: 31 January 2025 (recommended) - Paper submission: 7 February 2025 - Artefact submission: 14 February 2025 - Paper and Artefact notification: 28 March 2025 * 4 keynotes, 3 Tutorials, 3 workshops * ********************************** * Programme Committee co-chairs * Cinzia Di Giusto (Universit=C3=A9 C=C3=B4te d=E2=80=99Azur) Ant=C3=B3nio Ravara (NOVA School of Science and Technology) * Programme Committee * S. Akshay (IIT Bombay, India) =C3=89tienne Andr=C3=A9 (Universit=C3=A9 Sorbonne Paris Nord, LIPN, CNRS UM= R 7030, France) Giovanni Bacci (Dept. of Computer Science, Aalborg University, Denmark) Massimo Bartoletti (Dipartimento di Matematica e Informatica, Universita=E2=80=99 degli Studi di Cagliari, Italy) Georgiana Caltais (University of Twente, Netherlands) Marco Carbone (IT University of Copenhagen, Denmark) Ilaria Castellani (INRIA, France) Valentina Castiglioni (Eindhoven University of Technology, Netherlands) Jo=C3=A3o Costa Seco (NOVA LINCS - NOVA University Lisbon, Portugal) Pedro R. D=E2=80=99Argenio (Universidad Nacional de C=C3=B3rdoba - CONICET,= Argentina) Farzaneh Derakhshan (Illinois Tech University, USA) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA, Serbi= a) Ludovic Henrio (CNRS, France) Thomas Hildebrandt (University of Copenhagen, Denmark) Daniel Hirschkoff (ENS Lyon, France) Hanna Klaudel (IBISC, university of Evry, France) Eva K=C3=BChn (Vienna University of Technology, Austria) Carlos Gustavo Lopez Pombo (Escuela de Producci=C3=B3n, Tecnolog=C3=ADay Me= dio Ambiente, Universidad Nacional de R=C3=ADo Negro and CONICET, Argentina) Roland Meyer (TU Braunschweig, Germany) Barbara Re (University of Camerino, Italy) Felix Stutz (University of Luxembourg, Luxembourg) Meng Sun (Peking University, China) Carolyn Talcott (SRI International, USA) Frank Valencia (LIX, Ecole Polytechnique, France) Gianluigi Zavattaro (Department of Computer Science and Engineering - University of Bologna, Italy) Maurice ter Beek (CNR, Italy) * Artefact Evaluation Committee chair * Duncan Attard, (University of Glasgow, UK)