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=kXHm50KD; 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=E+JRLIeL; 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 A73B240085 for ; Tue, 26 Aug 2025 12:09:46 +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=0Zt4HtuIn8F+Wd4ifCD0IJalxHOxCLp/uIJFPKU7SRM=; b=kXHm50KDZ/qHOWpQhJguJmqmNAlGxUZDC1Vvu+mdPCyyeYVAPED/YRWj diTnVDvesHX/D15GGn2SKQ2795+ozcnuaCTGx2ANkdoXVO8rWbie/qTqY MGcmvTGMFJbC0FjgJPVEd2S3l8Rnr8A6JirC+mPh7b8hy3rWe8aEPeHBm c=; X-CSE-ConnectionGUID: 4fUNJtz5THSMYOc5nhBXcw== X-CSE-MsgGUID: UPK+A+gLRnGMKRJIJ/LNXw== 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.18,214,1751234400"; d="scan'208";a="236146435" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Aug 2025 14:09:45 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 69C46E0C55; Tue, 26 Aug 2025 14:09:45 +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 8F0F7E0172 for ; Tue, 26 Aug 2025 14:09:42 +0200 (CEST) X-CSE-ConnectionGUID: eN1JafkmTL2TNqAHXCkqhw== X-CSE-MsgGUID: V9TUFdlUTgK2my7WeDg2aA== IronPort-SDR: 68ada405_ZQZZUFm4ZISXKokAZiYfoGMysTB3YWXe7eltrTW+/Dvr1jh OApgSwqAAar6ogRTSh/2mLRnZzY+r1v4S+fjjNg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FUCgC6oq1ogbamVdFagQmBVYIWKIEBWTQEC0mEVYNPj?= =?us-ascii?q?AEzgW6BFo0FkBaBEQMYPQIPAQMBDT0UBAEBAwEDggyCdIwoAh4HAQQ0EwECB?= =?us-ascii?q?AEBAQEDAgMBAQEBAQEBAQENAQEFAQEBAgEBAgQGAQIQAQEiGQcOO4ZPDUkBA?= =?us-ascii?q?QEDBwSBa3VNYQIFAzoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBBQINHz8BIAQTCwYdARsKAgUHBgMBERAPAiYCIwERAQUBNQgODIIIW?= =?us-ascii?q?YIiAQYQAQMPJgMRqQyCJIEFQos+gRUFAhaBAYINBoEJPgXZEwoZKA1uA4FhA?= =?us-ascii?q?gEGFIEHLoR1KU4OgjkdAYFug36DfXongQOBJYEVNYIFOAeDUAICGIERARIBN?= =?us-ascii?q?oNGgmkEgiKBAhSBVYkkh24DXoZtJggBBhcDBwcJBQQcBgUFAj8JBgUKEgMEA?= =?us-ascii?q?wQEAQILEwkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMEQooIhIrCgECAVo0A?= =?us-ascii?q?QgGAgIEBAIEDAIJAgIFBwIRAwQBAQgCAi0DAQMZCAkIAgsFFBgMCwcyAxABB?= =?us-ascii?q?AkMAQECBAICGgIBAwgGAQ0CAwICAQICBAIEBgcECAEBAgECAQEBBAEHAQECA?= =?us-ascii?q?gMDBQMFAwgZARUJFQMEBQISAgIBBwECAQEDGQIBAwMEAQsCAQEEGwQVFAIkA?= =?us-ascii?q?hkCAQUFBQEDBAsQCQMCBQQCAgYCBA4CBwICGgQCAgEDBAYDAQIIAgIHBAgDA?= =?us-ascii?q?QICBxcCFQECAQMCCQoEBQQDBAMCAgIBDAMBAgMCAgECAQEDAQUGHQIBAw8IB?= =?us-ascii?q?AICBwICIBkBAgEBBgYDAwMKAwEKAQEGAgECEgUCAgIEAgIGBCUBAgECAQEBB?= =?us-ascii?q?QIBAgECBAIHAgECAwgBBQIGAQICCQECAQICAgECAQECBgIBEQQBAgICAgIDA?= =?us-ascii?q?QMGAgICAgICCQICAgIFAgUDAgMFAgUCAwMCAwQDCQMDCAMGBAMBAQIBAgICA?= =?us-ascii?q?QIBBQIDCQEBAwIBAgICAwYCBQUBAwsMAQECAQMFAwMEAwYBDQQDAgQCAgICB?= =?us-ascii?q?AIBBQMDAgUBCgEEAgEDAwMEBAMBAgIKDAIEAQEBAQIBAgIKAwIFAQMDAREDB?= =?us-ascii?q?AEGBQUGAgcJAwICAwIDAgQDBQMBBAIEAwMCAgIBAQoCAgECAQEDAwcGEAECA?= =?us-ascii?q?Q8CAwMEAwQGAwUJAQMHAQEBAQECFAMCBAURCAIBAR4BFQIHAQQDJx4CAgYCA?= =?us-ascii?q?gICAwICAwMDAQIBAQMFAQMCAwIBAgEGAgMDAwUDAQ4CAgMBAwEGBAQCBwECA?= =?us-ascii?q?gIOAQMCAgkCBwkIAgETEwICAgIBAgIBAgcBAQIDAgUFCAIBAQECAgMCCwICA?= =?us-ascii?q?QIBAgIDAgMCBgEJBAQGAQIBAQUEAwkBAgMkAwMEBQMCAgIHAgQDGQINBgEEA?= =?us-ascii?q?wUFAwgDBgICAw8DBwYHAgcEAgQCAgIOAgMDBwUCAgMBDAQHAgMCAhIDAQECD?= =?us-ascii?q?wICAgwBAQQCAgIFAh8KDgIHCgIBAwEBCgIEBAMKBgIGBQICAQQDAggCAQICA?= =?us-ascii?q?QIIAwIHAwIDAgEPGQMCAwoCBgUECAICAwMEAgICCQEDBgEBAQECAgICAwICB?= =?us-ascii?q?QYOBAQEFQogAwEDBQIEBwIBAwICAQQBAQMDAgECAQIDAQICBAIDAwMDAwQEA?= =?us-ascii?q?wEBAwIDBQICAwICAgIEAQEFCwECBAMBBQEHBQMBAwkCBQQEAwIEBQMMAgIEA?= =?us-ascii?q?gMDBgMDBgMCBQIUAgkDIw8DCwkIEz0BCwcyBDYBFBQHKyFflAKDLSgDgQAQE?= =?us-ascii?q?34HBRcZBBMEJgUBAQEKDEuSdAuzOAeEH4FkgjeIA5VTM4sbn1CIA5EDG41tl?= =?us-ascii?q?UoaE4UxESQSgUkjbHAzGiOBAYI2TwMZD1eRSoJkgi+0aQJFMjwCBwEKAQEDC?= =?us-ascii?q?YdOQooOgUsBAQ?= IronPort-PHdr: A9a23:PY4gQhweB/G7VynXCzLBw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xeZva4m1QCUB9yTwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezb75+N gm6oAveusULg4ZvKrg9xgbUqXZUZupawn9lKl2Ukxvg/Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRfMVQWA6WIQX3sZnBRVGwTK4w30UZn3sivhq+pywzKaMtHsTbA1Qjut8 aFmQwL1hSgdNj459GbXitFsjK9evRmsqQBzz5LSbYqIM/VwY77dfcgCRWVfQslRSyJPAoS5b 4QVDuoBO/tTo43yqlYKqBezAxSnCuHyxT9SnnL50q003eoiHw/bwgIvA90AvW/IrNXsLqoeT fy5wLXKwDjFcvhY2S396I/Nch05uP+MQKh/ftfQyUYxCgjLi1WQppL+MDyOyOsCqHWQ4u1nV eKykWEotgBxrSa1yscvionGmJkaxUva+ipi2oo1Odi4SFZgbN6rFZtfrSCaN49sTsw+RGFov T83x7sbspG0YCYE0o4oxwLDa/OZaYiI5AruWemNLTl3mX5rd6yyiwus/UWv1OHxV8u53VdIo ydBltTBq2wA2h/O5sWaSvZw40Ws1ziP2g3N6+xJPU85mKXGJpMn37U+mJ0TsUHZES/3nkX7l KCWdkQ4+uio9uToea/qpp6bN4NslA7xKL8um8yjDuQ4KAcOXnKb9f671L358k30RqhBgP4uk qTBrpzWOcAWqrS6DgJVyIov9heyAja83NgFnnQLMlRIcw+dgYfzIVHBOvX4AO+/g1uylDdrw OjLPrj7DZXMKnjPibbhfbJg50JFxgo/0NNS64xOBrEOJ/LzXUDxtNjGARMjLwO0xOPnBM181 oMYR22PHreUPL3OvVKM/O4iIOmBaJUItDv8KvUp/ePigHwnlVMFeKmmx5oXaHS2HvR8JEWZZ GLhgtAcEWgQowU+TfLlhEeBUT5TeXm9RLkz6S8gB468EYfDQ5itjaeO3Ce+BJJWZ2RGBkqQH nfvcoWIQ+0MZz6KIs99jjwEUqCsRJM72hGrsA/20r5nLuvP+i0Erp/jz9h05+jLlR4o7zB0D sKd03uMT25uhG8ISSU20Lh5oUNm0liDy7R3g+REFdxP4PNESho2OYbTz+NkDND8WRjPc8+HR 1i7WtmmGy8+TswyzdEUe0t9Hs+tjhHH3yazAr8Vk6GHCIU68q7B3HX9Odxxy3nB1KkmgFkmR tVAOXe6ia548gjfH5PGk0aYl6avbakSxCHD+2mdw2SSoExWVhZ8XrjAXX8FfEvZscz06FvbQ bG2BrorKhBBydaMKqZScNPkkUhISur7NNTFe2KxlX+/BRaWybOIa4rnY30T0jzFBkYLwEgv+ iONPA06QyOguH72DTp0FFupbVm/3/N5rSacU0Y4zgzCTE1s3bC48FZBguGVR/IemLEEtS0rp j8yAFOl993TAtuE4QFmefMPMpsG/F5b2DeB5ERGNZu6IvU+1zb2EixytkLqjFBsD5lY1NMtt DUsxRZzLqSR1BVAcSmZ1Nb+IO6fMXH8qTaobaOewVTCyJCO4K5a7+kxp1Tu+gKpG0Ao/n8hz 9xN+3SZ75TOSgEVVMG5SV45oiBzvKqSeSwh/8XR3HxoP7Ozt2rFxtslBeZjyRatdd1SOuWYE RfaHMgTBszoI+svyBCydhxRGudU+eYvOt++MfuL3Kn+JOF7gDevlnhK+qh420OIsit4E6vGh sZfhf6f2QSDWnH3i1LJXtnfv4dCaHlSG2O+zXOhH4tNfuhpep5ND26yIsqxz9E4hpj3Wnce+ kTxT1UBkNSkfxafdTmflUVZyFgXrHq7mCC50y08kjcnqbCa1TDPxOKqfQQOO2pCTm1vxVn2J o38g9cfVUmuJw8n8XntrUHnzqRaqeJ8L2TZS0pCOTTzN0ltV6KxsvyJZMsOoJIkvCNLUfitN EiAQ+2YwVNS2CfiEm1CgTEjImvy69Opwloj1jzbdSYp/x+7MYlqyBzS5cLRX6tU1zsCH2xjj CXPQ0O7J5+v9MmVkJHKtqa/UXigX9tda3qOr8vIuS2l6GltGRD6keq0n4itFhUz3S72kdpqW C/CoRy6fozz/6u/OONjOEJvARWvjqgyUpE7iYY2iJwKjDIdm5yZ/HdBkmf+O99W0+TiaWIlS jsCwtqT6w/gkh4GTDrB18fyUXOTxdFkbt+xbzYN2y4z2MtNDb+d8L1OmSYdTkOQlQvKerA9m z4czaBr83sGm6QSvxJryCyBA7cUFE0ePCr2lh3O4crs5KlQYW+ud/C32i8c1ZimEbiOowwaW 3b0cJ0vF2ls691XP1fF0Xm14YbhMNXddtMcsBSIngyI1bAEbsJs0KNU22w+aTi1tGZAqaZzl RF02JCmoIWLY35g+q60GF8QNzH4Yd8S5iC4iK9fmsiM2IX8e/cpUj4PXZbuUbepCGdI7aWhZ 1vISWNi7C7LQ+m6f0fX8kptonPRHor+MniWICJc1tB+XFyGI1QZhgkIXTI8l5p/FwawxcWnf l0qg1JZrlP+tBZIzfplchflVWKK7gC1Yzs1Rd6cLBdc5AxIoVvQKeSR6+tyG2dT+Zjr/2nvY iSLIh9FC20EQBnOAE3qMrijo9rA/uKSC+D4M/7WSbqLoO1aEfyPwNj8t+kutybJPcKJMH54C vQ90UcWRnF1FfPSnDAXQjAWnSbAPIaL4Q2x8SptooWj4ezmDUjxsJCXBeIYYrANs1imxL2OP OmKiGNlJCZEg9kSkGTQxuFX3UZO2X4yMWD3TPJY83aKFfyYm7cLXUdEMGUqZZcOt+RkmVATX KyTwtLtiuwi1q9zWwoDDAax3JnuPJNCInnhZgmeWgDWZPLfdGeNm4auMOu9UeEC1rwK8Ufr6 HDASQm7eW3S8luhHwamNeUG5M2CFDpZvoz1MhNkCGy4CcnjdgX+K9hvyzs/3bwzgHrOc28aK zl1NU1X/PWW6mtDj/NzFnYkjDItJPSYmyuf8+jTK4oH+fptDCNukutG4XM8g7JL5SBATfZxl WPctNlr612hl+COzHJgXn8s4n5Tg5mXuEx5JajD3pxJWHKB/RZUqGvJW05MqNxiBdni/atXz 5mHla7+LitD78OB/cYYAJuxSorPO34gPBz1XT/MWVFdHHj7aCeG2RIbyaHIpRj35tAgp5Phm YQDUOpeXV0xTbYBD1h9WccFONFxVy8llriSiIgJ42C/pV/fXpY/3NiPW/SMDPHoMDvcg6NDY k5Cxq7xIYUecI771kZoZ1M8gIHSM0XVVNFJ5CZma0VnxScFuGg7VWA110//P0m152QPEPevg hMsog53YOBo9TO1plludgCMqyw3n008397ihHrCFVy5ZLf1VoZQBS3uskE3OZ6uWAd5Yzq5m kl8PSvFTbZc51OBXWViiQuZuJ8WXPAFHfcCbxgXyvWaIf4v1AYEws1I7UBC7OrBT5BlkVlzG XZJh31F0gNnKtUyIP6ITJc= IronPort-Data: A9a23:2tsjNKqTN3YfcKAiEYOMtzrJreleBmKyYRIvgKrLsJaIsI4StFCzt garIBnTP/mPZGPxfdEiPYW+9UtQuZbQx98xTwBtpS5kQy5B8uPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7ko/1BjOkGlA5AFmNaoW5AW2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656L+dE8tliMcmEO2xAKUGk1FQ5jLADelzFPgvQ42SjTNZ9DI5h8QLHPKHI sRAOWApYxPHbBlCfFwQDfrSns/y3ii5I2Ae8QzL4/NnuQA/zyQpuFTpGN3Ic9CLSINWnkuSr G/MuXj8GjkVMdWezXyO9XfEaurnxHmgCdtOROPpnhJsqGPC+lE9BBkraVSY+/yo1XGzd90FI mVBr0LCqoBpqRXzEYijN/Gim1aPtxsYHt5RCPES8xCI0qOS4gCDB2FCQCQpVTA9nMo/RDhv1 1vQ2t2wVWYpv7qSRnaQsLyTqFteJBT5M0cPQ3YmRAUG5uXH+r0Vlzvvfv1gCa6q24id9S7L/ xiGqy03hrM2hMEN1rmm8V2vv95KjsiZJuLSzlWINl9J/j9EiJiZi5tEAGU3AN5FJYedC1iF5 T0KwpjEqu8JCp6JmWqGR+Bl8FCVCxStYWS0bb1HRsZJG9GRF5iLINE4DNZWeRgBDyr8UWW1C HI/QCsIjHOpAFOkbLVsf6W6ANkwwK7rGLzND6+JMIMSPMcvKV/doEmCgHJ8OUi9wCDAdolva f+mnTqEVy5y5VlPlWrvHrxFi+NDKt4WmzmDFMCgp/hY7VZuTCXIEO9aYQXmghER46SDrwHYu 9dZPI3i9vmseLyWX8UjyqZKdQpiBSFjW/je8pULHsbdeFYOMD96UJf5n+h+E7GJaowPx48kC FnmAhcAkDISRBTvdW23V5yUQOi/DM8u9ipgYHdE0JTB8yFLXLtDJZw3L/MfFYTLPsQ5pRKtZ 6BdI5vSMecFUTnd5TUWYL/0qYEoJlzhhhuDM2DhKHIzdoJpDV6BsNL1XBrdxA9XBAqOtOw6v +KB0CHfSsE9XAhMNpvdR8+u6FKThkIjvtxOcXHGGfRtXXn90ZNLLnXxh8AnIstXJhTkwCCb5 jmsAhwZhLfsptY1+ebWmam7sJeNLNpuOWZ7AluBvKiEbzne2m+F34V7cf2peArFXzje45SSZ uRyztD9PsYYnV1MjZFOLrZzwY865Prtv7V/3C0+OFnqNnOFUqhBJFuC1ulx7px9/KdT41aKa xje6+tkNqWsE+K7NlwofS4OTPmJjNMQkRnstcUFGl3wvnJLzeDWQHdpHke+jQJGJ+FIK6Ij+ +AqvfAW5yGZihYHNtWnjDhex1+TL04vArkWiZUHPLDF0gYb6ElOQZj5OB/E5Juib9ZtME5zB hS2gKHEpapXx2ucUn4VOEXO49FghsU1iEgX9GMBGlWHocqap/kV2BYKzy87YD4IxTp60sVyG FNRCWtLGYu08QxFvvNzB1KXJ1kZBTmy2FDA9F8SpWiIE2iqTjPsKUM+C8as/WcY0WRWQRZD9 prFymy/CTfOV+Py1xsURkRKhaHCT9tw1wuag+GhPZ2PMKcbaArfoJ2FRDQ3uTq+Jugulmjrm PJM/u0tTYHabwsu+7YaDaue3pQuECG0HnRIG6xdzflYDFPidyGX8hnQDlK6ZedmBeHAqG28A OxQfvN/bQy0jnuyn2pKFJw3AuFGmdAy74A/YZLtH2kNtoWfohdPsJ798ivfhnchc+5xkPQSe 5/gSDafLlO+3XdkuXfBjM1hCFqKZdMpYA7d3ufs1M4rE5kFkv9ncGBs87+SkkiWDjBa/EOvj FueX5PV8u1s8pQzvo3OFq4YOR64B+muX8u18Seyke90U/XxDen0uTko92bXZzZtAeNJWvBct 6i8j9rs7UaU4Jc0Sz/4nreCJYlo5OKzfuxdDezvJlIHnyHYAM7IyDkA8lCeNpZmvo585M6mZ g3gc+q2V4cfdOl8zU1vSRp1MkgiGYWuSYz/twaRku+qCBNA9SDmdvaZrWTIa0NffQ82Y6zOM Bf+4auS14oJvbZyCw8hLNA4Jo1zP3vIe7YsLv/1vhmmVliYuEuI4ObepEBx+APwKye2Fejh6 sj4XTn4ThO5vZ/IwPx/s4Bfuh42Dm53sdIvf3AyqsJHtDSnMFEodegtE40KKpVxoBzA0JvVY DLsbmx7LQ7fWT9CUwv34fW9fwO5K9ENBOzEJW0SzxvJUxu1OYKOPuIwvGMoqXJ7YSDqw+ybO MkTsC+4dAS4xpZyA/0f/LqniONg3enX3W8M5Vu7qcHpHhICGv8f4RSNxuaWufDvSKkhVXknJ FTZgUhBSUC/DE/1SINuIi4PXh4euzzrwnMjaiLnLBMzfWmE5LUo9RE9E7ibPn4/gAAiK7sHR HexTGyIi4xT8mJGorMn4rrFnoctYc9m3aGGwGvLSggbnqX24WMiVy/HcezjU+l6kDNi/5jhe vVALpTw6Ilp6Kyc5VFO9Tg0xg== IronPort-HdrOrdr: A9a23:cKT+Batg1rUwOZbEoe+O/K717skD4dV00zEX/kB9WHVpm6uj5r 6TdZUgpGDJYVMqM03I9urhBEDtewK4yXc32/htAV7aZnidhILwFvAY0WKB+UyHJ8SOzJ8/6U 4IScEXZeEYa2IK9foSzzPYLz9K+qjkzEnHv5a7858kJTsFV4hQqyNwCgOUDkozfgVACJo/Gt 69/45/oTykEE55Uu2LQl0MX+3Mu9qOrp7gbB4ACVoG8U22izWsrJnzFxTw5Hsju3km+90fGS avqX2f2k1C28vLtiP05ivu5JhM3PvNo+EzffCxtg== X-Talos-CUID: 9a23:H7X7ZWxQR8IqsF6RiK1bBgUZPJkHe3PeyUv0eXOeEE9JeJaWUF+PrfY= X-Talos-MUID: 9a23:716JRwQeGxzgjh6wRXTS1Q1fGsts3pihKxoIgMo5tuWLbyVZbmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.18,214,1751234400"; d="scan'208";a="123914869" X-MGA-submission: =?us-ascii?q?MDHy/g0o7sHLAV3yjp40ZX7pz1DBA6SL2AVUP9?= =?us-ascii?q?bGCuv7Y0PuLG0Tk5VZr9cf4oium9uBnsq2BZKhPrNfRepptw9+NbmMe5?= =?us-ascii?q?V/CDRXJAB7v4NoKuJelinbuGuU759jsl3H4e+ipHF4P6MrlviuGYRYY7?= =?us-ascii?q?jhSxFqffHp81lUj8UEEewITg=3D=3D?= Received: from mail-il1-f182.google.com ([209.85.166.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Aug 2025 14:09:41 +0200 Received: by mail-il1-f182.google.com with SMTP id e9e14a558f8ab-3e566327065so28224815ab.0 for ; Tue, 26 Aug 2025 05:09:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1756210180; x=1756814980; 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=0Zt4HtuIn8F+Wd4ifCD0IJalxHOxCLp/uIJFPKU7SRM=; b=E+JRLIeL5rZWDCTjud1k3VEg005dLPrl2AAnlvJw4tr7E/nm85W6TYNC+DARPYA5qq jI1pjMkPOwOwJQhUYtb+83HZ12ZZ5+mNo27pDsrOZGo0Dxql7DwepuTLsaebaZYmz9ql qSLmberzkyYOWUmH7r8MFnV7QH4GvV/hUhtPjhvtpuE5KRlI4x55ttuQ0AbOvAhcOlIw utNg6+KCDOdGKIEe4nWVfHpkmysz7FCt/PxSZtJ61IHCTV8p2IJQM7aSqqO8juecnmaG ya+WoEAdeKHlckwRCY2e3r1joq0HJPrUq5t0s993wxRuVVeEAqoFJclP+BBaxP5lkRE0 K4wQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1756210180; x=1756814980; 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=0Zt4HtuIn8F+Wd4ifCD0IJalxHOxCLp/uIJFPKU7SRM=; b=QhuFOlvVC5U6VWWmwdrqyZ78HUYXPnMqFav9Y6+CcT0pA/P/MCPeR9wTaF56r4QJvt 3KJVVzr4tcenHwQnrIiWDcCLa3qDtj7akqp5A+AGq7LMAqNi0WaASftjZqfCvr/Y6niP G/UwQ+EM0vVwqDljEmeNWDF4G7El0WiHGQ+HSIU5LZzmqpyYhxBuh2e+xS/jopAJbiHc jiggepV1AJYvrBJSwLVzf5X3PZwsKr/BrMPN21ctKdHpGTgMP2IO5vMMRLHUezdpnmdt YAv4mQ3FJYYeGDFb1VHJpf6UbGPLU0nXf6ZmQAGFmTg/kR55+ou6wA8yVwfcYfnDHzW/ TJyQ== X-Gm-Message-State: AOJu0YzlR7VnR6p6QwNTIR9XQ94lcVcix212KHKLXnyvtn3hUeH5wA09 8bPZc1orGkCijGUhfauxEelOw3pvGGZcmwk3PhqsD0bgXYm0dflS5REoZCVwYaaomF9ryyozCzQ GwbVIskcJXXLz+xl2ypXiW4S+CY8dCVi7Cgvk X-Gm-Gg: ASbGnct08YmC9KScSbvgcG0aevPgNNFuRswRNjGslYsvjQx4iEaGGhE4xv6BWm/n1b0 X4+JRLQbbefIaBce4U5oMgOqIo7foXfyvTYSTWIRHedM4S/U8GeAPxwXMu0bpdpwA8NVsQhrefw Sldya8wbQ5IO+HRQ7Sb1K9yr/ITWU2ElYLiwd02ZHrrjquPZWApro+6RLoZYHUFBtZf8/4A1WN9 +XrbZ68 X-Google-Smtp-Source: AGHT+IHmDWlnwiCADui7zp4Ri9UulvjRBxOE8q2wm0Etpm5t2g61g6RIlJUsad+Z7zTRMHaVJTHvCP2YerPyaFb8OXY= X-Received: by 2002:a05:6e02:1342:b0:3e9:7b6a:37e9 with SMTP id e9e14a558f8ab-3ef08858a42mr12692905ab.8.1756210179870; Tue, 26 Aug 2025 05:09:39 -0700 (PDT) MIME-Version: 1.0 From: Ouadie Khebbeb Date: Tue, 26 Aug 2025 13:09:29 +0100 X-Gm-Features: Ac12FXzMrFWxTD-cpjd6vaSAqMJK8ypojNC-g9WAEf6zHNi5tTO3PM1BMXQ1ask Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] DataMod 2025 - Final Call for Papers, Extended Deadline Reply-To: Ouadie Khebbeb X-Loop: caml-list@inria.fr X-Sequence: 19368 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: DataMod 2025 - 13th International Symposium "From Data to Models and Back" Toledo, Spain, 10-11 November 2025 Website: https://datamod-symposium.github.io/DataMod-2025/ DataMod 2025 is a satellite event of the 23rd International Conference of Software Engineering and Formal Methods (SEFM 2025): https://sefm-conference.github.io/2025/ ---------------------------------------------------------------------------= ----- Paper submission deadline (extended): 10 September 2025 ---------------------------------------------------------------------------= ----- CONTEXT & OBJECTIVES DataMod 2025 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data. Papers can present research results in any of the themes of interest for th= e symposium, as well as application experiences, tools and promising prelimin= ary ideas. Papers dealing with synergistic approaches that integrate modelling = and knowledge management/discovery, or that exploit knowledge management/discov= ery to develop/synthesise system models are especially welcome. Authors are invited to submit original research or tool papers on any relev= ant topic. These can either be normal or short papers. Short papers can discuss= new ideas which are at an early stage of development and which have not yet bee= n thoroughly evaluated. TOPICS Modelling and analysis methodologies include: - Agent-based Methodologies - Automata-based Notations - Big Data Analytics - Cellular Automata - Classification - Clustering, Segmentation and Profiling - Conformance Analysis - Constraint Programming - Data Mining - Differential Equations - Game Theory - Machine Learning - Membrane Systems - Network Theory and Analysis - Ontologies - Optimisation Modelling - Petri Nets - Process Calculi - Process Mining - Rewriting Systems - Spatio-temporal Data Analysis/Mining - Statistical Model Checking - Text Mining - Topological Data Analysis Application domains include: - Biology - Brain Data and Simulation - Business Process Management - Climate Change - Cybersecurity - Ecology - Education - Environmental Risk Assessment and Management - Enterprise Architectures - Epidemiology - Genetics and Genomics - Governance - HCI and Human Behaviour - Open Source Software Development and Communities - Pharmacology - Resilience Engineering - Safety and Security Risk Assessment - Social Good - Social Software Engineering - Social Systems - Sustainable Development - Threat Modelling and Analysis - Urban Ecology - Smart Cities and Smart Lands Synergistic approaches include: (1) Use of modelling methods and notations in a knowledge management/discovery context (2) Development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest SUBMISSION AND PUBLICATION Papers can take one of the following three types: - regular (research, tool or position) paper, up to 16 pages (excluding references) - short (research, tool or position) paper, up to 8 pages (excluding refere= nces) - presentation report, up to 4 pages Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as to previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recogn= ised conference, or which has not yet been submitted. Presentation reports will receive a lightweight review to establish their relevance for DataMod. All submissions must be original, unpublished, and not submitted concurrent= ly for publication elsewhere. Authors are invited to submit their presentation report via Easychair https://easychair.org/conferences/?conf=3Ddatamod2025 Papers must be formatted according to the guidelines for Springer LNCS pape= rs, without modifications of margins and other space-saving measures. Authors s= hould therefore consult Springer's authors' instructions and use their proceeding= s templates, either for LaTeX or for Word, for the preparation of their paper= s. Springer=E2=80=99s proceedings LaTeX templates are also available in Overle= af. Springer encourages authors to include their ORCIDs in their papers. Each paper will be reviewed by three Program Committee members. Notificatio= n and reviews will be communicated via email through the Easychair platform. Accepted papers (both regular and short) will be included in a dedicated LN= CS post-proceedings volume published by Springer after the Symposium. Conditio= n for inclusion in the proceedings is that at least one of the co-authors att= ends and presents the paper at the Symposium. IMPORTANT DATES - Research Papers Abstract submission deadline (optional): 22 August 2025 Paper submission deadline (extended): 10 September 2025 Acceptance notification: 30 September 2025 Revised version: 7 October 2025 Symposium: 10-11 November 2025 Note that you will have the opportunity to submit the camera-ready paper fo= r the LNCS Proceedings with discussions and remarks after the symposium, i.e., by the end of the year or early Jan/26. PROGRAM CO-CHAIRS * Livia Lestingi, Politecnico di Milano, Italy * Gwen Sala=C3=BCn, Universit=C3=A9 Grenoble Alpes, France PUBLICITY CHAIRS * Ouadie Khebbeb, Universit=C3=A9 de Grenoble Alpes, France STEERING COMMITTEE * Oana Andrei, University of Glasgow, UK * Antonio Cerone, Nazarbayev University, Kazakhstan * Riccardo Guidotti, University of Pisa, Italy * Marijn Janssen, Delft University of Technology, the Netherlands * Stan Matwin, University of Ottawa, Canada * Paolo Milazzo, University of Pisa, Italy * Anna Monreale, University of Pisa, Italy PROGRAM COMMITTEE * Oana Andrei, University of Glasgow * Kyungmin Bae, Pohang University of Science and Technology (POSTECH) * Juliana Bowles, School of Computer Science, University of St Andrews * Giovanna Broccia, ISTI-CNR, FMT Lab * Antonio Cerone, Nazarbayev University * Robert Claris=C3=B3, Universitat Oberta de Catalunya * Carla Ferreira, Universidade NOVA de Lisboa * Marc Frappier, Universit=C3=A9 de Sherbrooke * Elisa Gonzalez Boix, Vrije Universiteit Brussel * Riccardo Guidotti, University of Pisa * Alexander Kocian, University of Pisa * Ricardo M. Czekster, Aston University * Jos=C3=A9 Machado, University of Minho, DI, ALGORITMI/LASI * Paolo Milazzo, Dipartimento di Informatica - Universit=C3=A0 di Pisa * Pedro Ribeiro, University of York * Arpit Sharma, Indian Institute of Science Education and Research * Volker Stolz, H=C3=B8gskulen p=C3=A5 Vestlandet * Martin Tappler, TU Wien * Thais Webber, Aston University * Lina Ye, CentraleSup=C3=A9lec, LMF, University Paris-Saclay, France CONTACT > All inquiries should be sent to datamod2025@easychair.org