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=pMBSYlNo; 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=aafPrekv; 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 3F8C340022 for ; Mon, 8 Dec 2025 16:12:00 +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=oX/CN21rfu4IKKGmlHPtwfsy3h0bbvGrc+1t92BFjqk=; b=pMBSYlNonUm9Gdo7cnnP9YePtCMiNHsq+0tanTpzIvgZcBYm+q4zmCVA fa1gm5YhvcXuN6aH/5wZkfNsVWACD1rxLV3tVmrOXdprizOqwWbHl9KbE pnmR1dwJhS5P+eJER+b413nEGmGYcq4bePJinOsA/hG/uLfzUOFaJ4Rpk Y=; X-CSE-ConnectionGUID: gLIslYWVTv+wzCWgtufzog== X-CSE-MsgGUID: SXIUGZ//RCeN/vzY5UFLhw== 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.20,259,1758578400"; d="scan'208,217";a="253375979" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Dec 2025 17:12:00 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E7564E0CD5; Mon, 8 Dec 2025 17:11:59 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (dsi-ha-lb1-dmz.inria.fr [128.93.162.100]) by sympa.inria.fr (Postfix) with ESMTPS id BC005E00B7 for ; Mon, 8 Dec 2025 17:11:57 +0100 (CET) X-CSE-ConnectionGUID: UDFaY5GMSSiJ6QgWBeUSsQ== X-CSE-MsgGUID: IDSL0IIOS1KlJWgJZpLvgw== IronPort-SDR: 6936f8cc_27A+KVFAjM6JMQ8jEeOpaWvcvqr9fOHHrC2lTKg4/xVOrlA VeKi/FXRK+xhBNmHtXO0isoiQZHxleOcPNBcP5A== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0ElCABO+DZpfLOAVdFaDhABAQsSDIISgj6BBl40BAtJh?= =?us-ascii?q?FWBI0CBbIwEnmmDFT0CDwEDAQ09FAQBAQMBA4IMgT2BN4xpAh4HAQQ0EwECB?= =?us-ascii?q?AEBAQEDAgMBAQEBAQEBAQENAQEFAQEBAgEBAgQGAQIQAQEiGQcOEimGTw1JA?= =?us-ascii?q?QEBAwcEggE7cWECBQM6AQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQUCDR8/OAsGHQEbDAgKAxIDBgc3AiMBEQEFASM0gmGCIgEGEAEDN?= =?us-ascii?q?gMRlhKPQoEFQos+gRUFAhaBAYINBoEJ2VkKGSgNcYFhAgEGFIE3hHYpXYJXA?= =?us-ascii?q?YFeAg6EADuDQ4EhG4INgRU1gkRvgQWDayCDDoJpBIIiehSGH5MBJggHFwMHB?= =?us-ascii?q?wkFBBwGBQUCPwkFAQ8SAwQDBAQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LB?= =?us-ascii?q?wUfCgIMEQooIhICKQoBAgEfCjEDFBkBAQcGAgIDAQQCBAwCCQICBQQDAgoEA?= =?us-ascii?q?wMEAQEIAgItAwEDGQgJCAILBREYDAsFAgonAw8BCQMfFxgIAwMCAgIBBwICA?= =?us-ascii?q?QIBAQMDBwYQAQIBDwIDAwQDBAYDBQkBBwEBAQEBAhMDAgIFEQcCAQEgARUCB?= =?us-ascii?q?wEEAycZAgIGAgICAgMCAgMDAwECAQEDBQEDAgMCAQIBBgIDAwMFAwEOAgIDA?= =?us-ascii?q?QMBBgQEAgUBAgICDgEDAgIGAgcJCAIBExMCAgICAQICAQIHAQECAwIFBQgCA?= =?us-ascii?q?QEBAgIDAgsCAgECAQICAwIDAgYBCQQEBAECAQECBAMIAQMkAwMEBQMCAgIHA?= =?us-ascii?q?gQDGAINBgEEAwUFAwoGAgIDDwMGBgcCBwQCBAICAg4CAgMHBAICAwEMBAcCA?= =?us-ascii?q?wICEgMBAQIPAgICDAEBBAICAgUCHgoECgIPAgEDAQEGAgQEAwoGAgYFAgIBB?= =?us-ascii?q?AMHAgECAQIIAwIHAwIDAgEPGAMCAwoCBgUJAgIDAwQCAgIJAQMGAQEBAQICA?= =?us-ascii?q?gMCAgUGDgQEBAESCiABAwUCBAcCAQMCAgEEAQEDAwIBAgECAwECAgQCAwMDA?= =?us-ascii?q?wMEBQMBAQMCAwUCAgMCAgICBAEBAwsBAgQDAQUBBwUDAQMFAwQEAwIEBQMLA?= =?us-ascii?q?gIEAgMDBgMDBgMCBQIHAgIBBQUCAQEBAQwJAgICBwMOAwICAgMEAQIDBAMFA?= =?us-ascii?q?gMEAQEBAQQFAgMDAgIBAwUCAgEBAgIEBAIDAwYCBAIOAgEFHREBAgYGAwIBA?= =?us-ascii?q?wUDAwMDAwIEAgICAgYHCwIKBAQCAQUDBQMDBQYDAQMEAwgDCgIEGAYFAgICA?= =?us-ascii?q?QIMEgMDCgQEAwIFAgYJAwIDAwQBAzkfFgQFAgUDAwMBOgMOBAMIBhgCAQECB?= =?us-ascii?q?gIBAwMIAgMBAwIHAxQGAQYIAgQECgIDAwcGBQcCESgEAgICAgQDBgMKCAcEA?= =?us-ascii?q?wEKAwMMAgIQAgMHBAIDEwYDAwQDDAYDAQISGAYBAwcDCAMCBwQCCAcNAgQCC?= =?us-ascii?q?QMFBQEVBAIEAwICAgIBMQMDAwMFBwIEAQQGAQMDAwcDAwIMAgICEgMFAgUGA?= =?us-ascii?q?gEDDAMEAwMFBQstEQQHEwoGBAMDBwUCAwICFAYCBgwSAwMEAQQCAQICAgI5A?= =?us-ascii?q?wQDAwMJAQ0aEAIEBgMFCgMFBgIGARkFAgMCAwUBAwEHByIPAwsJCBM9AQsHM?= =?us-ascii?q?gQ2AQYOFAcrIV+UARlOg2yBUVuTJZJPoQ5ogz6EcIculVMzqmuIA5EDIo1mm?= =?us-ascii?q?ycRJBKBSSOBXDMaI4EBgjZPAxkPV40oIheDaYUTiiG0VygyPAIHAQoBAQMJi?= =?us-ascii?q?AthiTKBSwEB?= IronPort-PHdr: A9a23:EtlA/BfS3jtx/JC2CBrvf5NmlGM++NfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASVG92DoKsb0rOe8/i5HzBbutDZ6zFKWacPfiFGoP1epxYnDs+BBB+zB9/RRAt+M eJ8EXRIxDWFC3VTA9v0fFbIo3e/vnY4ExT7MhdpdKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oL BWxsA7dqtQajZFtJ6s/xRbFuGdEd/hZyW91J1+fggvw7dq08JJ/7ihcof0s+sBOXKngY6g1Q 7lUByk6Pm4o48HmqRbMQQyT63UGT24YiABIAw/L7BH7Wpf+rC73vfdj1SeZIMP7U6k6VSyt4 alzRxDkkTkKOTEk/m3PhcN+kKxUoBS6pxxi2IHUe52aNOB/fqzGY9wXQ3dKU9tLWCxABoO8a JYPD/YEMO1FoYTxu0cCoB2jDgSqGejhyCJHhmXu0KI10+ovHwLI0hE+Ed0Sq3nbtsn5Ob0IX Oyp0KXFzzPOZO5W1zfn74jIdwgsr+mNXbJ2fsrRz0gvFwXKjl6NqIPlPi2a3fkKvmmU6epgU +Ovi2goqwB+ozig2NwhiobMho0Py1DE8T91z5oyJd29UUN2Z8OvH5RMuS+ALYR2Xt8iTH9yu CY80rALtpC2cDUXxJk72RPTdfyJf5aH7xzsW+udPCl0iW94db6hiBi88UitxOL8W8S7zltEo DZJnsTCu30Q1RHe5MiKR/1g9Umv3jaP0hrc6uBCIU0sjqrbKpEhwqY0lpUJt0TPBCj2mF/5j KOObUUk++eo6/zjYrr8oJ+QLZV4igbkMqQhnMG0HOc2MhAWUmSF5eix0Kfv8E75TblQk/E6j KrUvIrHKckZoqO0BRJe3Jw55BalFTim1cwVnXkZI1JBfxKKl43pNEvPIPD8FPu+g1qtnCpyy /DII7HsAJHAImLMkLfmerZ95EpcxxQpwd9D4JJUD6kNIPP1WkDvqNzVFgE1PxCwzur9C9hw1 pkSVX+RDqKaKq/erF2F6+Y3L+mJfoAVuTL9K/Y/5/7piH80gVAcfa+v3ZsWbnC4EftnI0SHb nf3jdcBFH0Fvgs6TODwlFKCVjtTa26oX60g/jE7FJ6mDYDbS4+xmrOB2SO7EoRSZmBHEVCMD Wzld56EWvcJcCKdONVtkj0CVbi7So8uzwuitAHgy7Z/KOrb4TUXtYj/29ht++3TiRYy+CRpA 8iF3GGCUWZ0kGASSTIu0q9xvFRxyk2d3qhmgPJWD8Re5/ZTXQc7MZ7Q1ux7Ct7vVg7YcNeFV VSrT9G8DTE+SdIxxNAOY0JjFNm4kh/D2C+qD6cImLyIBZw097rR0WD+Kclz1XjIyLUsgV8+T sRSMG2pnLR/+BTLCoDRikuXj6mkebwH3C7V+meO1XCAsV1FXgBtSanFRmgfZkXOotT5+EzCS 7iuBKw/PAVY0cCMJfgCVtq8hlxDQLLnOc/CS2O3gWa5QxiSgvuFY4bjU2EcxznGTkMEmgQW8 GydcxMzQm+hqnndAThqUFnmbU7E8eBlq36/Sgkz1Q7OJ1Fwz7euvxcTg/uBTfge9rYFozs67 S55FU37wsrbDdzGqgZ8OO1XZsp461Na30rYsRZ8N9quNfNMnFkbJiJ2uUzo1hN4QrVBnIB+v HUszQx9OaOV+FxEfjKcm5v3P+uEeSHJ4BmzZvuOiRnl29GM9/JXgBxZg1DqvQXyU1En720iy N5NlX2V+pTNCgMWF5P3SEc+sRZg9PnBeidowYTS2DV3NLWs9CfY0oc5Au0kzBmwftp3P6aNF Qu0GMofVIC1MOJ/o1GydVofOfxKsqs9PseobfyDjb6tOudmkyKngExI5Yl81gSH8C8vAvXQ0 cMjxPeVlhCCSy+6jFqltZXvnptYYDgJAmel4S3tBYoUd7IrOIhSVjboLMqwydFzwZXqXha07 XaFAFULkI+scBuWNBnm2BFIkF8QuTqhkDe5yDp9l3coqLCe1WrA2baqch1PIWNNSGR46DWka YGpk9AXWlSpZAk1hVOk40j93a1SuKV4KSHaX05JeyH8K2wqXLG3s/KOZMtG6ZVgtisyMqz0c VacS7jysxoX+yzmFmpagjs8cnDiu5n0mQB7lHPINGx6/zLSfcB9wwua5cSJH6YAmGpbAnAi2 X+OWQnvWrvhtc+ZnJrCrO2kAmeoV5kINDLu0ZvFryyjo2tjHRy4mfm33NzhCwkzlyHhhLwIH W3FqgjxZo7z2uG0K+ViKwN4Aln97cVqG4xWnY45hZVW0n8fzMbwnzJPgSLoPNNX1LirJmoLQ z8NzM7U7SDq3URiKjSCwIezBT2Nh8BmYde9eGYf3CkwuttLBKmj57tBhSJpo1C8oGo9eNBFl ywGgbsr4X8e2KQSvRY1iz6aGvYUFFVZOirlk1KJ6cq/peNZfjTnfb+13Ut41devadPK6hFaX nf/dYcjEAd/68x+NBTH13i75oz/edbWZM4erVXOy0aG37UTcchh0KNV1GJuIirlsGcgyvIng BALv9nyp4WBJ2h3veq4DhNeKjzpdpYW8zDpg7xZm5Xe1ISuE5N9XzQTCcGwHLT4TXRL76Shb lnfQ1he4j+BFLHSHBGS8hJjpnPLSNWwMm2PYWIe1ZNkTQWcI0pWhEYVWi87l9g3DFPPpoSpf UFn6zQW/lO9pAFLz7ciJx/5U2HQtAalQjgxQZmbahFR60sRgiWdedzb9e91EyxCq9exqgqML GOLZglgAmQAW0jCDFfmdOrLh5GI462TAeywKOHLaLOFpLlFVvuG8pmo15Nv4zeGMsjcdmknF fAw3VBPGGxoA8mM0StaUDQZzmieCqzT7Af54CB8qdqztejmSB66r5XaEKNcaJ1u40zk3vvFb rTNwn4/cXEBiNsN3SOakuBOmg5PzXg0J3/1Vu1f0EyFBKPIxv0NVkBdNnM1bZoSqfp7hFEFL 8ffjpmdOqdQqPkzBh8FUFXgnprsfskWOySmM0uBAk+XNbOALDmNwsftYKr6R6cCxONT/wa9v zqWCSqBdnyKiiXpWhazMOpNkDDTPRpQv5u4ewpsDm6rRczvaxmyOtt6xTMsxrh8inTPPG8ae T9yFiEF5qWX9j9di+5jFnZp63NkKayVhH/c4bCHe9AZtvxkBikynOVfoTw7x7ZT8CBYVal1l S/V/bsM6xmtluiCzCYiUQIb8G4awtLW+xw4aeOAqcgTPBSMtAgA5miRFRkQ8t5sC9m0/rtV1 sCKj6XrbjFL79PT+8IYQcnSMsOOdnQ7Yn+LUHbZChUISTmzOCTRnUtYxbuC8HuUqJcqq5XEl 58HS7sdX1swXKB/aAwtDJkZLZF7Uylx26acl9IN7GGioQP5QcxbutXWSavXD6yweXCWir5LY xZOyrT9Z9d2VMWzywlpbV90m57PEkzbUIVWoyFvWQQzpV1E7Hl0SmBbM6PNbwqs5DoCCqfxk Edp201xZuMi8Dqq6FAydAKiTMQYn0w4mNGjijeUImeZxEKYUoRfCi6yvE80YMuTfg== IronPort-Data: A9a23:fEBVVKr6tnTiqt79TwmtpECrbkZeBmItYRIvgKrLsJaIsI4StFCzt garIBmHa/aJYmD0fN5yb4my9EJQucfVz9dhHgVkqHpkEXkQ9+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kk31BjOkGlA5AFnP6gb5AW2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656I+XZOBd2+sGF/LqHt0mtU5KwAziFs9zFPgvQ42SjTNZ9DI5h8QLDOmHI sRANmspYxPHbBlCfFwQDfrSns/y3ii5I2Ae8QjF4/NosgA/zyQpuFTpGMrTfN2MStVUk26Xo 2vH+yLyBRRy2Nm3kGHeqyv83rCf9c/9cKM+L5ng199NuwSwwk4sBz8kTX+lrubs3yZSXPoEd hVMpXtwxUQoz2SgR9z5Ghm5u2KspQ8ZQ9MWEusg6QjLxLC83uqCLm0NTzoEecN/8cFvGm1s2 ViOkNfkQzdotdV5VE5x6J+pgR27CHU6CFQ5ZA1adAQ6ydTem5oK20enoslYLEKjsjHi9djNL 92iqSE/g/ACkpdO2fzkrBbIhDWjopWPRQkwjuk2Yo5HxlohPOZJhKTxtjA3CMqsyq7HFzFtW 1BawKCjABgmV83lqcB0aLxl8EuVCwm53M302gM2R8ZwqVxBClaseodf5Dw2JUFidK45RNMdW 2eK4Vk5zMYLYhOCNPYrC6rvUZhC5fa7TrzNCKuEBueil7ArKGdrCgk0OBbIhwgAUSEEzckCB HtsWZ39XS9BWfs8nGTeqiV0+eZD+x3SDFj7HfjTpylLG5LHDJJMYe5daAHcXfNz966evgTe/ vBWMsbAmV0VU/TzbmOTucQfJEwDZypzT53nid1lRsjaKCpfGUYlF6Dwx5ElcNdbhKh7rLrD0 Uy8fU5682DBo0P7Bz+EUV1ZU4O3b61D9So6GQcOIWeX32MSZNfzzaUHKLoyU7oV1M1i6v9WS fM6Vd2KKalNQG6f+hA2T5r0nKp9fjuF2COMOCuEZmAkXphCHgbmxP7tTjHNxgIvUBWllJIZi KL68BHYWr8BdhRGIOPJTsz31HK3n3wWuNwqbnvyOtMJJXndqtl7GRL+ntocAp8pOx7c4hC4y gzPIxMThdeVkr8P6NOT2Jy19da4IdBfQHhfMXLQt4utFC/g+WGm/49MfcCIcR3ZV0L24K+SX vpU/d6tLMw4mEt2jKQkH4ZJ1a4e4/7dl41exClgH1TJaA2PIZFkKX+kw8JOl/Nswpl0hAiIY X+Mq+JqYeixBMDYEVAqNFUEaMaH3qoqgTX816k+D3j7wy5Vx4C5d3tuESOCshEAE4stArgZm b8gnOU09z2AjgEbN4faryJMqEWJAH8yc4QmkZA4BoXUpBIh4QxAa8aECwvdwpKGW/NTOGYEf x6Wg6vjgexH50zgKnAcK1nE7dB/t78v5i9Y7QYlDEvTvMjGndo17Q113REoaDoN1TRB8eZ4G lYzBn1PPa/UogtZ3plSbV6jCyRqJUO86Efu73AriWeAbU2jdlKVHV0HIezXoXwoqTNNTAN6o oOd5n3uCwvxXcfL2SA3Z05phtrjQfF19SzAgMqXJNuELbZrfQvahrKSWkRQpyvFGc8RgGj1l dtu9st0aoz5Mnc0iI8/AI+4y78RaU6lIEpvfPJfx54KTFrsIGyK5TuzKk6KapxsId7O+hSGE MBAHJ9EeCm/8yeslQolI5AwDYV6p9MXweYTW6jKIDcGuoSPrzAyv5P38DP/tVARQN5vsJgcL 9rRfg2dDmGgjmtwpF7dittHJ1jiMMc2Ph34+OWT7u8yNokitdt0ehoYyYqEvHSyMSpm8SmLv QjFWbTk8ux6xalonKruCq9mBTjoGejsVe+Nzh+/g+5OYfzLL83KkQEf8XvjACh7IpoTXI5Ru YmWkduqwn7Agqk6Y1rZl7aFCaNNw8e4B8hTE8DvKUhljTmwY9Dt7zQD6lKHB8Rwyv0F3faeR iy8dMeUXvwWUY0ExHRqNg5vIyxEAKHzNqrdtSexqsqXMSck0CvFEciG8EH4ZmQKZw4KPJzDU jXPgciM3ewBjopwB04jPcpEUq9IeAqpHeNsctDqrjCXA1W5ml7I6POoiRMk7iqNEXWeVtrz5 ZXeXBXlaRCuo+fywcpEt5Bp9AgiZJqnbTLcompGkzK3t9y7MILCBeEUMJFDG44N1yKri8C+a zbKY28vTy76WFyotPk6DMvLBm+i6i4mY78V5QDFO2ubbi63AMWLB74JGuJI/SJtYjW6pA24A Yh2x5AzVyRdBrlmQO8S4rqwhuIPKjY2AJ4X0RiVrvEeyCryzVnHOLKN0eaNueH6/xnxqXj2 IronPort-HdrOrdr: A9a23:+XwJN6/ddEJxC42w3NBuk+D1I+orL9Y04lQ7vn2ZKCYlC/Bw8v rFoB11726XtN98YgBCpTniAsm9qBHnhPpICOAqVN/IYOCMghrOEGgN1/qF/xTQXwP7ssFQ3b p9aKRlYeeAaGRSvILV5E2XHb8br+VvM5rFuQ4d9RpQpM1RBZ2IJj0ZNjqm X-Talos-CUID: 9a23:8dAHHGALa/NGSnv6ExRL2kclR+8ASUbc7inpLHCSBFtSU4TAHA== X-Talos-MUID: =?us-ascii?q?9a23=3AIw3AbA2xFd1QScTRm196Q5ScDTUjwoiVLBgssLI?= =?us-ascii?q?94uqAFxN/GQWFqCq4Xdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.20,259,1758578400"; d="scan'208,217";a="133118078" X-MGA-submission: =?us-ascii?q?MDH6a+UzkNOTbOs8HKgdl2hgafzfiHJR9Dijr0?= =?us-ascii?q?AxWSbbXYgYAoXid57I014nAe6FxyDpr7gY5bvLBurUJLy2j+b4Xp8be2?= =?us-ascii?q?KZ4a6UP8jbZL3MAm0uA+0EZ5vQB3t6NSerw5ttY8lWPUcaApzci1LPDW?= =?us-ascii?q?RMWYgilsJrou8TvMfV7A0sSg=3D=3D?= Received: from mail-yw1-f179.google.com ([209.85.128.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Dec 2025 17:11:56 +0100 Received: by mail-yw1-f179.google.com with SMTP id 00721157ae682-787c9f90eccso45176467b3.3 for ; Mon, 08 Dec 2025 08:11:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1765210315; x=1765815115; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=oX/CN21rfu4IKKGmlHPtwfsy3h0bbvGrc+1t92BFjqk=; b=aafPrekvQz4aI1BTsWbeAB/hufXWxDPJMo2Qp3dwwIGg3Fx36yc3yJAxagayrNgeMU t+F4Kmd/WQzqFJNuH6xUqHxsOPzZ4I3tV8G2fs+8CzRq1xU6ttPVWs6gVVEubG2WHB64 EXxGew+zpcichsjR+hxzHKaMk372PH/7NCPAUJt8lu2IgRXjfYUs1e5kPVk1h6vROgRt as+n9BTtW5JlJXIIb5MlDclr0qCjgq6PfqQDLTpm6jMHQnkxbDz20AJh9ur7LIQsIFWS 76Zz5CipbOHBQdBRP2zWyEOfkRhF3cLws87phCc463w8QaZ7oS1Z5cP0X/0v5NwtUQP2 TH0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1765210315; x=1765815115; h=to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=oX/CN21rfu4IKKGmlHPtwfsy3h0bbvGrc+1t92BFjqk=; b=vSUSueCK01OsoIOF6Zi6gruVU3laEkCcpmvrv7QooXmRHDEGSbaZyb2JdnMKnH+hQn z6u41ogAPyoF3hTDp+V0OXx4frafEB7JEe02Z39ddixyiqu4i2rPl5jSV+so8UtpYrjS uC7sKNMPur1ICn/WQ/qICTRL7wDbOsHLzLVbPJMIQt22Thhp9K7pQsgEVeDGLyoZx7FK CZFyduPiidPv8Hi0fqHkHjlwREACZyj+iaghov+a6aCUtS1T+SVghrsCPSriNY4AJG// msDBhh5WUDn5y2syZ2ramQNeSRhfS2v5gN8IPwnLkmIv9S4Q1y9DHzHq9JcPVj7gywit xnkA== X-Gm-Message-State: AOJu0YwCSa+ehmdf/xF2EM6AVG1LYhEdx5uos0D7l2wg16fMdIdNXYE/ 4CNOMI83wFTT1DrXUH1Ow8JB/0loZgKRiLWIXQp2cPeIfvFeJqA6ozEfEw0tmsY3j0ahsh0PmZE ICuFPIuIKNuPdOawe6bEVcf9Y2xwfbrIYPcDq X-Gm-Gg: ASbGnct55eKUeibDkSkqxI7Jfn+q96KGPrLV8tJdGjTFnDGMXVQQB6Q5ACilXfZJZVX CG6uBPyxaibvBILLrd5wZkQP3sViWEa2P20VrrgTiXRjKeHh+UDa2FgUk05aOk56HoPP7Vy6h8+ 3jFKzNXr3kWMTvfhq6j8oxuirkJMVRLysBB695koR+OyKdriKM+h1rAW7rZIXvq8rW8BN5Q+Vm2 9ywe8S2zWjZ/08kqDrgjFlg5QIVVyR2khTxz2mlahnmGczy7RIWxWNWey9OJFkiO9BGxM/VyjwQ lmAMI+VI8W4O0TZwI8R3BsgGB9Kc7DiPb0yW X-Google-Smtp-Source: AGHT+IG5+x2wpg/u3GpXcz/hR0AJ1QoCPMHPjf8EhZJoRSvfoySA/WXsqw2nDid9sF2f2qj2/HLbytU7gTtm5MN7KbM= X-Received: by 2002:a05:690e:2541:b0:643:2ee3:5c55 with SMTP id 956f58d0204a3-6444e7cd14fmr5359198d50.66.1765210315077; Mon, 08 Dec 2025 08:11:55 -0800 (PST) MIME-Version: 1.0 From: Ningning Xie Date: Mon, 8 Dec 2025 11:11:44 -0500 X-Gm-Features: AQt7F2qjqt9FTnixOIPMXgpOcOLGvChBHjP0h3Ev1wjygpTAxhuZZoYSN-DNgTg 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="000000000000c8bb8f0645730d30" Subject: [Caml-list] POPL 2026 Second Call for Participation - Early registration: 12 December Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19408 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: --000000000000c8bb8f0645730d30 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 POPL program: https://popl26.sigplan.org/track/POPL-2026-popl-research-papers ======================================= 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 Keynote Speakers: - Damien Pous, CNRS, Medium-scale automation for proof assistants - Caroline Trippel, Stanford University, Hardware-Software Contracts for High Assurance with Applications to Side-Channel Security Organizers: - General Chair: Sandrine Blazy, University of Rennes - PC Chair: Suresh Jagannathan, Purdue University Full details of the conference and co-located events: https://popl26.sigplan.org/ --000000000000c8bb8f0645730d30 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

=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Call for Participation
A= CM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026)
= =C2=A0 =C2=A0January 11-17, 2026, Rennes, France.
=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 https://popl26= .sigplan.org/

=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 registration deadline: ** 12 December 2025 **

- Register h= ere: https://= popl26.sigplan.org/attending/registration

- The POPL program: h= ttps://popl26.sigplan.org/track/POPL-2026-popl-research-papers

= =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 Symp= osium on Principles of Programming Languages (POPL
2026) is a forum for = the discussion of all aspects of programming languages and
programming s= ystems.

Location: le Couvent des Jacobins, 20 place Saint-Anne, 3500= 0 Rennes, France

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

Keynote Speakers:
- Damien Pous, CNRS, Medium-scal= e automation for proof assistants
- Caroline Trippel, Stanford Universit= y, Hardware-Software Contracts for High
=C2=A0 =C2=A0 =C2=A0 =C2=A0Assur= ance with Applications to Side-Channel Security

Organizers:
- Gen= eral Chair: Sandrine Blazy, University of Rennes
- PC Chair: Suresh Jaga= nnathan, Purdue University

Full details of the conference and co-loc= ated events: https://popl26.sigplan= .org/
--000000000000c8bb8f0645730d30--