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=hwhGoyox; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=fct.unl.pt header.i=@fct.unl.pt header.a=rsa-sha256 header.s=googlefct header.b=NKISVxE7; 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 1DFC249762 for ; Thu, 6 Feb 2025 18:58:13 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:from: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=JMRQ4NFvp2RIt9NXXD9I49QGs0SC9w0rclKQGmaCROc=; b=hwhGoyoxXgm4wqaos6vitF4EiKwiYdAxHWwDb6+h03xO9tfjjpazSvpQ CDx4m8643+0qfA2OmUW+Uj7dtkZUwHw801tlcU3ABH94OcpH54VZ/bJwl /CxvkSuWcrmGAaaiNLzzePHaWJF3Ws1p1EUDcCI9myQMqYnl7cQ5TSDHC Q=; 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=@fct.unl.pt X-IronPort-AV: E=Sophos;i="6.13,265,1732575600"; d="scan'208";a="207040390" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Feb 2025 19:58:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 492B4E0D2F; Thu, 6 Feb 2025 19:58:13 +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 16AACE0260 for ; Thu, 6 Feb 2025 19:58:11 +0100 (CET) IronPort-SDR: 67a50642_6p70DnCpSmynlLICMys0DjuOTU+iKZyceoexHWK96bcGOt9 u7c9pczXkvLmJBY9FZv36AjYPZaYSA6HdspyAnQ== X-IPAS-Result: =?us-ascii?q?A0HMBwCoBaVngTGAVdFagQmDRVJ9WjMEJC+EVoNPjACBd?= =?us-ascii?q?C2aEoVFPg8BAwELAQE5CQIEAQEDAQOCDI13Ah4HAQQ0EwECBAEBAQEDAgMBA?= =?us-ascii?q?QEBAQEQAQEFAQEBAgEBAgQGAQIQAQEiGQcOO4V7DYJFUXFjCDoBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBARMCDQdXOAYFBg8BBQgBASYSNAImAjUBBQE3AQEeg?= =?us-ascii?q?mABgmQDARCkOIEFQos+gTKBAYIMAQEGgQiBYdk3gWUDBgkBCoEGLohPAYVrg?= =?us-ascii?q?316JxuBSUSBFScOggWBLoEFTYEPBBiBHYQEgmmCM4FAg2+Ic5AFihWBTRwDW?= =?us-ascii?q?SwBVRMXCwcFgXEDgRGBRkQ3gkdpSToCDQI1gh58gitqBAWDZ4RDXi8DAwMDg?= =?us-ascii?q?zSFW4ISgg6HcT0dQAIBC209NwkLG0OeSj2DeRgXPRNaEzwsIjAePAULkn0Js?= =?us-ascii?q?04ahAuMGJIkgw8GEy+LFYwukw+YfIIyh1WDfZU+GhODS4FKAgoHBhEjgVsjg?= =?us-ascii?q?VwzGggwgyJPAxkPV41WCwuIa03BFUM1PAIHAQoBAQMJhWmKFDSBSwEB?= IronPort-PHdr: A9a23:tgJcYRZdReqka0z35wg0G8T/LTFQ2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wWPBd2Qsa0d16KW6/mmBTdZp87Z8TgrS99laVwssYYso0QYGsmLCEn2frbBThcRO 4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+M Ai6oR/eu8QYn4duMLo9xgfGrndWeela2GxlLk+Xkxrg+8u85pFu/ipNt/4768JMTaD2dLkkQ LJFCzgrL2866Mr3uBfZSgeB+mUSWXgMnBpSBAjF4hD6XpPvvSb/q+FwxiqUM9DoQL4tQTit4 LtlRxHuiCccKj4263rXhdBqjKJaux2uuRpyyJPJbY6PNfp+eqTdfc4GRWdEQ81cWTBNDp+6Y oASCOUMIehVo5Xgq1cXsReyGBSnCOfyxjJIg3P727Ax3eY8HgHcxAEuHNwAv3vao9vrNKkcT Py6wqbTwDXfbP5bwyvx5JTWfh0jp/yHQLJ+cdDWyUkqDw7IklOQqZDiPzOT1+QNtHWQ4fZ6W uKxkWEnsRt+qSWoy8g2kInGnJwVxUre9Spj24s1K8G3SFJhbd65FptQszuWN5NqQs47RWxjp Sk1xKEct5GhYCgK1IooxwTZa/GfcoWE/gzvWeeVLDp6hHxrdr2yiwiv/EagzuDyVsa63VdWo iRKndfBsn8D2h/N58aHV/Zz8Fms1ziR2g3S5exJP0Y5nrfVJZ4mx74/jJsTsULbEyDrmUX2l 7OZdkI4+ue29+vreLLmpoWTN4NslA7xKL8um8yjDuQ4KAcOXnKb9f671L358k30RqhBgP4uk qTBrpzWOcAWqrS6DgJVyIov9gizAjS83NkXmXQLNExJdA6bg4T0PlzDI+r3Aeu6jlSiijhn2 +vJM7juD5nQMnTPjLLscLZg50FAyQc+yN9S6pNaB74dJf/+XlH+ud7FAhI8PQy73vzoBMh72 4gDR2+PBrKZMLjOsVCW/OIhPuiMZY4LtzvlN/Qo4ePlg2Ujll8HZ6ap2IMaaHCmEfRiJEWUe X/sjc0AEWcOpwY/QunqhECbXT5daHu/W7gw5j48CIKhAofDQp6ijKad0ye8G51afmFGClaSH nf0b4iIResAZSaILsJikjEIT6WtR5Ei2B20uwL3z6JrLu/O9S0ZsZLj2sJ15+rWlRwq7zN0F d6S03+XQGFuhGwFXDE207xjoUBn11eD16x4j+ZAFdxP//9JVBw1OobGz+NmE9DyRh7BftCRR Vq7WtmmGy0+Tsotw98SZEZwA8mtgQrG3yquGrMVk72LBIco8q/HxHjwJ8N9y27c26U7jlkmR NFPNWy8iaJl+QjTHd2Br0LMnryja60G1QbD/3vF0GyK+llEAyBqVqCQdHYDYU3XqpzD713LV bbmXb09OxVI08eqJKBWLMDviRNeWKGwa5zlf2utljLoVl6zzbSWYd+zJg31vQ3YAUkAyEUI+ GqecBM5HmGnqn7fCzpnERTuZVnt+K9wsiDzVVc6mieNaUApzL+p4lgNn/XJQukawLsesQ8vo CkyAVC5mcrKWJKbvwQ0RKxHepsm5Utfk2fQtghzJJuleql4j0AXaQ1fsUjykQhxDsNYjZtit 2skmSx1L6/Qy1Zdb3WY0JT3b6XQMXX39QuzZrT+31jf1JOJ//5K5qhp7Vrkuw6tGwwp9HAPP 8B99Xya692KCQMTVcm0SUMr711hoKmcZCAh5oTS3HkqMK+uszaE1ch7TO0igg2tedtSKsbmX Ef7DtEaCs6yKecrh0nhbxQKO/pX/bI1OMXufuWP2aqiNuJt1Dy8imEP7Id420OKvy1yL4yAl 58fyu+RxAKvWTzgykqntobvhcEMZD0fGHa+1TmxHJRYNeV5eYcGD3vrItXinI0vwc6wHScCp Bj/VgBjuofhYxeZYl3j0BcF0E0WpSfigi6k13lvlClvqKOD3SvIyuCkdRwdO2cNSnMx6DWka YWykd0eW1ClKgYzkx7wr0/gzrZSvq1XIWLPB1pOe27uMysxN8n4/qrHeMNJ5J4y5G9eSu2ia EqTYrD2v10H1SelB3cUl3grMjqtvJv+hRlzjmmQeW1yoHTucsZ13R7D5dbYSJa9xxI+TTJjw XnSD1m4ZJyy+MmM0ozEqqa4Xn6gUZtadW/qy5mBvW21/z8iDRq6lvG10trpdGpymSbh3sdjT yzgoh3gJJTt0+KiLaprc1JpC1n198dhUtsmw81g2ddJgyhc2sTd9GFPiWrpNNRHxa/yCRhFD SUGxdLY+kmt2UFuKG6I25OsU3ycxsV7YNzpKmgS2y8784VLEPLOtO0CzXYz+wDo616AMp0f1 n8HxPAj6WAXmbQMsQsplWCGB6wKWFJfJWrqngiJ6Na3qONWYnyueP6+zhkb/5jpAbecrwVbQ Hu8dI0lGHo65992LlvW2VX94Z2iZd/UK8oP/E7x8V+In61OJZQ9m+BfzyN9MHz0p3QNxeUny wFo2deioMLUY3Uo96W/DBlCMzTzbM5G4TDhg5FVmcOO1pyuFJFsSVBpFNP4COilGzUIubH7J h6DRXci/2yDF+OVTkePrV1rpHXVH9W3OmGLcTMHmM56SkD4RgQXgRhIDm5n2MdoTkbwmJOnK AAjungQ/gKq9EcKkLkzcUChCiGH4175IjYsFMrBclwPtlsEvwGNdpbGi4A7VyBAos//8krXd j3dN1wOVSZTAgSFHwyxYePovIWGqrnCQLL5dquGYK3S+7MCEa7SmNT3lNMhpmjpVI3HP2E+X aRjigwaAi8/S4KB3G9WAy0Py3CUMJXd/UbgvHUx9ofmrrzqQF69v9PeTesPd4w1q1buxv7cU ozYzCdhdWQCj81KmC+OkelFmgZV0nAmdiHxQ+5Z62iXF/OWwfURV1lCOmtlPc9MpcrQxyFrP sjWwpPw37981bsuDktdEEfmgoevbNALJGe0MBXGAlyKPfKIP2+Dxca/eq66RbBK6Ycc/xStp TaWFVPiNTWfhnHoUR6oK+RFkCCcOlRXpoi8dh9nDWWrQsjhb1W3N9p+jDt+xrNR5DuCLWkHL T11aF9AtJWV5CJcx+p6QilPsisjIu6DlCKUqeLfL9desPdmBDh1i/MP4Hk+zOgwjmkMT/h0l S3O69929gv+w6/fl3w+CkoI9mcY4eDD9V9vMqjY6JRaDHPN/RZWqH6VFwxPvNx9TNvmp6FXz NHL0qP1MjZLtdzOrq5+T4DZLtyKNH05PF/nAjnRWUEMVze1PHvWr0JWjLeP8HnTtoRw+f2O0 NIeD6RWUlA4DKZQEkN+ANkLO4t6RBshmL+fydENvD+w8EiXS8JdsZTKEPmVBL+8TVTRxakBb BwOz7TiKI0VPYCuwE1uZG5xm4HSElbRV9RAysWERgE/vANQ9nw4VnFhgyoNhSuj62NVCPiw2 AYq2FIWiQUF8T7t5xIoIwOPqndh1kY2ntrhjHaadzujdM+N IronPort-Data: A9a23:jYPOVaw9x2ZPBrOe2+J6t+fAwirEfRIJ4+MujC+fZmUNrF6WrkVUz GIXXG2EP/eKYWKkfdx3b4u18B8PsJSDyNdlTAQ+qFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmUc3l48sfrZ9Us15Kqq6Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFP85dxqPEsQBrci4/ptX1F2+ fUbCTQkO0Xra+KemNpXS8Fpj8UnadbuZcYR5iAmwjbeAvIrB5vERs0m5/cChGZ21p0IRKyOI ZZIAdZsREyojxlnM00eFpsklc+mjWW5bjtc7kqJzUYyyzGLnFAriue8arI5fPTRd/5sr2G1q V7ovDm+BSETKsOcwiC8pyfEaujnxn6iAN1DStVU7MVCi1SWwikXCQYKfUCqpOGwzE+4QdNWb UIOkhfCtoA3/U2vC8b4Bli2/C/CsRkbVN5dVeY97Wlh15Y4/S6JIEEAfjRnU+YcrdMsGwwS2 laKvtfAUGkHXKKudVqR8bKdrDWXMCcTLHMfaSJscefjy4mzyG3UpkKfJuuPAJKIYsvJ9SYcK g1mQQA7jrQXyNEOjuC1oQGBjDWrqZzECAUy4207v15JDCspNeZJhKTxtjA3CMqsyq7HFDFtW 1BawaCjABgmV83lqcB0aLxl8EuVz/iEKibAplVkAoMs8T+gk1b6ItsAv2EmfxsyaJhYEdMMX KM1kVMBjHO0FCv6BZKbn6rrUqzGMIC5RYS6Dq+EMrKinLAqLlfZpngGibGsM5DFyxV1yf5uZ /93gO6jCnEVDakvzTy9AY8gPUwDl0gDKZfobcmjlXyPiOLADFbMEOttGAXUMogRsvjfyC2Lq Ik3Cid/408OOAEISnKPqdZLRb3LRFBnba3LRzt/KrbefFE6RzpxW5c8A9oJIuRYokicrc+Ql lnVZ6OS4AOXaaTveFXQOENwIqjiR4h+pn8dNCkhdwTgkXs6bIrlqO9Ve5IrdPN1vKZu3Nxlf ckjIs+gO/VoTiiY2jI/aZKmkpduWi72ji2zPg2kQgMFQbheeyLz9OTJRDDfrBs1MnLvtO8Vg aGR6QfAcJ9SGyVgFJn3bdys/XOQvF8cuudDBHLVLuYOY2Hq2tBLKjPwvNAzMcojORXO/RrE9 ge0UDMzh/jBnJ8xy/bN3Zu7loaOF/BvOHZaE03wz6eEBQOD8kWNmYZ/Afu1JxbDX2bKyYCeT ORyzcCkFsYYnVxP4rFOI5wywY0Qv9LQ9qJnlCJ6F3D2bnOuOLNqAl+C+eJt7qRt5LtoiTGaa 3K12OtxGOu2YZv+MVsrOgAaQPyJ1qgUlhns/P0FGhjGyxEtzoWXc3d5HkeqszNcHotXIYl+4 OYGuewq0SKdpCcuEO67inFzyzzRAF0GC74qp7MLMr/N0wAL8GxPUbbYKy3x4ayMVelyD1kXE meUqpbv17V47WjeQkU3DknIjLZ8h4xRmRVkz20iBlWum/jZt8Azxzlh/SgSdV1Q6DlEztApa 3ZZbV1xAaCo4T1TpdNiWlq0EFprHyyp+U3WynoImlbGTkKuaHf/EW0lNcuJ/2Eb62h5bBEB2 J2pk0PeTifMQMH9+gAQSHxVgaXvYvIp/zKThf39OdqOGqcLRAbMg4isVDIukATmC8Zgv3/3j 7Bm08goYJKqKBNKhbMwDrSb8rEiSBqkAmhmatM59YMrGVDsQh2D6QKsGWuQJPwUf+fr9HWmA fNAPshMDhSy9BifpwAhWJIjHeVGo+4L1vEjJJXQOm80g5mOpGFIsbXR1BTEqk0FftFMqfs5e 6TtL2+sM2rInnZFuX7/nO8dMEqCXNQ0Tgnd3ue0zeY3K6w+oNxcKX8V7L/lkEiWYS1G/g2Vt jztf6X57fJv4qUykprOEpdsPRSVK9TyZuGuqCS1jclERo7QPezvrCIQkEHsZC5NDIsSWvN2t LWDi8H210X7p4QLU3jVtp2CNqtR7+CwYbZnCd32J3xkgieyYs/gzB8d8WSeK5YSstdiyuS4Z gm/Mu2cSMU0XopD+XhrdCRuKRYRJKDpZKPGpynmjfCtCAAY4DPXPuGc6n7lQmFKRBAmY6SkJ FfPhM+vwdREoKBnJhwOXahmCqAlBm7TY/ItctmpuASICmWtvEi5hYLjshgd8hDONGiPFZfrw JDCRyWmTi+IhoPz8Ih7vbBx7zotN1QssdloKwhZs5RzhiuhBWELEfUFPN9UQttImyj1z9fja CuLcGImDj7nUC9ZdQnnpu7uRRqbGvdEL+KRyubFJK9IQ3ze6EK87LpdGuNI5n53fn78ybjiJ 41PvHL3ORe1z9diQuN7CjlXRwt47quy+57K0RmVfw/O79I2D74WkmFnGExVSUQr1unTwV7TK zFdqX9sGSmGpI2YLSqkU3BeBFcEujep1ylAgeJjBjrAk93z8dCsA8ET9w0+PnPvoSjKyHMzq avLelaw IronPort-HdrOrdr: A9a23:04fsbKzaMuTUMfQV5zj7KrPw471zdoMgy1knxilNoG9uA7Wlfq eV7YgmPH7P+UsssRQb8+xoV5PwJU80maQFmrX5Xo3SOzUO2lHYSb2KhLGKq1aQeREWntQttp uIGJIOcuEYY2IK9foSrDPIdeoI8Z2p9ru3jfzSw3ooYQZhcLF48gt1Yzz2LmRGACdDQbQ2fa Dz2iOFnVWdkLYsA/hTykNlYwELnb32qK4= X-Talos-CUID: =?us-ascii?q?9a23=3APLrvUmvd8QmeCoMd3ofjvhaf6Is1VFTZ/H32GHW?= =?us-ascii?q?CEHpzFo2tRVaT2adNxp8=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3AW8rC6gzWn49nUXFhDngHT+t96A2aqP+cM3k8trg?= =?us-ascii?q?Jh+fHaGt3Cz6Dkze8WLZyfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.13,265,1732575600"; d="scan'208";a="108422792" X-MGA-submission: =?us-ascii?q?MDHpjxbGcwT7BpOE3eIGPo0Hm5sHuzeAbkdKwL?= =?us-ascii?q?6e0WkKvdVC2IM+IG1bCECM5RPsJHDbar6d0SFL12CpYpXZwJkUCI7QtZ?= =?us-ascii?q?Tonsinn31eWa/90t5s/mdnc8KCXaEPXUwzeMMl/dsTACM0cgm+MMx4sL?= =?us-ascii?q?73h+tjapjAyuGfwxvt9PV8YA=3D=3D?= Received: from mail-wm1-f49.google.com ([209.85.128.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 06 Feb 2025 19:58:10 +0100 Received: by mail-wm1-f49.google.com with SMTP id 5b1f17b1804b1-4368a293339so14052905e9.3 for ; Thu, 06 Feb 2025 10:58:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fct.unl.pt; s=googlefct; t=1738868289; x=1739473089; darn=inria.fr; h=content-transfer-encoding:subject:from:to:content-language :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=JMRQ4NFvp2RIt9NXXD9I49QGs0SC9w0rclKQGmaCROc=; b=NKISVxE7NCq/xvORapnnFV3/K/zIHx2WO/3JefYMElDHej4I2jLrUTAw82IDIilEt0 hQvJgorCI96DgV1BRsQA33/o+pSfX1C0mPxx4PXtmUSQD8EoVlURWlfYorZxi1qzqhNw 76i56uaMP8L8wBF/ZuquOi7BMAJDdv/iNSnsEnkegjr/U8qAkjGIZVTlDYfKpRV7pHJp P7XnwjIu5dCRaAYmhHcTh/Sa0MfX5QPTfoCcRLtJR6VT9iXJpjS6MrRi4e4nPMnFYI52 8NKoNxvTYFw4UBPR1WowIycQ08o77XfKOY27Or2Rd6tMxQBWvXIjCwHE9eWrkcTiKqwt f7Iw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1738868289; x=1739473089; h=content-transfer-encoding:subject:from:to:content-language :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=JMRQ4NFvp2RIt9NXXD9I49QGs0SC9w0rclKQGmaCROc=; b=oqgwEKXH1o/98GxxQOq0EkJS2xJCeklTKJnQuS9m38rqmyxM0oVAhmnwqZYCRiplNH 6WS4Kst0J04IYGPkVIyisRTAI7YNGGJCXALRgxUTk2TaQ/unSUT7jIfqDM6yuseAk7+i ao3VsZA0cU8kbnRmSxTdRK3QDeMMEHU08Wveq57tx384hieJ5VED7ebRfky1b1WBCbn4 yz6UfagRdOGQZs6x0Dhd1/56yLXHIR5H60b2mAFSjkKxA197w/Twr+NJM0JUSxhjsRD6 CJMyMBBANj29/D1WlTOSRp/XoOgYIBWwxINamH6JtDl6udCQxJlTRsMfoyxDOL8OudNI rUOA== X-Forwarded-Encrypted: i=1; AJvYcCUG1q8W/Md99Utj0njbj+noonEdwYEs43CReRusgGq5tRWaOA3lfmEFDovTq3ee0iyyrHvsr2ZJOI0=@inria.fr X-Gm-Message-State: AOJu0YzsxIBIcvd+dk/GdNHD5VrOpDmzxGQEfr4NuyUKlTnAoeE3hkjF Vt+lP3hiPHvpX6vfDeicNfqBIaBR0smDacwk6+L3uUwP5LgCSnsVra+HYwVGgQ== X-Gm-Gg: ASbGncsS552jol8T3MYR7Yq9cdq1XsUqPPqfRCAFECzUCA9yxCFDysz0kr33C54EAcM K0rtz1pprjatueIWg1nwaDp6tcxRvjmvJOtLZ4UI4ppHF+qz7G3sC48dRqSTQq8VHBRG2ZPQAFT mAyRTkDpdY0U+uJhADKwKeywJbk/NScXYkGQNNXgqMRRoRznoFZiNjrCz0qs6DyDslnbSpcTLl2 s5Kl2nflXCeMajB4ITTgorfX/o2b1kP8eO6sht5uVVDV7aieURzRT3y3lDspO+xxhWR0g6exIWH 7M+/o9WcE4hpHJa1xDECbRjrkCdEItl1bMUrFfg3DwPFLzACAPICX144EJApzfa7EEY1dLlAhhF T3fg= X-Google-Smtp-Source: AGHT+IFgKnwnOX0oUQcK0rOv6PnEeVXcJADz0Bl0m0V4u63DuYK3qzz5P2+6KdSrte31jV1XyVe5JQ== X-Received: by 2002:a05:600c:1f17:b0:436:e8b4:36e7 with SMTP id 5b1f17b1804b1-43924987efbmr4757775e9.8.1738868289170; Thu, 06 Feb 2025 10:58:09 -0800 (PST) Received: from ?IPV6:2001:8a0:fa0b:4100:51c6:463c:9e71:fda1? ([2001:8a0:fa0b:4100:51c6:463c:9e71:fda1]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-4391dfc8917sm26909315e9.30.2025.02.06.10.58.07 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 06 Feb 2025 10:58:08 -0800 (PST) Message-ID: Date: Thu, 6 Feb 2025 17:07:48 +0000 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-GB To: aravara@fct.unl.pt From: Antonio Ravara Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] COORDINATION 2025: 2nd CfP and deadline extension Reply-To: Antonio Ravara X-Loop: caml-list@inria.fr X-Sequence: 19264 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] ********************************** 2nd Call for Papers COORDINATION 2025 - Lille, France, 16-20 June 2025 https://www.discotec.org/2025 SUBMISSION DEADLINE EXTENDED: 21 February 2025 (firm) Register your abstract asap ********************************** HIGHLIGHTS Submissions are via Easychair at: https://easychair.org/conferences/?conf=coordination2025 Submission categories: - Regular papers (*18* pages, not counting references and appendices) - Survey papers (*25* pages, not counting references and appendices) - Tool papers (*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é Côte d’Azur) António Ravara (NOVA School of Science and Technology) * Programme Committee * S. Akshay (IIT Bombay, India) Étienne André (Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, France) Giovanni Bacci (Dept. of Computer Science, Aalborg University, Denmark) Massimo Bartoletti (Dipartimento di Matematica e Informatica, Universita’ 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ão Costa Seco (NOVA LINCS - NOVA University Lisbon, Portugal) Pedro R. D’Argenio (Universidad Nacional de Córdoba - CONICET, Argentina) Farzaneh Derakhshan (Illinois Tech University, USA) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA, Serbia) Ludovic Henrio (CNRS, France) Thomas Hildebrandt (University of Copenhagen, Denmark) Daniel Hirschkoff (ENS Lyon, France) Hanna Klaudel (IBISC, university of Evry, France) Eva Kühn (Vienna University of Technology, Austria) Carlos Gustavo Lopez Pombo (Escuela de Producción, Tecnologíay Medio Ambiente, Universidad Nacional de Río 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) ********************************** * Main topics* Topics of interest encompass all areas of coordination, including (but not limited to) coordination-related aspects of: - Theoretical models and foundations for coordination: component composition, concurrency, distribution, mobility; dynamic, spatial and probabilistic aspects of coordination; logic, types, semantics. - Coordination of multi-agent and collective systems: models, languages, infrastructures, self-adaptation, self-organisation, distributed solving, collective intelligence and emerging behaviour. - Coordination and modern distributed computing: web services, microservices, peer-to-peer networks, grid computing, context-awareness, ubiquitous computing, mobile computing, reversible computing. - Session-based programming: models, languages, behavioural types, and tools. - Models, languages, verification techniques and tools for interacting smart contracts and (blockchain-based) decentralised applications. - Languages, methodologies and tools for secure coordination. - Cybersecurity aspects of coordinated systems, coordinated approaches to cybersecurity. - Nature- and bio-inspired approaches to coordination. - Specification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and security aspects. - Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing. - Coordination platforms for infrastructures of emergent new application domains, like IoT, fog- and edge-computing. - Programming methodologies, languages, middleware, tools, and environments for the development and verification of coordinated applications, including DevOps approaches. - Coordination in business process management: coordination models for business process management, process mining techniques and tools for coordination models. Industrial relevance of coordination and software architectures: programming in the large, domain-specific software architectures and coordination models, industry-driven efforts in coordination and case studies. - Interdisciplinary aspects of coordination.