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=dqY3k7uy; 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=DEobbQth; 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 206DC40085 for ; Wed, 6 Aug 2025 18:13:03 +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=Ah0HsM4wNdXerJtO9tb9JCEMGP02ggacKNZEFzvBv44=; b=dqY3k7uy2zqoBT/NwQ3wJgy/Zhp/iU6vAYwknQwnvNRP5a86GZBPnWGZ rM/ekD7adV8FvPClOzIPKltHDxnkmlQCZSiSIwPvjvwhlltL+a6rapEFP fWiMzUP8hlvMvsQquWHbSpp/7XoBwzCKbpdx2xcNNaREn59lkoq6XNeLe g=; X-CSE-ConnectionGUID: rQl6ebfySyioFDVE0uFr2A== X-CSE-MsgGUID: VPa+N0URQmK6kJzBAdEMPQ== 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.17,271,1747692000"; d="scan'208,217";a="234381011" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Aug 2025 20:13:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 23649E0264; Wed, 6 Aug 2025 20:13:03 +0200 (CEST) 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 8125AE0171; Wed, 6 Aug 2025 20:12:58 +0200 (CEST) X-CSE-ConnectionGUID: 1/yUp+NPTlqGyETguwqzow== X-CSE-MsgGUID: 447n7O7dTTSgXz2/sFzS1Q== IronPort-SDR: 68939b2a_UvSMgw09WR3bS+s+GdnABY+SBcVUZjjgMyLgoL77TdCM256 bRwUjdtlbskBwHFuEZhRDyumXyF2TFq0dd+MRfA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0G9BAC0mZNogbKAVdFaDoUOgQBZNAQLSYRVgSOCLIwBg?= =?us-ascii?q?iGBFoVWlVyBaYEsPQIPAQMBDT0UBAEBAwEDhQCMIgIeBwEENBMBAgQBAQEBA?= =?us-ascii?q?wIDAQEBAQEBAQEBDQEBBQEBAQIBAQIEBgECEAEBIhkHDjuGTw2CWztxYQIFA?= =?us-ascii?q?zoBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQINHz84C?= =?us-ascii?q?wYdARsMEgMSCQc3AiMBEQEFASMSFA6CYYIhAQYQAQMyAxGpZYEFQos+gRUFA?= =?us-ascii?q?haBAYINBoEJ2VYKGSgNcYFhAgEGFIE1hHYpXIJWAYFdAg6DfzuDQoEhG4INg?= =?us-ascii?q?RU1gj2Be4FcBIEpARIBToMugmkEgiKBAhSBXIEVjXiBfAGGYiYIBxcDBwcJB?= =?us-ascii?q?QQcBgUFAj8JBQEPEgMEAwQEAQILCQoJAwMCDgIIAwIIBhkBPxIEEwoNCwcFH?= =?us-ascii?q?woCDBEKKCISAikKAQIBHwoxAxQEGQEBBwYCAgMBBAIEDAIEBQICBQQDAgoEA?= =?us-ascii?q?wMEAQEIAgItAwEDGQgJCAILBRQYDAsFAgooAw8BAQQJDAEBAgQCAh8CAQMIB?= =?us-ascii?q?gEBDQIDAgIBAgIEAgQGBwQIAQECAQICAQEBBAEHAQECAgMDBQMFAwgZARUJF?= =?us-ascii?q?QMEBQICEgICAQcBAgEBAxkCAQMDBAELAgEBBBsEFQIWJAIZAgEFBQUBAwQLE?= =?us-ascii?q?AkDAgUEAgIGAgQOAgcCAhoEAgIBAwQGAwECCAICBwQEBgMBAgIHFwIVAQIBA?= =?us-ascii?q?wICCQoEBQQDBAMCAgIBDAMBAgMCAgECAQEDAQUGDRICAQMPCAQCAgcCAiEPC?= =?us-ascii?q?wECAQEGBgMDAwoDAQoBAQYCAQISBQICAgQBAgIGBCUBAgECAQEBBQIBAgECB?= =?us-ascii?q?AIHAgECAwgBBQIGAQICCQECAQICAgECAQECBgIBEQQBAgICAgIDAQMGAgICA?= =?us-ascii?q?gICCQICAgIFAgUDAgMFAgUCAwMCAgMEAwkDAwgDBgQCAwEBAQIBAgICAQIBB?= =?us-ascii?q?QIDCQEBAwIBAgICAgMGAgUFAQMLDAEBAgEDBQMDBAMGAQ0EAwIEAgICAgQCA?= =?us-ascii?q?QUDAwIFAQsBAgQCAQMDAwQEAwECAgoMAgQBAQEBAgECAgoDAgUBAwMBEQMEA?= =?us-ascii?q?QYFBQYCBwkDAgIDAgIBAgQDCQQCBAMDAgICAQEKAgIBAgEBAwMHBhABAgICA?= =?us-ascii?q?Q8CAwMEAwQGAwUJAQMHAQEBAQECFAMCBAURCAIBAR4BFQIHAQQDJx4CAgYCA?= =?us-ascii?q?gICAwICAwMDAQIBAQMFAQMCAwIBAgEGAgMDAwUDAQ4CAgMBAwEGBAQCBwECA?= =?us-ascii?q?gIOAQMCAgkCBwkIAgETEwICAgIBAgIBAgcBAQIDAgUFCAIBAQECAgMCCwICA?= =?us-ascii?q?QIBAgIDAgMCBgEJBAQGAQIBAQUEAwkBAgMkAwMEBQMCAgICBwIEAxkCDQYBB?= =?us-ascii?q?AMFBQMIAwYCAgMPAwcGBwIHBAIEAgICDgIDAwcFAgIDAQEMBAcCAwICEgMCA?= =?us-ascii?q?QECDwICAgwBAQQCAgIFAh8KBAoCBwoCAQMBAQoCBAIEAwIKAgYCBAMFAgIBB?= =?us-ascii?q?AMCCAIBAgIBAggDAgcDAgMCAQ8ZAwIBAwoCBgUECAICAwMDBAICAgkBAwYBA?= =?us-ascii?q?QEBAgICAgMCAgUGAg4DAwQEARQKIwIJAyMPAwsJCBM9AQsHMgQ2AQYOFAcrI?= =?us-ascii?q?V+SfoJjb2QoBIEFVQWTcpAuoy9ogz6EcIculVMzqmuZBiKNZpViAhOEYVARJ?= =?us-ascii?q?BKBSSNscDMaIy9SgjZPAxkPVwGNYINphROKIakcKjI8AgcBCgEBAwmSHoFLA?= =?us-ascii?q?QE?= IronPort-PHdr: A9a23:9tZRtRcW2DToWi4RQmvWTHRDlGM+SdfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASSG92AoKsd27WM+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHROOjNwjQAcWuURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi7owvcutMKjYZsJao91wbFr3hKduhI2GhlOU+dkxHg68i/+5Ju7z5esO87+c5aVqX6caU4T bhGAzkjLms4+s7luwTdQAWW/ncSXX0YnRVRDwXb4x/0Q4/9vSTmuOVz3imaJtD2QqsvWTu+9 adrSQTnhzkBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNUXTndDUMlMTSxMGoyzY YsBAeQCIOhWsZXyqkAUoheiHwShHv/jxiNKi3LwwKY00/4hEQbD3AE4B9wOsXLUrNrzNKcTV +C1w7TDwjTCb/xIxDzw74fJchYnofGNW7JwfsXQyUgxGA7egVWQrJbqPzKR1ugXr2eb6O9gW PuphmU6pA5/viKhyd0wionVmI0V0FbE+D1lzIs0OdC1TEB2bMKgHZVQqi2WKYR4Tt08Tm10t ig3xbMItYOncSYFx5kqyRzSZvyHfYSU7RzuSeScLDd4iX97fr+0mhi88U+lyuLmV8m01k5Hr jFEktnDrnAN0wbc6s6dRvt65Eeh1jCC3B3Q5OFcOU04i7bXJpo7zrMzlpcfq1nPEjH1lUnsk aObdEYp9+614Or9eLrmvIWTN4pshwH+LKsunsu/DPw9MgcUXmib/f2w1b3t/EHkWblKgOA6n 6vavZzAKsQboam5AwBR0ok98RqwEzCm0NEAkXkGKlJKZg6HgpD3N13SJP30F/SyjlS2nDt22 fzLPaftDojPI3XAiLvheKxy609YyAo919Bf4JdUB6kOIfL1XE/xtdrYDhA2Mgy13enqE9p91 oYEVmKOBq+VKr/dsViN5u43OemDeJcVuCrhK/gi//PhkWU2mVoZfaWw2ZsXaWu4Huh9LkWCY Xvsh88BHn0Qsgo/SuzqklyCXiRJa3a8RaIw/is7B56+DYffWoCth6SM0zu8Hp1Pf2xJFlSME WrzeIifQPcNaCeSItd7nTAeVLihTZUh1RC0uwPgxbpnNPLY+isDup37zth6+/XTlQ0u9TxzF 8mRzXmBT25qkWMPRDE4xrhyrkJgxFuby6h3neJYG99J6f5RVwc1L5/cz+hjB9HyVAPNY86FS Fi7TtikAjw9VN0xw9gJY0ZyH9WtkArP0DatA78Qj7CEGZ808qPZ33XpP8hzxHjJ2rc9gVQ6R MVDLXCphqtl+AjJG4HEi12Xmb+ye6oTxCLN73+DzWSWsU9CTAN+TLjLUWgEZkvOo9T2/kPCQ KGqCbQgKgZP0deMJLNFZI6hsVITT/7mPJHaYnmts2a2HxeBgL2WKMLhfHxY1yHAAmAFlRoS9 DCIL0x2DyitqkraDSdyDhTkY0ro9ORkszWgQwt8xAXPblZo3bex/hNQmOeRUeg72rMfpDxno DxxWl+2mc/VT5KLoAxqYb9GbNU28X9D1HnFrAFnIJG6abx/ixgYd0A/v0r11BhzDsBLmMYnh HMj1wl/Labe10lOM3uEzIj9IfjeLG/14RakZobS20rCy5CN964UrukgplPl+gylCxkM6XJih v9U1XSa55PFRDoTXNqlQkAx9h51t7DXSiY47oLQk3ZrNP/n4Xf5x9s1Cb59mV6bdNBFPfbcf OeTO8gTBsz0bfcvh0DsdBUPeuZb6K8zOcqiMfqAwq+ieuh6z3q9lWoSxod73wqX8jZkDPbS1 sMVxfeZ2ASXVjrUg1Kos8SxkodBNnkJBmTq8SH/H8ZKY7FqO4MCCGOgOcqyk8V4gZ/rVG5Z+ XasAloH3Imifh/BJ0fl01h20kIa6WeihTP+zzFwlGQxqbGD2SXV3+n4XB8OO2oOVXY7yFm1f tjygNcdU0ylKQMukXNJ/G7cwK5W7OR6JmjXGwJTejTuantlWe22v6aDZMhG7NUptz9WWaKye wLSTLm1uBYc3y75egkWjDkmazGnvIn4lB1mmSqcKnh0tn/QZcB3w1/W+tXdQfdb2jdOSjN/j HHbAV21Pt/h+tvx9d+Loua4VmSuRpxeWSbuxIKE8iC84CwiABGymeyyhsyyCRIzgmfw09hnU zmNrQ6pONG6kfTnd7s9Lg8xWw+vjqgyUptzmYYxmpwKjH0Th5HPuGECjX+2K9JQn6T3cHsKQ zcPhd/T+gnsnkN5fRfrj8r0UGuQxsx5apy0eGQTj2gt6cZLDqiE7bFski58o17+pgXUK6sY/ H9V2b415XgWjvtc8horyCSbDaATEGFXOCXtk1KD6NX0/+1HIW2od7a3zk93m9usWaqDrg9rU 3H8Yp4+HCV0462TKXr02WboosHhcdjUN5cIswGM1g3HhK5TIY4wkfwDgWxmP3j8tDsr0bxzg Rtr1JC89I+JTgcltLK/BB9eOS30ausc/zjsieBVmcPe0420H5pnEykGR9OyFaPuQG9U7K63c V/RQHU1sT+DFKDaHBOD5UsDzTqHCJ2tO3yNZTEYwdhkWBiBNRlaiQEQUi89m81xHQSrycr9N UZhs2pJtxio910VkLIubkavAQK97E+yZzw5SYaSNk9T5wBGvQLONNCGq/h0FGde94GgqwqEL iqaYR5JBCcHQB/hZRirM7+w6N3H6+XdCPC5Kq6EcbOIqOpRR/aF7Z2q24piuT2LM4/cWxsqR +1+wUdFUX1jTo7JnTMOTSMHli/lYMuSpRP68Spy5JPakryjSEfk4o2BDKFXONNk9kWtgKuNA OWXgT5wNTdS0p5fjW+N0rUU20Qezj1/bzT4W6pVrjbDFeiD/80fRw5ecS54M9FEqr4xzhUYc 9COkcv7j/Z5lqJnVAsDDAa83JnvPYtTfSm8LA+VXRnQcu3XeXuThZmwOP3ZK/UYjf0I5Ufo6 HDLTgm6ZGTFz36wCFiuKb0e1njFekEO/tjsKFA1TjGyBNP+Nk/haYEx12Znh+ZuwCuNbD95U 3A0ZUpJqvf4ATpwpPJ5FiQB63NkKbPBgCOF96zCLZ1Qt/J3AyNynuYc4XIgyrIT4jsWDPpy0 DDfqNJjuTTE2qGG1yZnXRxSqz1KmJPDvENsPr/c/4VBXnCM9QwE7GGZARAH79V/Ddint6dVw 9nJ3KX9TVUKu8rT5tcZDtPIJdivNXMgNV/4B2eRAlJaHXikMmbQg0Ebm/aXtzWUopU8tpnwi c8OR7tcBzlXXrsRDkVoGsBHIY8iBGt11+7GypdStTzn80mCIacS9orKXf+TH/j1fTOQjL0eI gAN3au9N4MYcIvyx01lbFB+2oXMAUvZG95X8UgDJkc5pltA9H9mQyg9wUXgP0m95nkSE/Gkn xMehQ53YOBr/zDpqQRSRBKCtG4rnU89lM+wyyiWayL0JbysUJt+DiP1sw0gLcq+TV8qPUu9m ktrMDqCTLVUxegFFygjmErXvp1BHuRZRKtPbUoLxP2ZUP4v1ExVtiStwUIvDQ7tBp5rlQ9se pmp/SooM+NLadc0IenBO/MMwAEP1uSBuSin0u13ywgbdR5lGIy6dysBuUhOPb4jdXPAww== IronPort-Data: A9a23:K7GDkKzeZX5dszrm0tp6t+d9zSrEfRIJ4+MujC+fZmUNrF6WrkUOn DcWCj2GPfiJNGf9et1wYYvgpEsDuMTXnYJhSwdtrFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliOfVAOO6ULOZUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtLg06/gEk35qmq6GtG5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x138FFtO/n7/nRVYBS7jUMBLmoiI+t3+K33CuDgRrukoKHKJ0hXV/011lrPgto Dl5jqFcfC9yVkH6dEvxZDEDe812FfUuFLYquhFTu+TLp6HNWyOEL/mDkCjalGDXkwp6KTgmy BAWFNwCRknElt+ug5SDdu11qdUOEMb2I5oNvW41mFk1Dd5+KXzCa6DD5NsdzShpw84XQqaYa M0eZj5iKh/HZnWjOH9NUMN4zLru3yOvNWQH+Dp5poJvi4TX5Bx31rnrP8rUd/SFQMxUmgCTo WeuE2HRWEpGb4zHmGrZmp6qrrOTwiWkf90eKIGD+c542hqI6H4oUSRDADNXptHi1xfmBIMBQ 6AOwQIlpK02sUiqVcXVRAy9uHfCvxgGWtMWHfdSwAqK0+/f5xuTLnMVSyZILt0grs4/AzIwv mJlhPvsDD1r9ayKEDeTr+jE6zy1PicRICkJYipsoRY5D8fL+cYiswqMaO5fFLean/DJFizv2 iKNs31r71kMtvIj26K+9FHBpjujoJnVUwI4jjk7uEr1sWuVg6b1OOSVBUjn0BpWEGqOorC8U JUsnsGf6KUfEsjImnXSEKMCG7am4/vDOzrZ6bKOI3XD32X3k5JAVdkPiN2bGKuPGpheEdMOS BGJ0T69HLcJYBOXgVZfOupd8fgCw6n6DsjCXfvJdNdIaZUZXFbYoX0yPB7PgT20yRBEfUQD1 XGzIZbE4ZEyWfsP8dZKb7xMuVPW7nlunDqMHMqjp/hZ+eHGOiPEEN/pz2dinshisfrc/1SLm zquH8SNzBpbXaX/ZCKRmbP/3nhbRUXX8ave8pQNHsbaelQOMDh4V5f5n+l9E6Q7xP89vrmTo RmAtrpwkguXaYvvcl3SMigLhXKGdcoXkE/XygR2YQ31gyF/ON/1hErdHrNuFYQaGCVY5aYcZ 5E4lw+oW5yjkxyeo25HP6ru5pdvbgqqjg+oNi+oKmp3NZ15SgCDvpeucgLz/WNcRmC6pOkvk Y2Gjwn7eJskQxg9LcD0bPn08Ui9k0JAk81PXmzJAOJpRmPSzKZQJRfctMQHe/M3FU2bxx+x9 RqnPhMDlOyc/6436IbogI6HnaeIEsx/PExQIEfD553rNyOApmuH6q1DWdauYjryej7V+qKjR OMN1ND6EqQNs2hrurpGMYRA7PwB9fq2gJRF3CFIIW7tU227Lp9BflyXwthptIBW471S5DuNR UOE/+dFNYWzOM/KFEAbICwnZL+h0c44tybz7/MnBlfT/w5yoaS6VHtNMym2iCByKKV/NKUny 7wDvO8U8wmOtQo4AO2Zjyx793W+EVJYav8J7qolOY7MjhYn7npgYpaGUy//38ypWuV2a0IvJ meZubrGi7Fi3XH9SnsUF0XW/O9jlJ8L6QFrzlgDGgyzoeD7pMQLhT9fzTdmaT5u7ERj8/lyM W1VJUFKNf2w3zN3tvNiAUGoOS98XSO8xGKg5WcNpmPjS2uQalfsN0w4YOaEw1AY+TlTfx9d5 7Cp91zmWjfLIuD00jcDZkp+j/nFU9ZK1xbjnfq/FJ+vBKgKYjvCg46va1EXqhDhP9gDuU3fq cRu/8dycafeNxNMh4EeFK+hyu02ZD2fAW5NU9VN3fksJn7NXiO21RylCVGDSukUK9PkqUaHW tFTfORRXBGA5QOyhzE8B4tXBpRrnfQsteEwSpmyKUEo67Kg/ydU6rTO/S3DhUgucdVkseA5D qjzLzuiMGihtUF4ql/3jvtvGzSHOIEfRQjGwuqK3v0DFMsDvMFSYEgC6OaIkEvPAjR33SC/n V3lXLDX/dxA2I43vorLE4d/PSuWB+73dty19FGUj4wTQ/LJadzDpiEEmGnBZg52B4Yca/5zt LaKseP04n/7gaYLYzjZtaWsR6htzueubdVTKfPyfSV7nzPdecrC4Ckj2mGfKL5VoexZ/e2XQ 1CdU5K1UOIeB/NYyGNfMSRFIS1ACa6tNqbEjgG+psSqFRIy/1HmLtSm1HmxdkBdVHYCFKPfA z/OmcSFx45nvqUVIzFcHNBgIZtzAGG7aJscb9er6AWpVDi5sG2Nqp7JtEQG6wiSLlKmDcyjw 5bOZiamRSSIoKuSke1o6d1jjCY2UkR4r/I7JH8G2thMjDu/Mm4KAMIdPbgCCbBWiibC7475V h6ccFodDTjBYhocfSXe+NjDWiKtNt4KMPr9JR0r+BqwQAWyD4WiHrBg13lB51FbRzjd99yke OouoiDIAhuMw59XHLdZorTxhOp83frVy04Z4U23wYS4Hx8aBq5Mz3B7WhZEUSvcCczWiUHXP i4PSHtZRF2gA1vEeSq6l6W5xDlC1N8u89kpUctL6NPWuoHe3fIZjfOmZLG13boEY8AHYrUJQ BsbgodLD3++ghQuVWkB4rrFQpOYzdqEG8G7KOnoQgh6c2SY9DE8J81b9cYQZJhKxeOcem8xU hGj5nE/AAKOL0U5NHh6D+kW08oZb0/gxA0lQOIySfEqXPD5IxXkl8CW8T/G IronPort-HdrOrdr: A9a23:gSB1D6NJYLKjG8BcTgmjsMiBIKoaSvp037BL7TEIdfUxSKalfq +V7ZEmPHPP+VQssRIb6LO90cu7MBThHPdOiOF7AV7IZniBhILHFvAa0aLShxLnADP37eNQ2O NNdKJkGMTsAVUSt6rHyTj9PdJl79WO7byyif229QYIcShaL49lqyl2Yzz0LqS0fmZ77FgCea Z0KvAnm9NoQxQqUvg= X-Talos-CUID: =?us-ascii?q?9a23=3AS9VNmWnaqMQcp3R8COg8RIq5ZajXOSSa3UrIYGm?= =?us-ascii?q?ANWJwZ6y4dVCN57p2lNU7zg=3D=3D?= X-Talos-MUID: 9a23:GpO9BAbT9YFyS+BT62Ozgm5Fa8tU35+hOFJX1o4oqfLdDHkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.17,271,1747692000"; d="scan'208,217";a="234380984" X-MGA-submission: =?us-ascii?q?MDEtAZLh9r9Sfb0mfqF1LnsIzOEBFWhpkPyOfF?= =?us-ascii?q?+F3DyBuk3S0vyygyQ3zLxsYg08Fsur0oGHvv2KdCwaiwBHNcr5E0rRXj?= =?us-ascii?q?UccdNP4KetWe/F1hja6tyRd4ReSCHvPGInYI0Q8KOCRBmwXGgYSkYFAW?= =?us-ascii?q?wEebgWIB6EcmYNp06xsuSVCQ=3D=3D?= Received: from mail-yw1-f178.google.com ([209.85.128.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 06 Aug 2025 20:12:58 +0200 Received: by mail-yw1-f178.google.com with SMTP id 00721157ae682-71a455096e0so996817b3.0; Wed, 06 Aug 2025 11:12:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1754503976; x=1755108776; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=Ah0HsM4wNdXerJtO9tb9JCEMGP02ggacKNZEFzvBv44=; b=DEobbQthHSgw0MRAvy/j6ZhaFefMGxpT36EOG/x2T9lC0TLS+RQRINpfhQztVXOGpg j3P1J7FDPGF/1tp+eAhR8C1+9SjAytdgTuUGqBnnNeHwd2hTXoA9u+sLzncMNRrT74SX SRHjc2FVoFoCG1sSdvWb7KRyxrVPyM7mvdUtBXLt6Xg7IvUVjf+KIbCuBsmpveB2UVFj E9/1ueqj6r6CYBOo6twWgKhdATMKbQro6lm/v74cfXZOT4CT1X7mrFPBj+2C1VSX2FIq ZzxBAtZws3z/hH4USySdNblmrVD88AJM0/xQJa8s1fKl/N+kKmCQ8ZdokaRdtcQRLW0g QbJA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1754503976; x=1755108776; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=Ah0HsM4wNdXerJtO9tb9JCEMGP02ggacKNZEFzvBv44=; b=TkXFhlu/zP5WQpS8ib9YFXCE1lGPa7pAO9hmFKKNI053XmhE/P03MKmg5Nd3HwFPMY s6G7ryTj+do1ibKK5G4JJ3QmH56DTNBA5LBDhYneo3U8BHNNm80dHdkDqtx80TdX+ctK ncxC+9EQem0MtDkgkFg+baWxlEhK7pvbgL9/smD1G4BVV+x+QOoXRZDRqf1UnUiENOv5 ud7CW/B4RgZIIghKSk9YDy0DE5nF5AG9ypbRO6Ns2LKgCS3bckbwgZgbVzMxh9nMwhiH QQz4FhlPK86qKKVhl6UgpRcbuyH2+evMNX78cilqGmEQjejBy7WM+dbwg//jmVyeIaS1 YQmA== X-Forwarded-Encrypted: i=1; AJvYcCVz8BhHIFWEap9GcdCmi4y6QrzOi1W7kkJAPveb9K1+CZCCRdMzcsKrWjHPEuinTVJ0GhCKZw75/w==@inria.fr X-Gm-Message-State: AOJu0Yzxkg2fBMWV0sN4kFXCDC2sHyc+WbnaaDKtyR7+swsPzlRi4OlR KMvXvXem1cvp1xgy7pfnozsOBMiaG1OLWHdvtrxitETU6dBWGSbvBwNY00Dmn9ubi9YgYI4Ukj1 Emck/lRB+/yuCxJ/DhW8sJ3gubvFB9tDXaw== X-Gm-Gg: ASbGncvzoZnBSEBZxlfNrI+1jOwcK+WrDTWalc0DM/p6dOER0bgZI5CO7NH6KUgEnZp 0bkDKyYNXZpHmRZDQaLzE0ico3fEV7NeMY2g3QwLSkoHHfqOwjW5OvGtNYtpzm5d6M5bJO+g81P 30nf7EOl93CpUBIpo6QH+pXKeDibXpp98ze0XR2hriPxrhEaj3CBwbKZOGnw0Iv8+gtvQFHq9l6 AX3Ij8= X-Google-Smtp-Source: AGHT+IHljPyk6m6tG8rmgQYoN1pyrISKZn/rk2HCtRf0yus1ih7nsRvf1HS7CGiWA6SEi1Eg7koN7lW0nlbePIQ1LZs= X-Received: by 2002:a05:690c:7489:b0:717:ca51:d781 with SMTP id 00721157ae682-71bcc6c5cd6mr46446807b3.17.1754503975952; Wed, 06 Aug 2025 11:12:55 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Wed, 6 Aug 2025 14:12:45 -0400 X-Gm-Features: Ac12FXz-RfGz2zRmeiwlwCRtqzyZX5VDKfc4r0AA9HT6atKJRo-8wydpBEvQJlc Message-ID: To: caml-list@inria.fr, coq-club@inria.fr, agda@lists.chalmers.se, cl-isabelle-users@lists.cam.ac.uk, concurrency@listserver.tue.nl, haskell-cafe@haskell.org, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="0000000000003e6398063bb64ae1" Subject: [Caml-list] POPL 2026 Call For Tutorials Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19359 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: --0000000000003e6398063bb64ae1 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable POPL 2026 CALL FOR TUTORIALS https://popl26.sigplan.org/track/POPL-2026-tutorials#Call-For-Tutorials The 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) will be held in Rennes, France. POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation, and verification of programming languages, programming systems, and programming abstractions. Tutorials for POPL 2026 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants. Tutorials will be held on Jan 11=E2=80=9313, 2026. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A). Submission details Deadline for submission: October 10th, 2025 Notification of acceptance: October 24th, 2025 A tutorial proposal should provide the following information: - Tutorial title - Presenter(s), affiliation(s), and contact information - 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience= , prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available. - 1-2 paragraph abstract suitable for tutorial publicity. - 1-paragraph biography suitable for tutorial publicity. Proposals must be submitted by email to Robert Rand (rand@uchicago.edu) and Alan Schmitt (alan.schmitt@inria.fr) with the subject line "POPL 2026 Tutorial Proposal: [tutorial name]". The proposal should be attached as a PDF, docx, or txt file. Further information Any questions regarding POPL 2026 tutorials should be addressed to the workshops chairs, Robert Rand (rand@uchicago.edu) and Alan Schmitt (alan.schmitt@inria.fr). --0000000000003e6398063bb64ae1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
POPL 2026 CALL FOR TUTOR= IALS

