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=JbRWaJrS; 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 EB5E840093 for ; Wed, 16 Sep 2026 14:23:58 +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=pObdd2gRHMuTFlMO2vgfRKV3If1H2ffWrEYoTZpi3WY=; b=JbRWaJrSWi5oFvrFSKBCtZa8+0csWX7STiCpQC7YxnaxdorzML7Fauzu 9a1SdClQlOZBOispc1JnlFTnCbHkyqiPguyM/GsQ8OK2pVjYJd/WTg/60 FlkcuO152h/aN6mrWHb7Z3xl/+YQyQb+rWv3dSqjoIadE3I3kSXE0s10q 8=; X-CSE-ConnectionGUID: Bu7r3uvsQImj+1fvdyn4Eg== X-CSE-MsgGUID: c1upibgDRTmdNcQYph+KFQ== Authentication-Results: mail2-relais-roc.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 (mail2-relais-roc.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=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 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@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.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.27,103,1787004000"; d="scan'208,217";a="295311589" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Sep 2026 16:23:58 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id CB20F81EEC; Wed, 16 Sep 2026 16:23:57 +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 E5E5C81EED for ; Wed, 16 Sep 2026 16:23:42 +0200 (CEST) X-CSE-ConnectionGUID: 2ibpm/6yReeB83yKelwdLQ== X-CSE-MsgGUID: UJ91IcF3Sru21Bkv0rjMLQ== IronPort-SDR: 6aaaa66e_AXDS/BAhlCpcgAVGDiH1MH/ka9AlhPt7HhQVYepL0H1gyPh WeSNM3MwPnDjED0poZzE65Tig0ARMJEFfG+yNSg== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0H2BQD4pKpqfIzkfUpaDoUMgQtgNAQLSYRYgSOCLIwDg?= =?us-ascii?q?X8Fk2yDeIUCgVaBPj0CDwEDAQ0UAQEBAiQUBAEBAQIBA4ILgnOOCgIeBwEER?= =?us-ascii?q?wECBAMCAwEBAQEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw4SK?= =?us-ascii?q?YZPDYwTO3FhAgUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEFAg0fPxYtBh0BGx4DEggBBzcCIwERAQUBIxoMgm+CIgEGEAEDNwMRt?= =?us-ascii?q?zuLcoEVBQIWgQGCDQaBCj4F2R4KGSgNdYEMXAIBBhaGLypdgl8BgV8BAg6EC?= =?us-ascii?q?DuEaBuCDYEVNYgkIIMOgmoEgy6CSId+iVkmCAcXAwcHCQUEHAYFBQI/CQUBD?= =?us-ascii?q?xIDBAMEBAECCwkKCQMDAg4CCAMCCAYZAT8SBBMKDQsHBR8KAgwUCigiEgIpC?= =?us-ascii?q?gECAR8KLAMUGQEBBwYCAgMBBAIEDAIJAgIFBAMCCgQDAwQBAQgCAi0DAQMZC?= =?us-ascii?q?AkIAgsFERgMCwUCCicDDwEJAx8XFggRNAgGFgEaBgUGCzcVBQwRAQIbAh8EH?= =?us-ascii?q?REIAwEbAgICAQkDBBYEAhQKIQMDAgMFAQMDAwUCAgoGBwEBAQMCAggDBgMKC?= =?us-ascii?q?QIFAxsYBAECAgMCAQIIAwcIAw0DBAIDAwMEAQICAQEBAgMBAwMEAwEGAgEDB?= =?us-ascii?q?wICAwMDCwECAwMFAwMFBQICBQUDBQICCgIDAwMCAQMCGggDBgMSARADAwYBA?= =?us-ascii?q?wcDBwIEAwkCCAMDCAgDFwMDBQECAgQDAwgIBAMDBAICAwwFAwIDAwUDAwcCB?= =?us-ascii?q?AIEAwMBBQECBwIDBwIBGAMCBAgHBwUCCwQCCAQNCQQCBAICDwQGAwMHAQECA?= =?us-ascii?q?QcFBgMCAhABCAoFBgICAhwDHgMPBgEJBQIBBQ4HBQICGAMGAgMGBQEDAQoLA?= =?us-ascii?q?QECAwoBAgQCBQMDAQMCAwIGAwMCBQUFAwkHBQ4JAQMDBgUCAgMCAwECCAQGB?= =?us-ascii?q?QMCAgMFAQQDBAMKAwIIAwMIAwwCGgIFAwMDBgkDBwcCAwcDAgUCBwUDAwUDB?= =?us-ascii?q?gEDAgEDAwgLFR8DAwEFAwMCAQMCBQMDGAICBAUDAwMDAwgEAgIBBwYEAgICA?= =?us-ascii?q?QUFBQQFBgIEAwgBAQUDAwoNAQIHDAMMBgMHAwMEBAMCBQoCBAEHDQcJBwMCA?= =?us-ascii?q?wgBAQsEAQMDCgMDBQIBAQcFAwYDBwIDAwMFBAUDAgsDBwICAwMDAikBAQEDA?= =?us-ascii?q?wMDAwQDAQMBAwMHAwUDAhAHAQEKAwIGAwcGAwUDAwIBAgMDBREDBgQFBhkCB?= =?us-ascii?q?hE6AQgCAwMBFAQEBQUCBRUCCAEDAwUDAwMDAgUDAQUBAQMDBQMDAwMDAwQBA?= =?us-ascii?q?wQCAwcGCAEBAQIIAwMCBQMDAwQDAwIBAg0EAgUDBgICBAIEAQcDCQkIEz0BC?= =?us-ascii?q?wcyBDYBBg8UBSkhX49SH4QagRGBZpJas2Bpgz+Ec4cvlVQzqm2ZCCONZ5soE?= =?us-ascii?q?SQSgVwDDYFcMxojgQGCNlADGQ9YkUyFE4ohvQErMj0BAQcCBw4DC4FokDSBT?= =?us-ascii?q?AEB?= IronPort-PHdr: A9a23:VOje/xCbkRU1h2AkUN5/UyQUaEoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua4zygeTFt6KsKoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSsioeReWoMgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL58L Ri6txndutcZjYZsLqs8xAfFqWZUdupLwm9lOV2ckxHg68mq4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQwWX6XQQS3sbnBVVDQTd4x70Qpn+si3htupgwyaaJtH5Tao1WTu58 ahmTgLjhTodOD449GHXjdFwjL5erRm8qRFz35LYbYeIP/d4Y6jTf84VRXBZU8leVyJPDICyY ZYRAeUdJutXtZXxqkEUoBeiGQWhBuXiwSJIiH/s2q061vwsHxnH3AwmENIOtnXUrNP6NKwPU O+1zbfHxijEYvJZ3zf97onIchYuofCDXLJ/b9HcyUYqFwzfj1WQrZbpMC+S1uQIqmWW6fdrW u2zhWA9sQ5xviSvydk2ionPno8Z1lHJ+Dl9zYs7OdC1TE51bcO6HJVfqS2XKZd6TM0tTm9mp So31rIItJG1cSUIyJkpxwLTZfOafoWK4h/uVPicLDFlj3xrf7K/ggy98UmmyuDkTcm00VlKr jJBktbWsHABzRvT6tKISvZ740yv2i6P2hjR5+xLO0w4iLTXJp47zrIuiJYesl7PEjL5lUnqi qKda18q9fKy6+v9Z7Xrvp+cOJFwigH5Kqkun9awAeU8MgQXQWeb+/qw2KTt/UHkXrlGlPI2k q7esJDVIcQUuLS1DBNS0oYm8xq/DjGm38oEnXQfLl9IdwiLg5X3N1zOOvz0E+mzjle2nDt2y P3KIqXtApDXIXjClLfhc6x960lZyAcrwtFf4ZRUCrAHIPL8VU7xtcLXAwQ2Mwyx2ennCdF92 pkCVmKIB6+VKLnSvkOQ5uIzP+mMY5cYtyrnJPgg4/7ilHs5mV4Gfam1xpYXc3C5HvF+I0qDe 3bsg9EBEX0LvgUkVuDqhkeCXSZVZ3mpR608/C00CJq6DYffQYCgmKGN0D+0HpJIYWBICUqCH G/meIuZQ/sMcjydItFinDIeTbWhTpUu1RCqtAPj1bVnLPTY9jQWtZ7+ytR5/eLTlRY19Tx7C 8SSzXuBQH1znmMNXzM5waN/oU14ylqbyaZ2jPJXG8JP6f5VVAk2LYPTz+lgBNDoRg3MZs+HR k++TNupGT0xVcoxw9EWbkhnB9iskw3N0zKxA78NmbyEHJw0/bzY33j2P8tz02/I2rEugQpuf swaPmSjgut79hPPL4/PiUSQ0aiwMewX2zeI/2Oex0KPultZWUh+S+GNVH8Tb2PSrM/l/QXJT 7aqDLk9KU1axIrKKqJRadDtiRBNTfnuENTXeGG8n2P2AgyHgvuQfZLnYCAU2iPaFU4PnigX/ G2aLk4lCy665X/GATpoU1/jfhDC6+57/VW6SEAyzgeFJ31g2vLh6hgThPqTW/Ie9r0BsSYl7 T5zGQDujJrtF9Ocql85L+1natQn7QIfvYq4nwl0P5j7artnmkZbaANv+UXnyxRwDIxE18kst nIjigRoeuqDyF0UUTSe0NjrP6HPbHHo9UW/bajX3F7O0du+9aIG6fB+oFLm70myDkR3y3x8y JFO1meEoJDDDQ4cS5X0B1Yx8Rl8qKHbbwEy4orV0TtnNqzn+iTa1YcPA+0ogg2lY88ZMK6AE 1rqFNYGAsG1NOEws12gbxZBMeIIsaBtZYWpcPyJ3KPtN+Fl9N6/pUJA5o01kkeF9i4nD/XNw 45A2PaAmA2OSzb7il6l9MHxg4FNIz8ITCK5zmD/CYhda7cXH85DAHqyI8Cx2tR1hoL8E39e+ lm5Aloa2civMROMZl351AdU2AwZu3ui0Se/yjV1lXkuoM/9lGTexeLjchUXO2NjS2xrjFOqK o+xzpgbUEWucwk1hU69/0+pj6Nfpal5MyzSWRIXI26vdTwkCPHg8OPeO50qittgqyhcXeWib ErPT7f8p0BfyCb/By5Fwyh9cTi2u5L/lhg8iWSHLX81omCKHKM4jRrZ+tHYQuZcmzQcQywtw ynRAFm6MMmo8P2bkp7Ctqa1UGfrBfgxOWH7iJiNsie2/zggERu5nva8itzqOQc/2C7/kdJtU G+b5Aa5aY7t2aOgNOthdUQ9H17w5f1xHYRmm5cxjpUdsZQDrq2c5mFP0WL6MNEAnLn7cGJIX jkThdjc/Ani3kRnaHOP3YPwEHuHkINtYNyzY2Ve3SxYjYgCGKGS7bpLjSp4ilW9pAPVJ/N6m 38RxOAv53gTn+wS8FVxiHzHX/ZIRxkeZHC03x2Tp8iztqBWeHqifd3SnAJlkNatAavD6gBQV XDle4szSCp578FxKlXJgzX47oDpfsWVbMpG6UHSyk2dybIPeNRoyqJZ4EgvcXjwtnAk1eMh2 Bln3JXh+ZOCN30o56WhRBhRKjzyYcoXvDDrl6dX2MiMjOXNVt1sHCsGWJzwQLemCjUX4L73M QCPFjIsq3qzFr/WHAvZ40Bj5SGqcdjjJzSMKX8VwM83DgmbIk1ZjxAVUR01m5c4Ekahw8mrI yIbrngBo1X/rBVL0OdhMRLyB3zeqAmfYTAxUJGDLRBS41IK9wLPPMeZ9O42AzBA88jrslmWM mLCLVctbylBSgmeClvkJLXr+dTQ773SGL+lN/WXKbSW9b4BC7HRn8/pis0+uG/SfsSXYis4V 6x9ihcFBCopXZyewmpqKWRfljqTPZTD/E7upn0p9pLjoKq3ClCouNXHCqMMY48zo0zk3/fbb 7zM1Hgle2Qfi81ppzeAyaBBjgRM0348eWmnSeZc5XCRHvCXx/EfDgZFOXkjbJMatKxkjFUdZ 5KJ2JSoiNsaxrY0EwkXD1W5wpPwOZFScT3tag+VVgHWavyHPWOZmcqvb/GyQ+AI3rkE6UHi6 3HGTQf1NzCH3VEFTjiJNudBxGGeNR1a48Smdwp1THPkVJTgYwG6N9l+iXs3x6c1jzXELzxUN z80aE5LorCKiEEQyvxiB2xM6GZkJuiYim6Y6effMJMfrfpsBGx9ietb5H0wz7Yd4jtDQbR5n y7br9gmpF/D8KHH0j18TB9HsSpGnqqOtERmfKjbrNxOACyC8xUK4mGdTR8NopotC9HivbxR1 smalK/3L2QnkZqc9s8dCs7IbcOfZSV9d0OzRXiOVltDFGLzZgS9zwRHnfqf92OYtM0/o5now 98VT6NDEUcyDrUcA1hkG9oLJNF2WCklmPiVlp1thzL2oR/PScFdpp2CWOiVBKClODCfjL9Ld xoF6bz9JIUXcIb83gYxDzsy1JSPAEfWUd1X92d5aRQopUxW7HVkZmg62kagZwH3pXFKT7i7m Rk5jgY4auMovmSJgR9/Nh/Boy0+l1M0kNPujGWKcTL/G6y3WJlfFyv+s0VZ2nLTRg90aUi/n xYhOm6eAb1WiLRkeCZgjwqO4fOn9tZTSKRFZFkbwvTFPp3ANHxTryymwQlM4u6XUfNf IronPort-Data: A9a23:78HZ4KDZ3Svi3hVW/87nw5YqxClBgxIJ4kV8jS/XYbTApGgg0TxWz TQZDG3XP/6KZmP8ed5/bo63ph5TvpGAmtVqTANkpHpgZkwWlceUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOiTraCZmYqHVUMpB4J0XpLg/Q+jpNjne+3CgaMv cKai8DEMTdJ4RYtWo4vw/zF8kwHUMja4mtC4ARvPKwT5jcyqlFMZH4hDfHpR5fHatIMdgKKb 76r5K20+Grf4yAsBruN+p7nclcHS6LlJgOHjHxbQcCK2nCucQRvukqTHKN0hXZ/011lrfgoo Dl+ncXYpTMSA0H5sLh1vy9wQ3gvZ/UekFPwCSPXXcS7lyUqepZ3qhlkJBle0YYwo46bDYzSn BCxxf9kgh2r3oqLLLyHpuZE3MUpNMysYpIlt3xKnWrILvsiXpznevCfjTNY9G9YasFmGP/fY 48Ua2AqYk2aJRJIPVgTBdQ1m+LAanvXLGEe8QjI4/Btsy6KkFQZPLvFaLI5fvSaQ8NUmEmIp 2/u8GHwAxVcP9uaodaA2ivx2baXxHOiBOr+EpWF1K8zoVa9nVcJFUdPf1il+eO7r2qHDoc3x 0s8oXd39fdjqiRHVOLVVBS9pDuAvwUAc8FBFvUzrgCL0KvdpQiDblXoVRZEYd0i8cI0H3kkj wXPkNTuCjhi9raSTBpx64t4sxvoOCINKChcdBUJQCFVuMjArYUsgjb2G4ML/LGOsjHjJd3nL 9m3QMUWgrwSiYsG1f/+8wmdxT2roZfNQ0g+4QC/soOZAuFRO97Ni2+AsAazARN8wGCxEQLpU J8sxZL20Qz2JcvR/BFhuc1UdF1T2xp6DNEsqQUyRsF+pmrFF4+LcodX7zVzbEZvOYBsRAIFl HT74FsLjLcKZCXCRfYuP+qZVZ52pYC+To+Nfq6PPrJzjm1ZLlPvENdGPxPIhziFfYlFuf1XB Kp3hu73VStAUf4+nGvtLwrfuJdyrh0DKarobciT53yaPXC2PRZ5kJ9caAfUPNMqpriJuhvU+ Nt5Ps6HgUcXGu7nbyWdtcZZIVkWJDJpTdr7uu5GRN6lewBGIWAGD+OO4LUDf4c+ob9ZuN2V9 V6AW2hZ6mHFu1v5FSuwZEpeNYzfBaREkSpjPAgHH0qZ5Hw4UIP+sIYdb8QWeJckxsxCzNl1b aUPfpiYCPFDFj34xR0vN8D9pbN9aSXx1B6vPjWkUhc7bZVPVwzEwf66XwrNpQ0lLDu7its6m JKkjjjkeJskQx9zKvrZc9StxA6VkVlHvdltTW7kHNV3U2f9wrhAciDeoKc+HJARFE/l2DCf6 TezPT4Zguvo+Koe79jDgPG/nbeDSudRMBJTIDjG0OyQKyLfw2uExL1AWsaueRT2djv92IemV NVv48DMCt81t3cUjNMkCJdu97w02PX3rbwDzghEImTCX272NpxeeEu5zet9nYwT4IRGuDmGe FOFofhbHrSrBPnLMnAsICgdU+DS8s1Mxxfz66wuLVTY9R1H2uONcX9vMimmjA1fK7pIM70Z/ 9oxhf5O6yGCjksFD9XXqAFV6GWGEVIYWYoFqJwxIdHmmygr+H54cL3eDS77z8ySYuoRNEQFJ jutq6betotY3W7HVWQ5LlnW/O9nnZ9Vkgt7/FwDAFWrvdP62/k92RlMwyUdfw1q8xRJ6P1yM W5VLH9IJb2C0jNrpcpbVUWuJl1lKCzC3Xfu2n0LuXb8XWDxZlfSLWY4B/mBzHoZ/01YYDJf2 rOSk0ThbhrHY+Dz2TkUS2d+ivm+U+F0yBLOqPqnE+uBAZM+Rzjv2Y2qRGgQrirYEdEDv1LGq cZq7dRPR/XCbwBImJICCq6eybg0YzKHLjYbQfheoYU4LVuFczS2gTWzO0S9f/1WHMPz8Gi6N tdPI/xeXBHvxQeMqTEmXZQ3GYFWp8JwxtQ+eeLMH1Uk4p+/tTtitazC+hfu3FELR8pcqudjC 4fzWQ/bLEmuqyp1oVLdlOhFJWuyXvccbiLewu2e0bsEBrADgs5WYGAw1bq+gFuNOiA++xuWn R/xZYLH6+lu1442k5DeKfhBDV/sKPfYdueBwCasuftgMPLNNsbvsVsOi1/FZg55A5oYa+5Vp 5+s7uHl/Rriku4tcmb7n5KhKfF41f+qVrAKDvOtfWhooySSfeTNvT0BwjmcAr5Umop/4sKHe VOJWPGof4RIZ+YHlWxnUAkAIRMzEK+tU7zBoxm6pPGyChQw9wzLAdek1H3xZ1FgaS46FMziO zDwpsqRyIhUnKZUCD8AIsNWMZtyDVvgeKkhLvnalz2TCEu2iVKj5Jrmszcd6g/wN3rVK/aiv Kr5RSX/eirr6euMhJtcvpdptxIaMGdljKNiNggB8tpxkHahAHRAMe0ZNo4cB4pJljDpkqv1f yzJcHBoHBCVse6oqvkgyI+Lssaj6u0y1hPRIzUo+waZaX3zCtraRrRm8Shk7jF9fT6LICRL7 z0B0iWYA/Rz6sgBqSUvCjiTjuJux/eczXUNkaw4u9KnGA4QWN3my1Q4dDeglkX7/wXlm0DCJ GxzTmdBKK1+pYgdDu44E0No9NolUP8DAtnmgepjADoShmlD8NB99Q== IronPort-HdrOrdr: A9a23:6QsoDakPWkZ1lIj0XI8JzYCsqr/pDfL13DAbv31ZSRFFG/FwyP rDoB1L73LJYWgqMk3I+OrwQ5VoJEmyyXcb2/h0AV7PZniChILKFvAB0WKB+UyHJ8SWzIc0vp uIGJIOceEYY2IK9frS0U2XF5IOzNGb7Luln47lvhBQZDAvRaUlwQkRMGam+45NJTWux6BWKH NU3Lslmwad X-Talos-CUID: 9a23:yz6MSmFqDV/SMo0cqmI99UQMH4d7Y0fQwV2AeF6bBGJ2RJmsHAo= X-Talos-MUID: 9a23:N7sW8AuM/mw2QNq97c2nuRMzbeZjzf+VEl1XyL8FpZGeNwlUAmLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.27,103,1787004000"; d="scan'208,217";a="157101814" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEZbvemFBPXpPLhEeoSOz6+5GkFO4R2VCy73Q?= =?us-ascii?q?s8OaWhNvpl+c5yTECY5WULQNz9pNUIGCmcAJelR3d5YMTbtDTH287vKv?= =?us-ascii?q?yJU7bk1qAt2c7zGgA1qRRh2eXRqKBO2NSPjdHGhdCo8WgCNJvji/4M6M?= =?us-ascii?q?pQer0lceLW5biSfDztLgBoQA=3D=3D?= Received: from mail-ej2-f12.google.com ([74.125.228.140]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Sep 2026 16:23:42 +0200 Received: by mail-ej2-f12.google.com with SMTP id a640c23a62f3a-c29d50b7cf9so189212266b.2 for ; Wed, 16 Sep 2026 07:23:42 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1789568621; cv=none; d=google.com; s=arc-20260327; b=doPPP8gCVtqTye4AwNQFxyy/bej2WITjcGcCWmj6FlS1bxMKRfWsbCyuXAtya5hSgs LVFUJxEXwaXX+odIoe9BNzGUCl9/jRKJxZVC3+iIiEc8sfgGbMyRYnmzv4QID5kkowsC 7+a50H1axCKEn2jyxOVCJwr7yX3sCDF+w77tn7Sp+kBnxq48LMGDESAc+BQ89NOrNoo8 QGCtZSrMib7Zt9zwig7AvrthBDwaviE3KWEqDYf5v++pT9HdxBORkd84kNEQ15LPIYGx 1dXcBuRR3ehoMOaDabfC8eh6RABDcawfb9ahmraDR/PqWklgl6kEp9TfCqqgWpkP5vlV TGuw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=pObdd2gRHMuTFlMO2vgfRKV3If1H2ffWrEYoTZpi3WY=; fh=rUoelaXUACdJCARjLH8F6YAKRdhiho/FopSJU736r68=; b=mH7UgBJV4leKRYxt9e0FTzx4Jp+QQNp/f2qYz9iGm22TUOpYTZKVE77+ablTPxrlEX CITjR3iGykbwumlYF5FnsRAGA0jDXEGTEi1/UMjcBmPP69rB42tIDXiGr1ZBAIfumOVk afl8nEZnq1/o1GGoIW14i6vmxUT/HH7Umyh9xsMa+TABOBNPcnDEd5Yl5R26MMfQ8Rmy xfY04tleEeUGikD40lYB1i32UMKt7LtCVCVakni5Q0hjXVYTgbpITS6cYRe4MKTTbwqe obD/WP106LycBwS89sOP7HQEVJ87FIA0ZJspIBgOpgjprh1jSi75tASgR/xxBxd3CdMb p2pA==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1789568621; x=1790173421; h=content-type:to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=pObdd2gRHMuTFlMO2vgfRKV3If1H2ffWrEYoTZpi3WY=; b=VK1X0xtpkocUKz4givnoUzBuqTlqsFdbxews09mAY2GZnSbOZVpEx5gAaohNK6exiJ e451DZnGwNT39fstrnEVu2G2dmKszhVaERb27echVdFDhh0WFdJj8xlghbQE8krI71kR obpgvlJ3o920nxx4ZJ/gWvdR+IuIYBGO43IPIqbzHtGPjQj+KgPa01nzbuhC6CCPlJQJ SoHBIhDLw7mTClRMAVD8NK1N8AfyH3HQMwPVHh4addIXcuAB/XiD8Lh1lSXgjYwHvYt7 r/FRTjkJYW8/T5EuHc9lM+RJ5S5FVQtkLM0nvLfqXvwE8giVNZ2rdUXsGB2RKPwmcBd4 f21A== X-Gm-Message-State: AFuF++kiVP+OrrOIRxhj64kK5ea2THptlPLI17IJiybxkOv7Yayz9qjq tlHx3fux6rIVftmYNc7+phDr02snkQjpprDq7FyouGgdfGKZL7HVt9LapuF27KY+1EP9IVCg+VJ jWrg/nky3lYiaNB1wWulU+nItc4YOwkezp0wJ X-Gm-Gg: AYBFou00evBogEXy9Gmy0cF5O9PDq6nxQAcZqUaJpyi3ei5KTDFG8MAe7D/I7g9PrsC oXEJWcaVOimbDmlYJMGE8TlARLEcmRo5pb1lCPHIKWF3f461TWfTxdoP35OmZ8Aq5z0aUhVg19I pk+luw4AE7qAKUTlKZrwhuQLfk6DoUQB0uCGA6a8DO4g+nlpHVXK91wEe/6nFQjjk8YrZvNXL6N tHxeZplTO4lWmTGgSKQXYWPvCr5x3Oj1q0o8cVxu29XEq1E7mRhC4DsHAcbhkXPEJzFWR1xQqO9 hf8e5kOd5gCZ3sAu9NNNQvWh69y5nG/eOt7lwJB5UwmMKjTEQuk8Y+VoKr/N3qu+VSIK4xGmHl8 RZO9Y8dCtnbQ= X-Received: by 2002:a17:907:9606:b0:c21:1b58:fa96 with SMTP id a640c23a62f3a-c29e520cb4fmr186786366b.3.1789568621408; Wed, 16 Sep 2026 07:23:41 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Wed, 16 Sep 2026 10:23:29 -0400 X-Gm-Features: AcwNN1VY7KrNNBxJWkogSp8FaraB5BQrTsv9JOviPWw7d3s32G5e0H6788XVyas Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="000000000000faf601065b9a69ec" Subject: [Caml-list] FPBT'27 Call for Papers (co-located with POPL'27) Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19580 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: --000000000000faf601065b9a69ec Content-Type: text/plain; charset="UTF-8" Call for Papers https://popl27.sigplan.org/home/fpbt-2027 We are excited to announce that the first annual Future of Property-Based Testing Workshop (FPBT'27) will be happening in Mexico City on January 12th (co-located with POPL'27)! FPBT will bring together researchers and educators who work on and teach PBT to talk about what technical advances the research community should focus on in the coming years, and how we can best bring PBT to the next generation of software developers. Submissions are open now (deadline October 23rd); see https://popl27.sigplan.org/home/fpbt-2027 for details. --000000000000faf601065b9a69ec Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Call for Papers
We are excited to announce that the first annual Future of Prop= erty-Based Testing Workshop (FPBT'27) will be happening in Mexico City = on January 12th (co-located with POPL'27)!

FPB= T will bring together researchers and educators who work on and teach PBT t= o talk about what technical advances the research community should focus on= in the coming years, and how we can best bring PBT to the next generation = of software developers.

Submissions are open now (deadline October 2= 3rd); see https://pop= l27.sigplan.org/home/fpbt-2027 for details.


--000000000000faf601065b9a69ec--