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=G9XOMzIw; 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=kIjbIRnd; 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 7725240086 for ; Fri, 31 Oct 2025 14:07:52 +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=inkJdt1e7waz+HC0ASOJwM9bOCdvm66dINgW0xynIig=; b=G9XOMzIwpRDsCdSfmPWoPa4gbf7I4gxpJim++zvAMUIoLtom7C39WuFy yvkyV2Pcf2wzdNPg2Mvi9xt9OQ4I2pGQe3bMsdrbpjC9vkiTpH+dHJCv8 cgRVsgBbvk6Cm+s6zy4SpFsiSoqWa8gKqKtrft9FCNDmfSy+kLzP34FSf o=; X-CSE-ConnectionGUID: SWXlZ07TTEu5uJJLpldR8g== X-CSE-MsgGUID: ltQt8ibwSP2IOll/NF68/g== 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.19,269,1754949600"; d="scan'208,217";a="247021157" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 31 Oct 2025 15:07:50 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B8CA6E0CE3; Fri, 31 Oct 2025 15:07:48 +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 327D5E0171 for ; Fri, 31 Oct 2025 15:07:41 +0100 (CET) X-CSE-ConnectionGUID: oWj2XgYZQHSKUaCHPILFjQ== X-CSE-MsgGUID: sCaE+sy6Tt2ve5YuCk1Q7A== IronPort-SDR: 6904c2ac_BuoBtuzdcrm+U9QJVoPe7WsZZNg6Lv7fXFyRRv/dqmED9Tg 5yuFQku69t9rY1OSx2HwcKyGWVyxFg98xbtqrag== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EJAwBJwgRpfLWAVdFaDhABAQsSDIIFC4JAgQJdNAQLS?= =?us-ascii?q?YRVgSOCLIwDnmmDFT0CDwEDAQ09FAQBAQMBA4UAjFUCHgcBBDMGDgECBAEBA?= =?us-ascii?q?QEDAgMBAQEBAQEBAQENAQEFAQEBAgEBAgQGAQIQAQEiGQcOEimGTw2CWztxY?= =?us-ascii?q?QIFAzoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQINH?= =?us-ascii?q?z84CwYdARsMEgMSCQEGNwIjAREBBQEjNIJhgiIBBhABAzYDEaQzgQVCiz6BF?= =?us-ascii?q?QUCFoEBgg0GgQnZVwoZKA1xgWECBxSBNoR2KVyCVgGBXgIOg347g0N6JxuCD?= =?us-ascii?q?YEVNYMzgQWDayCDDoJpBIIiehSGJ5IxJggHFwMHBwkFBBwGBQUCPwkFAQ8SA?= =?us-ascii?q?wQDBAQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMEQooIhICKQoBA?= =?us-ascii?q?gEfCjEDFBkBAQcGAgIDAQQCBAwCCQICBQQDAgoEAwMEAQEIAgItAwEDGQgJC?= =?us-ascii?q?AILBREYDAsFAgooAw8BCQQhBhIWCAMDAgICAQcCAgECAQEDAwcGEAECAQ8CA?= =?us-ascii?q?wMEAwQGAwUJAQcBAQEBAQITAwICBREHAgEBIAEVAgcBBAMnGQICBgICAgIDA?= =?us-ascii?q?gIDAwMBAgEBAwUBAwIDAgECAQYCAwMDBQMBDgICAwEDAQYEBAIFAQICAg4BA?= =?us-ascii?q?wICBgIHCQgCARMTAgICAgECAgECBwEBAgMCBQUIAgEBAQICAwILAgIBAgECA?= =?us-ascii?q?gMCAwIGAQkEBAQBAgEBBQQDCAEDJAMDBAUDAgICBwIEAxgCDQYBBAMFBQMIA?= =?us-ascii?q?wYCAgMPAwYGBwIHBAIEAgICDgICAwcEAgIDAQwEBwIDAgISAwEBAg8CAgIMA?= =?us-ascii?q?QEEAgICBQIeCgQKAg8CAQMBAQYCBAQDCgYCBgUCAgEEAwcCAQIBAggDAgcDA?= =?us-ascii?q?gMCAQ8YAwIDCgIGBQQHAgIDAwQCAgIJAQMGAQEBAQICAgMCAgUGDgQEBAESC?= =?us-ascii?q?iADAQMFAgQHAgEDAgIBBAEBAwMCAQIBAgMBAgIEAgMDAwMDBAUDAQEDAgMFA?= =?us-ascii?q?gIDAgICAgQBAQULAQIEAwEFAQcFAwEDBgMEBAMCBAUDCwICBAIDAwYDAwYDA?= =?us-ascii?q?gUCBwICAQUFAgEBAQEMCQICAgcDDgMCAgIDBAECAwQDBQIDBAEBAQEEBQIDA?= =?us-ascii?q?wICAQMFAgIBAQICBAQCAwMGAgQCDwIBAQUcEQECBgYDAgEDBQMDAwMDAgQCA?= =?us-ascii?q?gICBgcLAgoEBAIBBQMHAwMFBgMBAwQDCAMKAgQYBgUCAgIBAgwSAwMKBAQDA?= =?us-ascii?q?gUCBgkDAgMDBAEDOR8WBAUCBQMDAwE6Aw4EAw0GGAIBAQIGAgEDAwgCAwEDA?= =?us-ascii?q?gcDFAoBBggCBAQMAgMDAwcFBAUDBwICBw8oAgQCAgIBAgIJAwMDAwIDBgMDA?= =?us-ascii?q?wYDCgICAgEFAgUHBgEDAQIKAwMCAwwCAhACAwUDAwMJBAIDARQDAwYDAwMDA?= =?us-ascii?q?wwCAggDAQIBAgQCAgEEEAEXCAgBAwUDAwUDCAUEBwQCAwsDBQ4EAgoDBAIEA?= =?us-ascii?q?gsDBQMDCQEDAwMVAQQCBAICAgICAgE1BQMDAwMDAwMEAwMGAgQCAgICBAYBA?= =?us-ascii?q?gMDAwMDAwkDAwQCAQIBDAECAgYCBRAGAwUCBQMGAgEFDQMEAwIDBQIEBQktE?= =?us-ascii?q?AYDAwcCIQ8DCwkIEz0BCwcyBDYBBg4UByshX5NehDaVUbNdaIM+hHCHLpVTM?= =?us-ascii?q?4VbpRCIA5EDIo1mmygRJBKBHCwkgVwzGiOBAYI2CUYDGQ9XjUoXg2mFE4ohv?= =?us-ascii?q?EUqMjwCBwEKAQEDCZIegUsBAQ?= IronPort-PHdr: A9a23:ibfpZxMNviTGyIN4x2Ul6nYbBBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq4r1AOCBNuKtaMMy7KP9fy7AipYutfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muQgoEW e9vbxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUoHdgN6q2O+s5pbdfxtHhCanYbN1M R66sRjdutMZjIZsJKs90AfFr3RHd+hLxG5lIVOekhLh7cu04JJv7j5ctv0v+sNOS6n2Y6o1Q blFBzk6Lm4549HmuhbEQQaT/HUXT38YkgBPAwjL7RH6Won+vy7nvedj2yeUINP7Q6ksVTqt9 6lkRwbkhTkIOTAk6G3YhdB+g6xdoBK6uhxw2JXUb52PNPp/ZazSY9UXTndcU8lLVixBBoS8b 5YTD+cEIO1VoZXxq0cIoBCjAwSnGeHhxSJShnLu0qI00+ovHwLb0gI+A90Dq27boMnvOaoIT ey50KvFwDPeZP1Wwzf9743Ifwg5r/GNW7JwfszRyUgpFwPKk16fqI3lMC2I3ekKvGmb6exgV eOpi24opABxoyagy9wjionMnI0Vy1TE+T9lz4YyIN21UUh2asOrH5VMrS+VLZd2Qt88TGFyv iY30qEKtJ+ncSUOxpkq2xrSZfyaf4SW7RzvSvicLSt2in9qdryzmgq//0evx+DyVMS50FZEo jZKnNTRtH0A1xze59aBR/Bg8Emh3jOP2BrS6uFCOU00jqvbK5E5wr40jJUTt17PHijsmEX5i qKda0Yq+vCw5uj5frnrooWQOox0hw3kL6gihM+yDf4lPgUNQmSW//m32qf58k3jWrpKi+U7k qnHv5DeIsQWvqu5DBVU0oYn8hq+Dzmn3MkBkXkJMV5Iew+Lg5LmO1HJJ/D4AvO/jEq2nDh3w PDGO6XtApTLLnfdjLfsZahx51JYxQYpzt1S54hYBqwfLP/wQEP9qd/VAgIhPwyx2ennCdF91 o0EWWKIB6+UKKzTsVmO5uIuJemMa4AUuDfjJPU+6P7uiGU2mV4ZfaWzwZQXb3W4Eux8I0qFe XrsnssBEWASswUiVuPqjVmCXSdXZ3azRKI8+io2CJmmDIfGXoCimqaN3Ca9Hp1MZ2BJEEqAE Xnyd4mcXfcDczqdItV9nTwcSbihV4gh2AmzuAPixLpoMO3U9C4Cu5/72td7+vXflQss+jxqD MqTyXmAT2RukWMJQz86xaB+oEJgxlua36h0nv9VGcFJ6/NGVQc6MpHcz+hkBNzoRg3BedKJR E67TdWlADExS8o8zccBbUlzBduskgzO0SyyD7AIkryEHoY0/b7E0nbpPshz03nI2LE6j1k+T MtCLXeoi7Ji+QbOH4LJiF2Zl6iyeqQcwiHN8GCDwHKWsk9BSAB+XvaNYXdKbULTqZH951jeZ 76oE7UudAVbjYaLJadDQtnolkldAvzjMdDbbniq3Xy9QV6Iz6iPYY7uPm4U0ij1CEEfkA0X+ TCBLwd6Tjuwu2/FSTVoE1XyZUjh2e1/s2+gCFQ5xhrMclVs0bzz9xIIwbSXTOpW1bYZsg8gr S91FRCzxYH4Ed2F8ixgeqpaYNUyqGdG2CqNpwp7P5qvP6FvrlEbegVz+Ujp0kMkWc17jcE2o SZyn0JJIqWC3QYZH9v59ZX5O7mNb3L34AjqcandnFfXzNeR/K4LrvU+sVTq+g+zRQI563sy9 d5T3jOH44nSShIIWMfhVEA28RdqprzybSw05oeS3nppYuGvqjGX49syH6M+zwq4OdJWMaeKD gj3Rt0cAcmoJ/wrlnCmaxsFOKZZ86tnd9i+ea6g36imdP1lgCrgjWlD59Vl1VmQ8iNnVuPS9 5MMwvXdzxTeEjml3A7nvcfwloRJIzoVGwJT0ADCA4hcLu13dIcPUyK1JtGvg895jNjrUmJZ8 1iqAxUH3tWocFycdQ612woYzkkRrXG9/EnwhzVpjzEkqLae1y3S0qzjchQAIGtCWGhlix/lP 4G1i9kQWEXgYRIukVOp4kPzxq4To6oaTSGbUUFOfi75P2BveqS1v7uGJcVI7dJgsClaVvi9f UHPUqT08FMR1yLuGXcbxShuLWn7/MWk2UUg2CTEfC8gyRiRMdt9zhre+tHGEPtY3z5cATJ9l SGSHF+3ed+g4dSTkZ7H9OG4TWOoEJNJIkyJhcuNsjW24WpyDFixhfe2z5f3Fw471yDr1tRCW iDBrRK6aY7unfffU6ovbgxzCVnw5tAvUJF4lIo2i4ER1FAVg5yU+TwMlmK5Yp1LnKn5anQKX zsCxdXYtRPk1ENUJXWM34vlV3+Zz6ONfvGCa3gNkmI45sFOUuKP6aBc2DFyqRy+pB7QZv50m nEcz+Ev4TgUmbNBtA0oxySbSrcceCsQdTzqkRWO4MC/oY1YYW+udf670082kd26Db6Eqx1RQ z6jIsZkTXI2t58vdguciTX68cn8dcPVbM4PuxHx8V+IlOVTJJ8r17ILiSdhJWPhrCggwu8/g wZp2MLyt4yGJmNxuaOhV0QAZ3ulOoVKoGGr1PYHzaP0l8i1E55sGysGRs7tRPOsSncJsOj/c hyJG3s6o2uaHrzWGUme7l1npjTBCcPOVTnfKX8HwNFlXBTYKlZYhVVeTDM8n5g2BgGn7MPke UZ9oDsW4xSrz3kEgvItLBT5XmrF8U24bDE1TpePLRd+4QRL5kOTOsubpLEWfWkQ7tiqqwqDL XaebgJDADQSW0CKMFvkO6Gn+djK9+XLTvr7NfbFZq+C7PBPT/rdj4z6yZNopnzfU6fHdmknF fAw3VBPGGx0C9iM0StaUDQZzmrMd5LJ+0v6o3cq6Jj5qLOyBkru/dfdUuQJd4w+p1bux//Eb rD15m4xKC4EhMlUlDmYlf5Ghg5U02Y3KHGsCehS73eTCv+A3PYGVVhDLHoifMpQs/Bmh1cLY 5WKzIivkOY/169QaR8NVES9yJj2P4pQej77bwmBXAHRbfyHPWGZmp6tJ/nhEvsN0qMM8Efp8 TeDTx26YW7FzWSyEUn2a6cUy3vDWX4W8Je0dhInYYT6ZPThbBDzcNp+jDlshKYxmmuPL2kXd z51b0JKqLSUqyJemPR2XWJbvDJjKqGfliCV4vO9SN5euOZ3Ailyi+NR4Wgrg7pT4iZeQfVpm SzU5tdwqlCim+OLx3JpSh1L4jpMgYuKuw1lN8C7vtFYXm3Y+RsW8WiKIxEDpt8gG8K2/q4Jm oGJm6X0JzNPtdnT+IpUBsTZLt6GLGt0MRftH22xbkNNRjqqOGfDwk1FxavKpzvF895j8Miqw cpXGdo5HBQvG/gXC1poBokHKZZzBHY/lKKDydQP7jy4pQXQQ8NTutbGUOiTCLPhMmX87/EMa h0WzLf/NYlWOJf83hkoel98nYLFC0vddd9IqyxlKAQzpQ8elRo2Bn12wE/jZg63tTULEuWom xctlgZkSeEk9TOp8khuY1ST9HJ2n042ltHoxzuWdXSiScX4FZETAC3yuU8rN5r9SAsgdgy+k 3tvMzLcTq5Qhb9tHYiOoADZsJpLX/VbSP8cCPf/7f6SbvQsl19br3f+raemze7MCJ8nhRRzN JD1/ysG1AVkY9o4Y6fXIfgRpmU= IronPort-Data: A9a23:uZA7ZKAeVgsjFBVW/wPnw5YqxClBgxIJ4kV8jS/XYbTApDsj1zAAx moXDTqBb/mPa2Lzc9sjboSz/UgB7ZPdnNEwOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG86yQ6jOfQG+eU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgm8c3l48sfrZ9Uo3562q4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlkvF/w0gA8+Sib3ydEsHWNb6ZWBiXVILM0QKqkEqSh0ais7XBtJEAatko2nhc+RK9 Tl4ncfYpTHFkUH7sL91vxFwS0mSNEDdkVPNCSDXXce7lyUqf5ZwqhnH4Y5f0YAwo45K7W9yG fMwLw8PNCCMttCP4ImYd+BHpvwCCOfpBdZK0p1g5Wmx4fcORJnCR+Db+oYd0m5g34ZBGvHRY 8dfYj1qBPjCS0cXaxFHVdRnxrfu3ymmG9FbgAr9Sa4f827VzQp+wLngGNXQc92OA85Smy50o 0qcozuhWEhCbof3JTyt6Vmlq6zUjH3HRNgMGeCJ69Vp2WTM7zlGYPERfQDm+KHm2xDWt8hkA 0cd/y5rqakp6GSwX9zlVlu5pmSFt1gSQbJt//YS7QiMzu/F/F/cCDFUF3hOb9spsMJwTjsvv rOUoz/3LTtQsuelRkOvz5evjg67EggtDEssZxZRGGPp/OLfTJcPYgUjp+uP/Yawh9zxXCDvm nWE9XhnwboUisEP2uOw+lWvb9OQSnrhH1FdCub/BDrNAuZFiGiNOdfABb/zs6woEWphZgPd1 EXoYuDHhAz0MX1yqMB9aL5QRen2tqjt3Mz0jlloEJ0svzWr8DjLQL28FApWfR8zWu5dIWGBS BaK5Wt5usUPVFP0NvQfS9zqW6wXIV3IT4iNugb8NIcWOsAZmc7u1H0GWHN8KEi0yBF0z/xmY 8jHGStuZF5DYZlaIPONb791+dcWKuoWngs/nLiil0z9g4mNLmWYU6kEO1aoZ+U0pvHM6gbM/ toVc4PAxxxDWaesKmPa4KwCH2AsdHIbPJHRr9AIV+ihJgE9JnotJcWMypwceqtkvZ9vqMH2w l+HVHVllWXP3U/8FV3Sa1RISq/eYpJknHdqYQ0uJQmJ3lYgU6aO7YAeVZ09Qpc//sc+z/QuF /ghUOeDC8RpVT7o1Wk8b578jYo6bzWtp1uEEBSEaQgFXaxLZlL26P69WSDwrg8cDTGSt/ouh 5GFySXlGYEiQSZmB+boMMOf9Uu75yUhqbgjTnn2Lcl2U2Sy1ZphNAjarOI9euMIIjX9ngqq7 R6cW0oklLOcsr0O0Yf7gI6fpN2UCMp4JE1RGlfb4ZuQNSX3+mmCw5dKYN2XfALyBX/Fx6G/W dp7l/3MEuULvFJvgbpOF7xGyaEf5dy2g5R4yg9iPmvAbnX1K7dGD0SF4/Jytfx29ucEgTe1Z 0OBwckFGLOrPMi+LkUdCjB4Zcu+1NYVuALo09ILHGvA6hRawp+7QGRJHhzViCViPLp/a4wk5 uE6uf8p0Q+0izt0E9Pfjilr6HiBHncQd5oWprY2LZLZ0Fs1+AtSZbjZLDH827CUStB2KkJxC CSltKnDoLV9x0T5bHs4E0bW79ddnZgjvBNrzkcIAla0xur+mf482SNO/QQNTgh6ygtN18RxM DNJM3JZCLqv/TAyouR+REGpRh98ASOG9nzLy1cmkHPTS2+qXDfvKEw/IeO8w1ALwVlDfzR0/ KCq90i9aGzEJPrO5yoVXVJpj9fBTtYrrw3Lp52BLvS/RpI/ZWLov7+qaW82sCDYOMIWhnDch OxU7e11OLzaNykRnvUBMLOk948sETKKGG8TZsta3vItPXrdczSMyzSxOxiPWsdSFcfrr268K eJTf/xqaTrv9RygjD4hAYw0H4RVh98svdoLRaPqLzUJspyZtTtYj6jT/Snf2k4uT8lfrsImD ob3aTi5M3exgEFMkDTnt/h0OWufYPgFajbj3euzzv47KpIbvMxocmAwyrGRvUjJFCdWpDWvo xLlZYLN6v5LkLRXgIrnF5tcCzWOKd/cUPqC9CaxuY9saezjHNjvtQQHjEvOJCVTYKUsXupom YS3sNLY2F3PuJA0WTv7n7iDD6x42tWgbtFIM87YLGhoogXaYZXCuyA8wmGfLYBFtPh/5cP9H guxV5aWRO4vAtxYwCVYVjhaHxMjEJ/IV6bHpx6mjvGyGxMYgB3mLtSmyCfTVltlVBQ0Yr/wN gylnMyVxIFonNwZTltMTfRrGIRxL1LfSLMrPY+5/yWRCm6zxEiOoP3+nB4n8ivGEWSADN282 5/eWxzib16njckkFj2CX1Ba5XX7zUqRgNXcumoY8t9yziGlVSsIdLREd5oBDZ5Qn2r505SQi PQhqoc9IX2VYNiGWUyUDBffssO3CekHO9O/LTssl69RQznjH5uOWdON6Q85i0qbuVLfICWPJ tQX+3m2NR+0qn2sqSD/+dTj6dpaKjjmKr7kNKwzfwEew/rTPFnS6EFcIQ== IronPort-HdrOrdr: A9a23:rLQQhq0EsUGJYOPQaN8IEQqjBJ8kLtp133Aq2lEZdPU1SL3gqy nKpp4mPHDP+VQssR0b6LO90cq7IU80l6QFhbX5VI3KNGLbUQCTXeZfBOXZslvdMhy72OoY+q tpbrRkBMeYNykese/KpCe9V/gvqePpzElqv4vjJrVWID2Cp5sP0+6xMGemLnE= X-Talos-CUID: =?us-ascii?q?9a23=3AyjxXWmmbG1OrzKlXR3tvGaI65zvXOXrizi3gLH6?= =?us-ascii?q?KMEZSa4CcYn+o2YdKkfM7zg=3D=3D?= X-Talos-MUID: =?us-ascii?q?9a23=3Ad+ZnZA908kxi961OQKfwtIOQf9xD6ontE1FTrYl?= =?us-ascii?q?cpcTZBDFbOG6k0x3iFw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.19,269,1754949600"; d="scan'208,217";a="247021023" X-MGA-submission: =?us-ascii?q?MDEdQqYFBDozX3Yh3hib28Z6Kjq9aU5s3B264j?= =?us-ascii?q?8fllbMMD6gF82HuIX84t0K+V6T4fOtFdkkXTB+ckoo9/j43JN1PkSD73?= =?us-ascii?q?jrHwAjZTKKlbE0HDvOcqJJHKQchZEVIVFMbecuzlrm9OpUxmEmvXqoKS?= =?us-ascii?q?yTjk5fMQIaAuI3xBtwRsDRvg=3D=3D?= Received: from mail-yw1-f181.google.com ([209.85.128.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 31 Oct 2025 15:07:40 +0100 Received: by mail-yw1-f181.google.com with SMTP id 00721157ae682-783fa3af3bdso29022087b3.1 for ; Fri, 31 Oct 2025 07:07:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1761919659; x=1762524459; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=inkJdt1e7waz+HC0ASOJwM9bOCdvm66dINgW0xynIig=; b=kIjbIRndtqZHCvn3II7rLxawWY9Is/k25XCo4k448X9NIEzupkBGLdJJFoyNZU8/6o 6jG9XTWDebbvDS/0cO7QVtG4+oKTKXwyNifD8HQgWoJHWMoTY349hfgfpdxJcREtsaqY zr4v3CHJN2EBllWGyssbpEvDBVCoS5vVjmNlSthRpHYwvX7CEXRD5hajb1VZ56LyimbJ O4miTa72VZmnyhv6B0cifP2EQ0BBtr7shLeMQAuNQZxSOEp/iIf0UYYsS9FoAqM1yaZq O0w8cZqkhw6N9FWld8jZu93DGtNnS9/kJkGQ4tNhVY2HjiPOffgnZLoa3Pq0OFW797qR SP4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1761919659; x=1762524459; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=inkJdt1e7waz+HC0ASOJwM9bOCdvm66dINgW0xynIig=; b=EwWfcsE2vhw9jMYGt0F8d672UbOlNPNq2FzUF50Zmmu0YgaOvUseDsKxcwZSWbXGm8 zcYfdhKWNl1QL+8eyTqZHgL1xOgJ9jpB3vD4T+BEVj6mQ4W0fRMH9DM0zr8tShC5vbF4 hysbpGEkRmIdO39eKuqrZmxb38HYzrTDGz2164V3Su7EnxPWDFmyOEiQb4qqf2EnqlVG KYeZOCCRo8zXrl9kz8X6t0U4poeDpjuoYVvdmjv2PPo0GXcCwDCqJduPxxk6xeJ8Gi7H xqsiZ5s9CTliEzCVA9tE+/LG+zTS5vk6OPN2I92Nyi91ZVOL1q1pSNWAodDuodPYKOlr 4sYQ== X-Gm-Message-State: AOJu0Ywuok+IM+gx1GxF4z69NChCW000S7v2Kxr7jOWBv7ruboc9qfZO Iy8cq95M7Sto4v5XzFI6hc1WbE2RweTpnLPXyHn/sKbvjqhzL8J5+tjy4lQtPP3urA3DV581Rcj Dd9G4L5Kf+Qaf/alIogpmruyMT7kPbQ0x/IQJvm0= X-Gm-Gg: ASbGncv1Budm3fd5kVYOFl8EDrHJ1chbPyPlX1ozRJ7qENXGH+eX+FrH5tg8f52iM6z CBxa98YNPvag675MXjwHc30blGAgqCp9DjL8YmkiySInPiZ3BQLo+OW1qvOQRAb+koqTSbkq8XY 7GhYIZjFIzrH4b+gbxwvGSwpL2CBPn/2G27LetIK6J2nwKD5GyjyDtF2VcBwtZoT2YCST7tSES0 /ryVkv+9bhR0pDvJh1rX23Rk4xDornvhP61wX1aKfliirZl73Rahp8vhz/1TSQ= X-Google-Smtp-Source: AGHT+IEqh31gwBObCyDIa9IPp8NJ5/BoGUlDvc/VMPIUmXmFz4Wdbkx3rFTt04x6vGkzCp3TOeJZukrrGnaH+Y3aSOE= X-Received: by 2002:a05:690e:4259:b0:63e:2059:cb80 with SMTP id 956f58d0204a3-63f922f07ffmr1898706d50.33.1761919658843; Fri, 31 Oct 2025 07:07:38 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Fri, 31 Oct 2025 10:07:27 -0400 X-Gm-Features: AWmQ_bloymQBwJ5Yclp5DcyYw7k6OynoLW9T-8WwhvL2YMyP9Uff2rD3F4AG6PA Message-ID: To: caml-list@inria.fr, agda@lists.chalmers.se, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu, coq-club@inria.fr Content-Type: multipart/alternative; boundary="000000000000636286064274e323" Subject: [Caml-list] POPL 2026 Call for Participation - Early registration: 12 December Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19396 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: --000000000000636286064274e323 Content-Type: text/plain; charset="UTF-8" ======================================= Call for Participation ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) January 11-17, 2026, Rennes, France. https://popl26.sigplan.org/ ======================================= - Early registration deadline: ** 12 December 2025 ** - Register here: https://popl26.sigplan.org/attending/registration ======================================= The 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) is a forum for the discussion of all aspects of programming languages and programming systems. Location: le Couvent des Jacobins, 20 place Saint-Anne, 35000 Rennes, France Dates: - Main conference: Wed 14 - Fri 16 January - Workshops, tutorials, co-located events: Sun 11, Mon 12, Tue 13 and Sat 17 January Full details of the conference and co-located events: https: // popl26.sigplan.org/ --000000000000636286064274e323 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Call for Participation

ACM SIGPLAN Symposium on Principl= es of Programming Languages (POPL 2026)=C2=A0

Januar= y 11-17, 2026, Rennes, France.=C2=A0


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

- Early registr= ation deadline: ** 12 December 2025 **

- Register here: https://popl26.sig= plan.org/attending/registration

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D

The 53rd ACM SIGPLAN Symposium on Principles of = Programming Languages (POPL
2026) is a forum for the discussion of all a= spects of programming languages and
programming systems.

Location: le Couvent des Jacobins, 20 place Saint-Anne, 35000 Rennes, Fr= ance

Dates:
- Main conference: Wed 14 - Fri 16 January
- = Workshops, tutorials, co-located events: Sun 11, Mon 12, Tue 13 and Sat 17 = January

Full details of the conference and co-located even= ts: https: //popl26.sigplan.org/=
--000000000000636286064274e323--