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=WeQfNq0y; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=informatik.uni-freiburg.de header.i=@informatik.uni-freiburg.de header.a=rsa-sha256 header.s=mx2401 header.b=DgyJaVev; 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 27D8548E3C for ; Wed, 15 Jan 2025 12:23:44 +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:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=qNRNXVbRwnB7tGX6MCh7FrbmiKaWOIMnuIrusD5+N/I=; b=WeQfNq0ysN/NwEdVTslEamYFPoh/p+Zasg+lybJJhkE4t4XJDlOTTxZV YdvuFOXX/F9ZkBbucCpaFkSCrPCBA+SyKawl9wjdGxo0PMQIoRy9/q9mR 9qEX9mlixFjbWRFjiJe2yUQkRCwiwltxmSThlMTNdbfftz++Z8TqOY1Z9 E=; 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=@informatik.uni-freiburg.de X-IronPort-AV: E=Sophos;i="6.13,206,1732575600"; d="scan'208,217";a="203245469" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jan 2025 13:23:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5DBEFE0D43; Wed, 15 Jan 2025 13:23:42 +0100 (CET) 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 D9BEDE0077 for ; Wed, 15 Jan 2025 13:23:35 +0100 (CET) IronPort-SDR: 6787a8bb_z3dNrVjAOtdaR93wjMeefM7/iSZUyVOlgMQCYNy03j6RqFs Uvdh6vjU2Mhp9u3ka7wkzi8zN9I7pOSQ3SpSwlQ== X-IPAS-Result: =?us-ascii?q?A0EiAwAJqIdnhQWW5oRaglyCRH1aMwQLSIQaPIEjjiuCI?= =?us-ascii?q?ZFNhXiCUIQGgX4PAQMBDTkLBAEBghOCdIp2Ah4HAQQyBw4BAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBEAEBBQEBAQIBAQIEBgECEAEBAQFASYV7DYJbhBoGCwYdAQEmEhgNM?= =?us-ascii?q?AcCIxIBBQE1IoJfAYJkAxGXKI9AgQVCiz6BMoEBggwBAQbeAwMGgUiBFoc4A?= =?us-ascii?q?YFCGgIOg3+FHhuCDYEVNWKBI4EuhHCDLoJpgjeBRX2CYBGDbYUugXmEFY84J?= =?us-ascii?q?iYDBwcOK0kOASEDJjMsAVUTFwsHBYFyAQIBgRM0gRhENzmCDWlJNwINAjWCH?= =?us-ascii?q?nyCK4RcghiCL0cZLwMDAwODOoVighSEBUKBah1AAwtiCz03FBtMnCcBPIQcL?= =?us-ascii?q?WMTD1kWDEdNxlaCP4FmoWAzl1KTAZh8igeZJDAThS4RI4FLBi2BXE0kFGwGg?= =?us-ascii?q?jBPAxkPV41jH4N1hGG6NEI1PAIHAQoBAQMJkCKBSwEB?= IronPort-PHdr: A9a23:AUrR+RDrNuZu7PvMt8BWUyQUqkoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua40ygaUDM6CsLptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmTaxe65+I RWyoAneq8Ubj5ZpJ7osxBfOvnZHdONayH9yK16Ugxjy+Nq78oR58yRXtfIh9spAXrv/cq8lU 7FWDykoPn4s6sHzuhbNUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi7 7tuRRT1hioLKyI1/WfKgcF2kalVog+upwZnzoHbYI+bOvlwcL7Dc9wGQmpMRdxeWzBbD46mc 4cDE+gMMOBFpIf9vVsOqh6+CBGxCez10T9Dm2H20rc80+88DA7JwgogFM8MvnvKsdX1KrkdU eSox6TP0zXMcvNW1ing6IjWbB8hpeqBXbN2ccrfzkkvDQbFgU+MqYzkPDOZzPkNs26a7+Z5W +KvkXAoqwBqrTiy3McshZPFiZ8LxV3d8yhy3Yk6K8GiRkFhfd6kDIVftzucN4ZuQM4vXW5lt Tgnx7AHupO2fTQGxZAnyhPDdfCKb5WF7gztWeuePTp1mW9oday+ihuu8UWtyvHwWMa63lpXr CdIkt/BvW0D2RzU78iIUPp9/kG51DmS1gDT8f1LIUcolaXFN5Et2LkwloAcsUnFAyT4m132g beLekgq5OSk8frrb7v6qpOGKoN5ih3yPr4ul8CnH+g0LgwDU3KY9Om8zrHv41D1TbZQgvA5k qTUto3RKNofpq6kGA9Vzpgs6wyiATen0dUXg2EKIE5DdRmalYbmIUvOL+r9Dfqng1SjjjNrx /feM736B5XNMmDDnKn7cbZ87U5cxg0zzcpa551OFrEBIfHzVlXstNzeDx81KgK0w/z5B9V8z YweRHiPAqCDPKzPr1CE/uMvI++Sa48JoDvxNvYo6+D0gXMnl1IRYbOl0YYXZXykBPhrI12VY X/2jdcAFWcKsBA+TOvviFCaTz5cenayULwh5jElFo2mCZzORoGrgLyP2ye7BJhWaXpaClCNE nfkbZiEW/ENaC6LLM9hiCILVbm6RI88zxGuuxX2xKd5IebM/C0Xrors1MJp6O3LiREy6Tt0A tyA322VVWF7gnsIRyMq3KB4uUFy1k2M0a18g/BBEdxT5uhJUhshOJ7Hz+16DsjyVRjbcteIT lamWNSmDisrQtI/2d9dK3p6Tt6rixSG2yuxH5cUkaaKDdo66PHyxX/0cux00D7Y3a9pg1QgC utCKHOrguYr6QTTCpPXnkGxlqCkcr4Z1TLM9yGey2vLsltVUQRtS6qDUX1JNRielsjw+k6XF +zmMr8gKAYUkaZqS4NPY9zt1hBdQev7fc/ZeyS3knuxAhCBwvWNapDrciMTxnaVE1AKxiYU+ 3vOLg0iHmG5uWuLEjBuGE/xbkfE8O9wr2m+R1M1zEeXaUwk2aC4+xQIn/PaR/5AlqkctnIZo i5vVE24w8qQDtOBowR7e6AJf9897UpZ2GbxtgpzOYalJrxjhRgDdQUysVnj1h9qEIoGncV55 Ggywl9ULqSVmEhEayve3Z30PejPLXLu+Rm0d6PM8krbzM7MvKYJ5vMirlz/vQLvC0wjtnt93 thfzmGToJnHZOYLebT2VEt/tx1zprWBJzI4+5uRznp0d6+9rj7F3dstQuoj0BepOdlFYuuCE 0fpHssWCtLLSqRikkW1bh8CIOFZ9bIld8Kgefyc3ae3PeFm1Du4hGVD6Yp53wqC7S15AuLP2 p8Exbmf0G7lH3/igFesr976nahFYz8VBG+21SnnQpNXZ+h8Z4sKA3q0LIu7y5Q2hpLgXWJZ6 E/2H0kPi6rLMVKZa13w2xEV1FxC+Cf933Hjl3otzmlv8/n6vmSG2enpeRsZN3QeQWBjiQypO o2ol5UBW1DuaQE1lRyj7EK8xq5Bpa05IXOAJCUANyXwMWxmVbO987SYZMsaoo0ksShKTum4S VGcRLnnphIG0iClAm1fgT4hejCgp4/22RB3wjH4Tj47vD/CdMd8yA2KrsLQRfNMwDcCbCh+h z7NA1GgPtrv4NOV0pnZv+G0SniuEJFeO3qOr8vIpG6w4mtkBge6lva4l4j8EAQ05iT80sFjS STCqBuUjpDD762hKqone0BpAAS58M9mAsRllZN2gpgM2H8cj5HT/HwdkG61P88Jka75aXMMQ 3YMzbu3qED71E1uM2yEw6r4UHua2M5oe9i5JH4Q22cz9c1LArqO4/pIkGN5r0G5ogTYffVm1 m5Gk710syZc2rxR/ldIrG3VC6taBURCOC3wixmEp8uzqqlafifncLS90lZ/gcH0CbiDpg9GX 3OqH/VqVSR078h5LBfNyCiqsduiIoKIK4tO7lvJwHKix6BPJZk8l+QHn39iMGP55jg+zvIjy Adpxde8tZSGLGNk+OS4BARZP3v7fZB2mHmlgKBAk8KRx43qEI9mH2BBQpfoQO+2HTY6tPLpM ByLGSE9qTGGH7uaExWS6U17tX2JH53hZBT1bDEJiM5vQhWQPhkVngwUUSgkk5oRFwakw9bke Vt45XYM4F+9pAFBy+h1LRa5XmqV92LKIn8kDZOYKhRR9ARL4UzYZNef4uxEFCZd5pS9rQaJJ z/Td0FSAGoOQEDBG0H7M+zk+4zb6+bBTLnbTbOGcfCUpOdZTfvN2Z+/zt4s4WOXLsvWdnh6U 69igRAFByshXZ2Ew3NTAy0Py3CUNJTd/kzkvHQq9obilZajEAP3udnWUOEUa443vUrw2eDZa 6aRnHgrc24Aj8FTzieakuVHhAxO2XMpKWXIc/xItCjGSL/cl/1gFAYVLTgqaJERqacsmBJXJ 4jXhNWz2rMd7LZ9ClFOUUHtl5OeftQEZXrkaAmdQkObcq+cO3vHzcexba70HrRUiK88WwSYn zGdHgejOz2Ck2KsTBWzKaRXizndOhVCuYa7exIrCG75TdugZAfpeNlwxSY7x7E5nBaofSYVL CR8fkVRr7aR8TIQg/NxHHZE52ZkKu/MkjiQ7u3RIJIb+fVxBSE8m+Vf6XU8g7xbiUMMDORyg zfXp8VyrkuOieyT0mAhURxArSxOjZ6KvgN/P6Sc+INNWHzZ5h1L4WjRQxUGqt15C8H+7qBdz t+c8cC7YDxG8t/S4Y4dH52Nc5jBaiF5d0O0QHiJX25nBXaxOGrShlJQiqSX/3yR9d0hr4T03 YEJUvldXUA0EfUTDgJkGsYDKdF5RGBB8/bTgcgW6H65tBSUSt9du8WNSP6SDOjxJTKxjL9KY AENyK/5LsIOMIy+1VZva1NnhouMF0eaDrUv6mVxKxQ5pklA6i00Vmoox0fscR+g+lcIEOKsx Fg3jAV5e+Ek6DbvpUoxJx/EviYxmlQrlpPpjHrCFVy5ZLf1VoZQBS3uskE3OZ6uWAd5Yzq5m kl8PSvFTbZc51OPXWFthgjGvJJTGP0aUKtFJREKyPCdeu8nl1hR+HzPLapv5O3LDoFnnRcrc tixqXMF1RhubdQoP6OWKKcbljC4Z4qVuzOwjKYwxgEZPUME7GKRPjMOuQkGLLQnLTey8apg5 F7a8wY= IronPort-Data: A9a23:KeauO6x2BycZZ84mLWt6t+cwzSrEfRIJ4+MujC+fZmUNrF6WrkUBx 2JOWGjUMvzZN2D8LthxYIrgp0xS65aEnd9hSAs4+FhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmUc3l48sfrZ9Us25amq41v0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPu/fdkXHw4EbYf68xUIT9O0 vgSMG8SO0Xra+KemNpXS8F3g9g7do/qOo0YoHRp0TDaS+sgQNXNWajL78JC03E8i6iiH96HP JBfM2E3Kk2dO1sSUrsUIMpWcOOAmHX/fiBGpVa9pKw55HLWxRBw0/7wNtuQdMaHRM9IhEneq m+uE2HRW0lEaIXGlmXamp6qrsqTvSbcU6MCL5Sfre8p33Gw/VQ8UgJDADNXptHj0xTvC44AQ 6AOwQIlpK02sUiqVcXVRAy9uHfCvxgGWtMWHfdS1e2W4rHR/x7DQGkCQDlbbdU6tcxwWDork 1GTktLjGCZg9rGYIZ6AyluKhTGMOyJFEGEuXigVZyglvdnEpIsr0Q2aG76PD5WJptHyHDjxx RWDoy4/m6gfgKY3O0OToQyvb9WE+sehc+Il2jg7SF5J+StVSeaYi2GA8l3H9awGLYCXSUOEt WQFmI6D6uFLA4uAlSaQWupLELzBCxe53N/03gMH83oJrmrFF5ufkWZ4u2wWyKBBaZxsRNMRS BWP0T69HbcKVJdQUYd5YpiqF+MhxrX6GNLuW5j8N4UVPMghK1bfo3w/OiZ8OlwBdmBwyMnT3 r/HLK6R4YoyU8yLMRLpF7pMi9fHOAhnnTmNLXwE8/hX+eDHPi/FFeht3KqmZ+Qz4bmY5QHI/ 8leONDP1hNeTuDkeSjL+IMPZV4QIHkxGIr5w/G7hcbeSjeK7FoJUqeLqZt4ItwNt/oOzI/go CriMnK0PXKk3hUr3y3RMSg7MNsCnP9X8RoGAMDbFQ/yiyN+PNr1sc/ytfIfJNEayQCq9tYsJ 9FtRilKKqgnpu3vomxGNcvOv8Z5eQ61hAmDGSOgbXJtN9RjXgHFsJusNAfm6CBEXGL9uNocs o+Q8FrRYaMCYAB+U+fQSvaklG2qsVYnxeldYkrvI/toQnvKzrREESLKo8UME5k+Eimbnjq+/ CSKMCgcvtjI8tMU8sGWpKWqrLWJMupZH2hCFWzp872zbCnW0W655Yl+Te+zJDXWUV3syaOcd NdEkvLOC9wcvVNwq4EnOa1a/aE/wNrOprFh0QVvGkvQXWmrEr9NJnqn39FFk6982Y9ipgq9X 3yQ9ulgObmmPN3vFHgTLlEHatuv+O41mD6Iy9gIO2T/uTFK+YSYXXVoPxWjjDJXKJ13OtgHx cYjoMsn1BytuCE1M9qpjjFmyErUFyYuC54Yj5A9BJPnriEJyVsYOJzVNXLQ0aG1Mt5JNhEnH y+QiK/8nI9j/0vlcUcoNH3zzOFY1IUvuhdL8Qc4HG63uOH539054B4A1g4MbFVx7g5G2OdNK GRUJxVLBaGRzQxJ2ulHfU6RQj9kOjPI23bM22MolXLYRXaGTmbiDnMwEsfT8VE781BzRCl6/ raZwzy8CT3GXdz44XY3UxVHt83Td8R451CbksWkA/aDPZ0zXhi8iaqleFgnlhrDKuEyjX3hu uNF0rtRa6r6FChIuIw9KdCQ+ooxQSC+Bl5pYK9e7oYWO0rDaRew8zSqAGKgSPNnfvDl3xexN J1zG5hpSR+76herkhkaIqw9e5lPg/8j4Ys5SIPBfGIpneOWkWt0jcj26CP7uW4MRudum+YbL qf6VWqLMk6UtEtut179lut2EUvmXoBcfyz55v6/z8sRHZFasO1MT1A74oHpg1qrajlY7zCml yKdQZTJzt5S65VmxKrtNaRhOz+aC/3OUMawzQTilOgWMP3uN5/VuhI3u2vXGV1cHYEsVuRdk ZWPt9/K3335gosmblCBpb6/E/hm2MbjestWLcP9E1dClwSgRsLHwkUO6kK4G7NzgfJf4ciue Fa9YpCSae8lYc9U1SAMYS1dDyQbKaD+UYW5ria2ssajNxk5+i7EJeOB6nXGQzx6dCgJGpumE S7yma+kye55pbR2Ji0vJq9ZEb4iBXG7QoogVdn6lQfAP1mSmlnY54fTz0sx2w/EGlyvMZjc4 6ucYjPcaR7rmqXD7O8BgrxIphdNUUpM27ghTHk8pexzpSuxVlMdDOInNp4DNJFYvwry2Lz8Z xDPdGESMjr8bxsVbSTD5MnfYSnHCtwsItvZIhkbz3GQYQqyB6KCB+JF3QVk6HFUZDDi7b+GL fczx37OBSWyk6pZHbsr2v+GgOlZn6KQgjpC/E3miMX9DioPGbhAhjQrAANJUjeBCM3X0lnCI W8uX21fXUWnUgjLHN19f2JOUgQs1N81I+7EsQ/UqDoeh2ma8AGE4Ob6J/mplLwFYsMQIbcSR HCxWm2Mpm6M130ZpLEm/d4k6UOx5TRnAeDiRJIPhyVL901z1ojjF8IEky0VScg++Q0ZDlXc0 ze27nk0GV6KbkxcsFFT4Rtc4Ip/CxrgEBmQ5DMSZlb6fdgRzt7XfAKvxR76KtftrammsV9VQ T0PdknXr1D+WP4IY9Vhnqxzm2Fryv392ZUJvu7Eg38yftqRpLdhKY1c IronPort-HdrOrdr: A9a23:+0hbM6EUUodnZidCpLqEO8eALOsnbusQ8zAXPiFKOGVom6mj/P xG885rtiMc5AxwZJhCo7G90cu7MBfhHE5OkPEs1N6ZNWGN1VdAR7sSircKrQeQfRHWx6py0e NOf6BiFMb9FzFB/KPHCcqDf+oI8Z2o9KipgKP51HdiTQZjbuVF4x1iAgiWVm1aLTM2Z6bR2K Dy2iOPnVSdRUg= X-Talos-CUID: 9a23:94hzIW67G59JiqJb8dss9nAWEJAYfFHmy2b6AG/mCUFtQqXKVgrF X-Talos-MUID: 9a23:4HYIuQa+GDJNXeBTkmPMgRZpFddTyoP1GQNSvbY9g+beKnkl X-IronPort-Anti-Spam-Filtered: true X-URL-LookUp-ScanningError: 1 X-IronPort-AV: E=Sophos;i="6.13,206,1732575600"; d="scan'208,217";a="106411777" X-MGA-submission: =?us-ascii?q?MDGpgqBb3pe479VgoGlN2Nifp/m8vMwsmtBA/u?= =?us-ascii?q?42l0M9c9hceCcrNCArNFlhRnjfNTBl10YynPmiuQfJ6AWvBOi/iiJTbB?= =?us-ascii?q?0IN934kOQsWdOFU0E9ng0pOBzBJdhQ6StNBxdw72+NCVHEUNbz047BgY?= =?us-ascii?q?Ymcco8L9oErNeSBQ/kFcYO3g=3D=3D?= Received: from smtp2.informatik.uni-freiburg.de ([132.230.150.5]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Jan 2025 13:23:24 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=informatik.uni-freiburg.de; s=mx2401; h=Content-Type:To:Subject:Message-ID: Date:From:MIME-Version:Sender:Reply-To:Cc:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:In-Reply-To:References:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=qNRNXVbRwnB7tGX6MCh7FrbmiKaWOIMnuIrusD5+N/I=; b=DgyJaVev7L1K4UWRkGWp6llVuL Vr0AuR7z3iR9pHMP2B8qsMJwOcp6LJaLkRoy4TvXTAV7l+lQ/kBBRi2TzVMwECUXlatoGRSWm5yND qlucFXtLpTmtTdlZgAWqWStv7n30h/uPTShXkR154Jxt6zNVVFCqoHkQxxuEeKXUaxkCfzWNOFcJZ tkFSnhJXGmfWW07OIdJ29EnTVBbVVfCGlTo2DLQLIeUGmCLnU6TfeKxylfBm1PjD7U3xgQVxuGQMr JPjc8IZm1cQvXbHI2iEePbTTAxjrx0u0k/sWVRHtTTahAxKeve+AlF5AuSPaCiJjNboUWO3EQrPRy J2HN0YmA==; Received: from mail-ej1-f45.google.com ([209.85.218.45]) by smtp2.informatik.uni-freiburg.de with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98) (envelope-from ) id 1tY2Qh-000000004QV-10G4 for caml-list@inria.fr; Wed, 15 Jan 2025 13:23:23 +0100 Received: by mail-ej1-f45.google.com with SMTP id a640c23a62f3a-aaecf50578eso1281571666b.2 for ; Wed, 15 Jan 2025 04:23:23 -0800 (PST) X-Gm-Message-State: AOJu0Yz0SVz4DW4PNkXtZF9et2e7WJFgEWMLNniMS96MM4OwG21dAdBa xohvj/S0jOV40vRKL//DmAEt997rA7oGXgqBd2Az8D1uG0Ebe1kYeBDzv2mVQKuONZuV+evSNEL hi9FtCRsykdRS+Ml3dH+Vs13nOzc= X-Google-Smtp-Source: AGHT+IECywLVEhz6EXphRRfynew7HuIMfwRhbJ4Onhfxl2IIBqSK7vd1cYwd1/Ld4rEinNMr2mNtWPQNi7ybM4lQyVo= X-Received: by 2002:a17:906:d555:b0:aa6:7b34:c1a8 with SMTP id a640c23a62f3a-ab2ab70a5a8mr2717763066b.55.1736943802678; Wed, 15 Jan 2025 04:23:22 -0800 (PST) MIME-Version: 1.0 From: Bas van den Heuvel Date: Wed, 15 Jan 2025 13:23:11 +0100 X-Gmail-Original-Message-ID: X-Gm-Features: AbW1kvZcy6vyOcZpeCRHRkfoIsw4TiSmnxRo5Jj5En08POnWzxwE9UJIlglvAY8 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000005a8c06062bbdbe70" Organization: Universitaet Freiburg, Institut f. Informatik Subject: [Caml-list] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Reply-To: Bas van den Heuvel X-Loop: caml-list@inria.fr X-Sequence: 19252 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: --0000000000005a8c06062bbdbe70 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [Apologies for multiple postings] ************************************************************************ Joint Call for Papers DisCoTec 2025 20th International Federated Conference on Distributed Computing Technique= s Lille, France, 16-20 June 2025 Submission deadline: 7 February 2025 https://www.discotec.org/2025 ************************************************************************ DisCoTec 2025 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects =E2=80=94 from theoretical foundations and formal description tech= niques, testing and verification methods, to language design and system implementation approaches. The three main conferences are: * COORDINATION 2025 - International Conference on Coordination Models and Languages * DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems * FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems DisCoTec 2025 is organised by Inria Lille and the University of Lille. It will be hosted by Polytech Lille. * NEW: Accommodations for parents of young children * Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze@inria.fr), as soon as possible to discuss the arrangements that might be applicable. * Keynote Speakers * - Alysson Bessani (Universidade de Lisboa, Portugal) - H=C3=A9l=C3=A8ne Coullon (IMT Atlantique, France) - Omar Inverso (GSSI, Italy) - Burcu Ozkan (TU Delft, The Netherlands) * Important Dates (for all main conferences) * All deadlines expire at 23:59 anywhere on earth. - Abstract submission: 31 January 2025 - Paper submission: 7 February 2025 - Paper notification: 28 March 2025 - Camera-ready: 23 April 2025 (TBC) - DisCoTec conference: 16-20 June 2025 See each conference site for topics of interest, paper categories, and submission instructions. * Main Conferences * - COORDINATION (https://www.discotec.org/2025/coordination) 27rd International Conference on Coordination Models and Languages PC Chairs: Cinzia Di Giusto (Universit=C3=A9 C=C3=B4te d=E2=80=99Azur, = FR) and Ant=C3=B3nio Ravara (NOVA School of Science and Technology, PT) - DAIS (https://www.discotec.org/2025/dais) 25st International Conference on Distributed Applications and Interoperable Systems PC Chairs: Daniel Balouek (INRIA, FR) and Ib=C3=A9ria Medeiros (Univers= ity of Lisbon, PT) - FORTE (https://www.discotec.org/2025/forte) 45st International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio A. Mezzina (University of Urbino, IT) * Artefact Evaluation Chairs * - DisCoTec-wide: Roberto Casadei (University of Bologna, Italy) - COORDINATION: Duncan Attard (University of Glasgow, UK) - DAIS: Vinicius Cogo (Ci=C3=AAncias/ULisboa, Portugal) - FORTE: Emilio Incerto (IMT School for Advanced Studies Lucca, Italy) * Proceedings * Main conference proceedings will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo. * Journal Special Issues * Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals, such as: - Logical Methods in Computer Science - Science of Computer Programming (Software Track). * Organizing Committee * - Simon Bliudze, General Chair (Inria Center at the University of Lille, France) - Larisa Safina, Satellite Events Chair (Inria Center at the University of Lille, France) - Adrien Luxey-Bitri, Young Researchers Forum Chair (University of Lille, France) - Imen Sayar, Gender equality / Women in Science co-Chair (University of Lille, France) - Manel Barkallah, Gender equality / Women in Science co-Chair (University of Namur, Belgium) - Bas van den Heuvel, Publicity co-Chair (University of Freiburg, Germany= ) - Matthew Alan Le Brun, Publicity co-Chair (University of Glasgow, UK) - R=C3=A9my Raes, Head of student volunters (Inria Center at the Universi= ty of Lille, France) * Steering Committee * - Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) - Adrian Francalanza (University of Malta, Malta; Chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alberto Lluch Lafuente (Technical University of Denmark, Denmark) - Mieke Massink (CNR-ISTI, Italy) - Lu=C3=ADs Veiga (INESC-ID, Universidade de Lisboa, Portugal) - Gianluigi Zavattaro (University of Bologna, Italy) - Carla Ferreira (NOVA University of Lisbon, Portugal) - Jorge A. P=C3=A9rez (University of Groningen, The Netherlands) --0000000000005a8c06062bbdbe70 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Apologies for multiple postings]
***********= *************************************************************