https://popl26.si= gplan.org/track/POPL-2026-tutorials#Call-For-Tutorials

The 53rd = ACM SIGPLAN Symposium on Principles of Programming Languages (POPL
2026)= will be held in Rennes, France.

POPL provides a forum for the discu= ssion of fundamental principles and
important innovations in the design,= definition, analysis, transformation,
implementation, and verification = of programming languages, programming
systems, and programming abstracti= ons.

Tutorials for POPL 2026 are solicited on any topic relevant to = the POPL
community. We particularly encourage submissions of introductor= y tutorials
that make the research presented at POPL more accessible to = the
participants.

Tutorials will be held on Jan 11=E2=80=9313, 20= 26. The expected length of a
tutorial is 3 hours, including questions an= d discussion (Q&A).

Submission details

Deadline for submi= ssion: October 10th, 2025

Notification of acceptance: October 24th, = 2025

A tutorial proposal should provide the following information:
=C2=A0 =C2=A0- Tutorial title
=C2=A0 =C2=A0- Presenter(s), affilia= tion(s), and contact information
=C2=A0 =C2=A0- 1-3 page description (fo= r evaluation). This should include the
=C2=A0 =C2=A0objectives, topics t= o be covered, presentation approach, target audience,
=C2=A0 =C2=A0prere= quisite knowledge, and if the tutorial was previously held, the
=C2=A0 = =C2=A0location (i.e. which conference), date, and number of attendees if=C2=A0 =C2=A0available.
=C2=A0 =C2=A0- 1-2 paragraph abstract suitable = for tutorial publicity.
=C2=A0 =C2=A0- 1-paragraph biography suitable fo= r tutorial publicity.

Proposals must be submitted by email to Robert= Rand (rand@uchicago= .edu) and
Alan Schmitt (alan.schmitt@inria.fr) with the subject line "POPL = 2026
Tutorial Proposal: [tutorial name]". The proposal should be at= tached as a
PDF, docx, or txt file.

Further information

An= y questions regarding POPL 2026 tutorials should be addressed to the
wor= kshops chairs, Robert Rand (rand@uchicago.edu) and Alan Schmitt
(alan.schmitt@inria.fr).
--0000000000003e6398063bb64ae1--