=C2=A0= Joint Call for Papers

=C2=A0DisCoTec 2025

=C2=A020th Internat= ional Federated Conference on Distributed Computing Techniques

=C2= =A0Lille, France, 16-20 June 2025

=C2=A0Submission deadline: 7 Febru= ary 2025

=C2=A0https://www.discotec.org/2025

***************************= *********************************************

DisCoTec 2025 is one o= f the major events sponsored by the International Federation for Informatio= n Processing (IFIP) and the European Association for Programming Languages = and Systems (EAPLS). It gathers conferences and satellite events that cover= a broad spectrum of distributed computing subjects =E2=80=94 from theoreti= cal foundations and formal description techniques, testing and verification= methods, to language design and system implementation approaches. The thre= e main conferences are:

* COORDINATION 2025 - International Conferen= ce on Coordination Models and Languages
* DAIS 2025 - International Conf= erence on Distributed Applications and Interoperable Systems
* FORTE 202= 5 - International Conference on Formal Techniques for Distributed Objects, = Components, and Systems

DisCoTec 2025 is organised by Inria Lille an= d the University of Lille. It will be hosted by Polytech Lille.


= * NEW: Accommodations for parents of young children *

=C2=A0 Subject= to budget availability, we are planning to make special logistical arrange= ments for conference participants travelling with young children (and poten= tially accompanying persons). We invite interested persons to contact the G= eneral Chair (s= imon.bliudze@inria.fr), as soon as possible to discuss the arrangements= that might be applicable.


* Keynote Speakers *

=C2=A0 - = Alysson Bessani (Universidade de Lisboa, Portugal)

=C2=A0 - H=C3=A9l= =C3=A8ne Coullon (IMT Atlantique, France)

=C2=A0 - Omar Inverso (GSS= I, Italy)

=C2=A0 - Burcu Ozkan (TU Delft, The Netherlands)

* Important Dates (for all main conferences) *

=C2=A0 All deadline= s expire at 23:59 anywhere on earth.

=C2=A0 - Abstract submission: 3= 1 January 2025

=C2=A0 - Paper submission: 7 February 2025

=C2= =A0 - Paper notification: 28 March 2025

=C2=A0 - Camera-ready: 23 Ap= ril 2025 (TBC)

=C2=A0 - DisCoTec conference: 16-20 June 2025

= =C2=A0 See each conference site for topics of interest, paper categories, a= nd submission instructions.


* Main Conferences *

=C2=A0 -= COORDINATION (https://www.discotec.org/2025/coordination)
=C2=A0 =C2= =A0 27rd International Conference on Coordination Models and Languages
= =C2=A0 =C2=A0 PC Chairs: Cinzia Di Giusto (Universit=C3=A9 C=C3=B4te d=E2= =80=99Azur, FR) and Ant=C3=B3nio Ravara (NOVA School of Science and Technol= ogy, PT)

=C2=A0 - DAIS (https://www.discotec.org/2025/dais)
=C2=A0 =C2= =A0 25st International Conference on Distributed Applications and Interoper= able Systems
=C2=A0 =C2=A0 PC Chairs: Daniel Balouek (INRIA, FR) and Ib= =C3=A9ria Medeiros (University of Lisbon, PT)

=C2=A0 - FORTE (https://www.dis= cotec.org/2025/forte)
=C2=A0 =C2=A0 45st International Conference on= Formal Techniques for Distributed Objects, Components and Systems
=C2= =A0 =C2=A0 PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Cl= audio A. Mezzina (University of Urbino, IT)


* Artefact Evaluatio= n Chairs *

=C2=A0 - DisCoTec-wide: Roberto Casadei (University of Bo= logna, Italy)

=C2=A0 - COORDINATION: Duncan Attard (University of Gl= asgow, UK)

=C2=A0 - DAIS: Vinicius Cogo (Ci=C3=AAncias/ULisboa, Port= ugal)

=C2=A0 - FORTE: Emilio Incerto (IMT School for Advanced Studie= s Lucca, Italy)


* Proceedings *

=C2=A0 Main conference pr= oceedings will be published as volumes in the Springer LNCS-IFIP series. Th= e volumes will be open access from the IFIP digital library after a 3-year = embargo.


* Journal Special Issues *

=C2=A0 Selected paper= s accepted at the main conferences will be invited for submission to specia= l issues in high-quality journals, such as:

=C2=A0 - Logical Methods= in Computer Science

=C2=A0 - Science of Computer Programming (Softw= are Track).


* Organizing Committee *

=C2=A0 - Simon Bliud= ze, General Chair (Inria Center at the University of Lille, France)
=C2= =A0 - Larisa Safina, Satellite Events Chair (Inria Center at the University= of Lille, France)
=C2=A0 - Adrien Luxey-Bitri, Young Researchers Forum = Chair (University of Lille, France)
=C2=A0 - Imen Sayar, Gender equality= / Women in Science co-Chair (University of Lille, France)
=C2=A0 - Mane= l Barkallah, Gender equality / Women in Science co-Chair (University of Nam= ur, Belgium)
=C2=A0 - Bas van den Heuvel, Publicity co-Chair (University= of Freiburg, Germany)
=C2=A0 - Matthew Alan Le Brun, Publicity co-Chair= (University of Glasgow, UK)
=C2=A0 - R=C3=A9my Raes, Head of student vo= lunters (Inria Center at the University of Lille, France)


* Stee= ring Committee *

=C2=A0 - Rocco De Nicola (IMT School for Advanced S= tudies Lucca, Italy)
=C2=A0 - Adrian Francalanza (University of Malta, M= alta; Chair)
=C2=A0 - Ivan Lanese (University of Bologna/INRIA, Italy)=C2=A0 - Alberto Lluch Lafuente (Technical University of Denmark, Denmark= )
=C2=A0 - Mieke Massink (CNR-ISTI, Italy)
=C2=A0 - Lu=C3=ADs Veiga (= INESC-ID, Universidade de Lisboa, Portugal)
=C2=A0 - Gianluigi Zavattaro= (University of Bologna, Italy)
=C2=A0 - Carla Ferreira (NOVA University= of Lisbon, Portugal)
=C2=A0 - Jorge A. P=C3=A9rez (University of Gronin= gen, The Netherlands)
--0000000000005a8c06062bbdbe70--