From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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= Authentication-Results: plum; dmarc=fail (p=none dis=none) header.from=gmail.com 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=lGiF8CQW; 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=KL6LVmeL; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 74674B80123 for ; Thu, 17 Oct 2024 22:35:37 +0100 (BST) 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=TC9KZmUosAx7IgIeEg06qQSsEqVAz50t25EMvAfmRug=; b=lGiF8CQWH2J4nLsrAATMNxQ60O3PTfNqS8vak9xHinJeIHbKpge55L85 zvAdakTQmUYjigTjI6UPg7b+MupoC0IFKF6xuOthjBisZSlqtsBz11mXY v/fvtTij3cp5G11eggIbwpDvfgvsBYckh48MkJweEM3O4W+G4MHMg7lor U=; 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: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.11,211,1725314400"; d="scan'208,217";a="189479097" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Oct 2024 23:35:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 97ACFE00B7; Thu, 17 Oct 2024 23:35:36 +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 4C12FE004E; Thu, 17 Oct 2024 23:35:30 +0200 (CEST) IronPort-SDR: 67118322_MDy7aNweSNmOAdYzcqGpN9Hduf1s0b1MrEbnb9EBh8jqv/O WQO4mPlyg6/FTrazbJinrkszpsBHuOYAfOy/TUQ== X-IPAS-Result: =?us-ascii?q?A0G9IwCjghFn/63QVdFaDoUOB3ZZNAQLSIRWgSOCLI0tA?= =?us-ascii?q?XGBFpsrgWqBLD4PAQMBDTkLBAEBAwEDhQCKJgIeBwEENBMBAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBEAEBBQEBAQIBAQIEBgECgQoIC4U1Rg2CWztxYQIFAzoBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQINHz84CwYdARsMEgMSE?= =?us-ascii?q?DcCIwERAQUBIxIUDoJggi8BAzEDEaMegQVCiz2BFQUCFoEBV4E2BoEJ2VMKG?= =?us-ascii?q?SgNb4FgAgEGFIE0hHMpXIJUAYFcAg6DfTuDQoEhG4INNGE1gj12gQWBXASBK?= =?us-ascii?q?QESAU6DLoJpBIFShRSEb4FVghaBZCU8gSJ2CBZSCAkKBCaBDCR8hXEjAoY6g?= =?us-ascii?q?wORByYIBxcDBwcJBQQcBgUFAkIJBQEPEgMEAwQEAQILCQoJAwMCDgIIAwIIB?= =?us-ascii?q?g4CEQE/EgQTCg0LAwYFHwgCBAcMEQoXAgMDAgIDAgUDAwUFBQIDBQMEAwUDA?= =?us-ascii?q?wIRAQYCBQ0IBgsFBQcCBgIECAUCAgMDAwIEDwMDAwIFAgIDAwECBg8GAgIDB?= =?us-ascii?q?QYDAwMDAwYDAwIGAwMCAgMCAwEDAgMBAgMCAgIIAgIDBQQFAgIECBACAgICA?= =?us-ascii?q?wMIAwMKBAICBAEEAgQCBAYCBAICAQYCAwMCAwIHAgIEAgICAgMCBAUCAwMDA?= =?us-ascii?q?gICAQkCBQEBBgIDAwIDBQMJAwQFAgMIAQECAgcHAwMEAwECAQUEAgIGBQIDA?= =?us-ascii?q?gIEAgQFAwIDBgYCAQMCCgYDBQMDAwIDAgMDAgUCCAICBAQFBAIFBAIEAwMDA?= =?us-ascii?q?QoCBgMCAgUBAQICBAMCBAQHAgIHDwMCBwUCBQUFAgcBBgUCAgMCBgECAgYBB?= =?us-ascii?q?gIEAQINAQECAgMEAwMHAgQDAggCAwMPAQMDCQYFBAUEAwkEDwIEAQgDAQEEC?= =?us-ascii?q?AIEAwIMAgIgAgULBAQXCAMBAQMBAQICAgINAwIDAgIDCgIDAgoGBAIEAQEBB?= =?us-ascii?q?AEDAQEDAgECBwQOBAUFCAgBAwIBCgECEAUQCQMHBAIQBgoFAwIDBQEFFQMIA?= =?us-ascii?q?wkCBAwDDQIDAgYDBgIGAQYDBwsBAQcIBQMDAwITAQICDwgEBg4IAgMDAwQDB?= =?us-ascii?q?wMSAgYOAwIDAgECAgIDBQQFAgcDAwoFAggDAggFAwcJBAoCCgIGAwICAgIFD?= =?us-ascii?q?AEBAQECAwIFAwcHCAgEBQQDAQEGBgweAgIDBA8DCQMGCwEFBQEDAgIOAwYCA?= =?us-ascii?q?wYGAQkEAQUECQIFBwYFAgEUFAcGAgoCBwICAgMBAgMFCQgCAwIKBAEOBBkCA?= =?us-ascii?q?gIBAQICAwcCAwITAwMFBAgCAgICAwIBCgsDAgIDAwMDBQUDAhkDAwIBCgUMB?= =?us-ascii?q?QQDBAICAR0DAQUCAwoBBQkBBgICAwIFAgMGBAIEAQ4BAQEDBgsJFAICAgkIA?= =?us-ascii?q?wgDBQ0CDQIDBQICCz0LBQEBBAMBCAEXLQIEAgYMAQEBAgMGAgICFQUFAwUDC?= =?us-ascii?q?AEDAQITCAYCAQMKCgICBAIGAwMCCgMBCAICAg8DCQIHAgwCAgMDDA8EAwMDA?= =?us-ascii?q?wgCAgIRCQoCAgIMBAoCCQICAwYBAgMDBQMCAQEBBC8CBAcBAwYKAwICAgkIC?= =?us-ascii?q?gkDAwUDCgIBBgQBAgMMAQECEwQJAwIBAgEBBggBAQIEAQQCBwYCAgICCgMFA?= =?us-ascii?q?wIDBRIFBAICGQMEBQMFAwMEBwECBQQKCQIFAwIEAwMCBAQBAQgFCQQDCwYBA?= =?us-ascii?q?QEDBAMBAQgHBwMCAQEDAQEKBgUIDQYDCAMGCQMEAQEFGgIDDgICAgMCAQoGC?= =?us-ascii?q?AUCAwYMAgQCGQEMAwEDAwUOBBQDBAUCAg8MAQIDAwQFAwUCAgIDAgICBQQBA?= =?us-ascii?q?gQCBAEIBAkBAgICAwIBAQIEBgUCAgIDAgcMBwMEAgYCBgIDAgcLCwIDBgUFA?= =?us-ascii?q?wUCHgIDAgIEAwMVAQQBAgECAwICAwIDBAEDAwIBAQEDBwICAgQBAQEEAwMFA?= =?us-ascii?q?gIDDAIDAwEBBgEDAQIPBQUGBAEKAwIUAwUVBgcCDwUIASYBBAICAQI2AgIDB?= =?us-ascii?q?A0IBQICBwIEDAIEDwUDAw4GARUGAQQIBAYEBgYFBQMGDgcXEQEBBAQCBwEEA?= =?us-ascii?q?gINBwIMAgIGBAICByMGAwUJAwIFBRACAgsCBAMOBwQEGwMBAgoCAhgCAQcBA?= =?us-ascii?q?hIBBwQBFAIEBgMCBQQCBAMCEAQIAgIDAwQEAwEFAwQJEQMLAQUGBQEBBBEBA?= =?us-ascii?q?gECAQECAwMOAQICBwICAQkCAgEBAg0IAQQDCAIBBAMFAwoBAQECAQQJBA8GA?= =?us-ascii?q?wUDAwcDBAIDAgYCBAQEAgIDAwIDAQMDAgECAwkCAQ8PCg8CAgMEAgYCAgEEK?= =?us-ascii?q?wIBFQUCAwQCAgcCAgMBAgECAgIEAgQCAgYDCQgBAgIHAQICAgMVAgUBBAkDA?= =?us-ascii?q?wUSDSMDAwECAgIDBwoDBQIBAQIEAwMDAwkNBwIDAQIBAwUDAQIBAgkDBwICA?= =?us-ascii?q?wMFEhkFAwIPAwIBBQQCCBILBwEBDxYFBAkFFQMGAgMDFgsEBQMDAwEMBQwOA?= =?us-ascii?q?gILAwQTBQEBBwEDDggDBAQCAwMMAgESAQMEAgkCBAECCAICAgICBAEBBQQCB?= =?us-ascii?q?AMCBQICAQgEAwMDDQQDCAgDBQMMEgICAgkCAwECAwMDBA0IFg0DAg4bChUTB?= =?us-ascii?q?wcDAwQLAgkDBA0CBAICAQYDBgoGFgECGAICBgwEAwMIAwIDAgIBAgICARICA?= =?us-ascii?q?gkIDQUJBQYCFgMCAwgBCQMPAgMCFAEGAggDBwEBBAICChMKAQEDAQIBByQCC?= =?us-ascii?q?wcfBQELDAUFBw4IBSUdAgkDIw8DCwkIEz0BCwcyBDQBBg4UByshX6p4gVoBR?= =?us-ascii?q?oIVb2QoBIEFVQWTZ5AFox5ogzyEb4cnlUMzqkyYdyKNW5VRAhOFLBEjEoFJJ?= =?us-ascii?q?mlwMxojL1KCNlILDg9XAY1gg2OFFIohty8qMjsCBwEKAQEDCYxMgUsBAQ?= IronPort-PHdr: A9a23:Z2ICjhAr/EOOFq0sJcbfUyQUf0oY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua41ygWUBM6Cta4MotGVmp6jcFRD26rJiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhFiiaxbalsI Bi2sAndudQajIptJ60s1hbHv3xEdvhZym9vOV+dhRHw6Nuu8pV+6SpQofUh98BBUaX+Yas1S KFTASolPW4o+sDlrAHPQgST6HQSVGUWiQdIDBPe7B7mRJfxszD1ufR71SKHIMD5V7E0WTCl7 6d2VB/ljToMOjAl/G3LjMF7kaRWqw+jqRNi2Y7ZeI6aOvpwcK3eYN0UW3ZOU91LWCBdGI6xd ZcDA/YDMOtesoLzp0EOrRy7BQS0HO3vyzlIhnDw3a071eQhHhzN0w0hH90QrX/Zq9r0NKEUU eC0yqnIwjrCb/JI1jrm54jIdwouofCIXb5qbcXRzkwvGhrDg16NpoPrIymb2f4Rs2iH8eVgT +SvhnY7pwxwvjWiwskhh5XNi4wV11zI6yp3zJgrKNGkRkB2btCqHIZMui+VOIZ7TMEvTmFot iomxbMLpJy2cSgKxZk5wRPUdvKJc4+N4h35VeaRJy91hGlkeLKwnxay9VKvyuvmWsmzylZKo SxImcTPuHAVzxHf9NSLR/9n8kqi2TuDzR7f5v1HLEwuiKbWKZAsz7gtnZcNtUTDAzT2mFnog 6+Ma0sk++mp5Pr/b7n6oJKXKpV6hRvkMqs0n8yyGeQ4PRYKX2ic4em80afs/Uz9QLlTiv02k LTVvInUJcgGpKO0DRVZ0okk6xa4ADem1MoXkWMbI1JCfRKLl4npO1fQL/DkFfqznUignTNxy /3FPrDtGIvBImTAnbv7YLpw6UBRxBI2zd9F5pJUDr8BIOj0Wk/0rNHZARk5Mwq1w+bhB9V82 YIeVnyUD6+WNaPdq16I5uY1L+aQY48VvS7xK/4+6PH2l382hUcdfbW13ZsQcH20AOxqI1+Fb nr0ntcBDWAKsxIiQ+PwjV2CVSdfZ3KzX6In+jE2E5mmDIfGRoC1mrONxia7HptMZmBHEF+AC 3nod5+cV/cWdC2SOtNhkiADVbW5V4Ah0giuuBbmxLpjM+rb4TYVtYnj1dhw/+3cjws+9T1yD 8SH0mGCVXt4nm0SR2x+4KcqqkV4zhKH0LNkq/1eD91aof1TFk8xMoeZxOhnAfjzXBjAd5GHU hLuS9qqCBk1T8kt2JkFY095Hti4lVbY0m7iCLtQlqeCDpEw9q+ZwmP8Pd1Vz3fdyLJnhFAjB MJEc3ClwuZ08A7YGpTTnkOSho6udL8AxyPX6mqZi3aTsQdeVEo4UazeXn0bYg7dpNr0zkPLV LyjDbBhNRFOjYaeO7NHcZjgi1NBWfHoNfzaYnmtgCGrCB+TgK6UYYzsPWgRwXbzEk8BxiYS+ 3mANA4xThegriqKHDpoFFTgc0Lh2eZ7oXK/CEQzylfZPAVay7Op90tN1rSnQPQJ0+dc0M9Ag zB9HVLnmsnTF8LFvQ1qOqNVfdI65l5Dk2PfrQ10eJK6fOh5nlBLVQNxsgv10glvTJ1amJ06q nUrygViKK+w31ZIdjfe1pf1afXMMmenxBm0cObN303GltOf+6MB8vM9/kXlugCvGVoj/l1o1 tBU1z2X4ZCZRBEKX8fXVUA6vwN/u6mcYiQ54NbM0mZwNKCvrjLY89cgBe9gzhT5OtkGb/jCG wj1HMkXQcOpLYTGgnCPaRQJdKBX/a8wZYa9cueenbSsN6BmlS6nimJO5MZ81FiN/mxyULyA2 ZFN2Pye0gadMlW0xF68rsD6n5xFbjAODyK+zybjHotYeqx1e84CF26vJ8S9wtg2iYTqXjZU8 1uqBlVO38HMG1Laf1r73AtfxUUaiXOikCq8iTdzlnBhr6aS2jDP3/W3bAAOaSZAQGhvi0upI JDh1YhLGhj1KVJxxF38uh2posoT7L5yJGTSX0pSKi3/LmU4F7C1qqLHeclErpUhrSRQVu24J 1GcUL/05RUAgEaBVyNTwi42czayt9D3hRt/3SiNKnByqnXJeMxYyhLW5diaTvlUlGljJmEwm XzMC16wMsP8t8WSkZbFvfC/WkquU5RSdW/gyobK52OroGZtBxO4hfW6nNbqRBM73SHM3N5vT SzUrRz4b+EHzoyCOPl8NgltDV74sY9hH51m15E3j9cW0GQbgZOc+TwGl33yOJNVw/C2YH0IT D8Ni9nbhWqtkF1lKHOPyJL4W12Sx8JgY5+xZWZe1i8m7s9MAbuZ9/QexXoz8gf+91qBJ6Eix X8U0rM25WQfgv0VtQZIrG3VGb0UEURCfGTtmxmO89GivfBSbWerf6K30Rk2ltSgAbee5wBED SyhK9FyQGkqtpU5aQ2XgxiRosn+ddLdbMwerEiRmhbE1a1OLY4p0+ANjmxhMH78unssz6g6i wZv1Ne0ptviSS0l8aSnDxpfLjCwadkU/2SnnaBYn8CZz4GiNppkEzQPGpDvSLj7dVBa/eSiL AuIHDAm/z2LH7zeGwCP6UpOoHfGEpTtPHaSbip8r50qVFyWI0pRhxoRVTMxk8siFwyk88fmd V9w+jEb4lOr4gsJ0O9jMAPzF3vOvAr9IClhU4CRdVAFi2MKr1eQK8GV6fh/Wj1V7oH05hLYM XSVPkxJFT1bARHCXgG7eOPyup+YtLLETuumc6mQPfPU8rcYDqnQg8roi9oDnX7EN93TbCc8S aRjgAwbGyg+QZyRmi1TGXJJ0XiRPojL/FHkvXcv5sGnrKa0AkS2uc3WWuEUaZI2q3XUye+CL 7LC23o/cGwFkMtKnTiRlvAexAJA0nk+MWDyTvJQ83aKFvuYm7cLXUdEMGUqZZcOt+RkmVATX KyTwtLtiuwi1q9zWwoDDAax3JnuPJNCInnhZgmeWgDWZPLfdGeNm4auMOu9UeEC1rwK8Ufr6 HDASQm7eW3S8luhHwamNeUG5M2CFDpZvoz1MhNkCGy5CcnjdgX+Kth8yzs/3bwzgHrOc28aK zl1NU1X/PWW6mtDj/NzFnYkjDItJPSYmyuf8+jTK4oH+fptDCNukutG4XM8g7JL5SBATfZxl WPctNlr612hl+COzHJgXn8s4n5Tg5mXuEx5JajD3pxJWHKB+BBUqGvJVE9MqNxiBdni/atXz 5mHla7+LitD78OB/cYYAJuxSorPO34gPBz1XT/MWVFdHHj7aCeF3xwbya7JpRj35tAgp5Phm YQDUOpeXV0xTLYBD1h9WcYFK9FxVy8llriSiIgJ42C/pV/fXpY/3NiPW/SMDPHoMDvcg6NDY k5C0bX+LIIcJoz280NnY1h+2o/NHgCDOLIF6j0kdQIyrEhXpTJmSXYv3kv+dg63yHoaFPrxm hxvzwUnPr9r+zDr7FM6YFHNoWFj9St50cWgijeXfjnrKa62VowDECv4uX86NZbjShp0Zwm/9 aSFHDLNRrYUi7k5MG4y11SatpxIFvpRC6ZDZU1IrRl4T/ot2FVY7C6gwB0ejQMgIZRnnQouN 5WrqiAYsz8= IronPort-Data: A9a23:drMp5Kx8Uc3q06NxjdR6t+fpxyrEfRIJ4+MujC+fZmUNrF6WrkVUz zQfWTyPa62Cajeheth3b4q18klTsJXdyt9jSABk/lhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmcc3l48sfrZ9Eo35auq5Fv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFP34s9IMW9rA7c/67hGXTlE+ /0kEwokO0Xra+KemNpXS8Fpj8Unac3pZcYR4y47iz7eCvkiTNbIRKCiCd1whm9hwJATW6yGN 4xANmEHgBfoO3WjPn8HDpQ/mui4h3TXfDhRqVbTrq0yi4TW5FUhgeSyYYKKILRmQ+1+l0mqn 1PHwV2pDxYKbNu+4xerzmuz07qncSTTHdh6+KeD3vVjhVnWwm0IFDUNRF6jqL+4jFS/UpRRM SQ88S036KM26UaDVcj4RxT+oXievxdaVcA4LgEhwASEy66R5wTAQ2ZdEWUHZ9shu8s7Azct0 zdlgu/UONCmi5XNIVr1y1tehWra1YU9dAfuuQdsoco5D9jfTEUbixvOSpNnEvfwgISqQnf/x DeFqCV4jLIW5SLOO2NX4nif6w9AZLCQJuL22ukTdm2g5wJ9IoWiYuRELHDFuO1YIt/xokap5 RA5dgv30AzKJZ6InS2JBu4KGdlFIhpD3CL02TZSInXqy9hhF7NPs2ydDPGS6XqF6vo5RAI= IronPort-HdrOrdr: A9a23:OMAa+KtRwytc/psn+5NC9LAN7skDXtV00zEX/kB9WHVpm62j5q aTdZEgvyMc5wxhOk3I9erwW5VoIkm9yXcW2/h1AV7KZmCP01dAR7sSibcKrQeQfBHWx6pz07 x/e7NyBNC1IV9xltbi/QW0euxN/DBFys+VbCXlokuFgTsFV0io1WZENjo= X-Talos-CUID: 9a23:tPfZ3G1r8KpfY+ESUnW9rrxfAeEfVEDzkUnqBF7mODoxQrOUdWSq0fYx X-Talos-MUID: 9a23:3KPnHAjG675dY2gSGlFgIMMpH85n0Z2fCX40wZgBq5GDFAZdFQuEk2Hi X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.11,211,1725314400"; d="scan'208,217";a="189479072" X-MGA-submission: =?us-ascii?q?MDEDXKI+xTzvS/Z1wtsKYrnxMotHuLe5mlaKbm?= =?us-ascii?q?xi3ZYop+5TKAz/G0nx/LfhqXMtte9Fj1YLpr5A8OBbzc7eQF9VIVvZoc?= =?us-ascii?q?pAohbgXTC++O/acJt8hJoZhehd0H5np36Lx5wi2rZkIG0TI0aGCnDvOq?= =?us-ascii?q?57O48ApEJrVi1DPWvpM3JtPQ=3D=3D?= Received: from mail-lj1-f173.google.com ([209.85.208.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 Oct 2024 23:35:27 +0200 Received: by mail-lj1-f173.google.com with SMTP id 38308e7fff4ca-2f75c56f16aso15302641fa.0; Thu, 17 Oct 2024 14:35:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729200918; x=1729805718; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=TC9KZmUosAx7IgIeEg06qQSsEqVAz50t25EMvAfmRug=; b=KL6LVmeLz/Jr16elAGJmQKYQ1qVU2mAexOIRzHpZ2sCdFO4R3kOCIdBAJ3eM11emhH xiJfF4WBoofEm9Ye+t711g+qcP4Xgq6hPzJ2T5xreKfJluV3Nub248djjBoaZYWssk0T thcXQ/FWVrXC/fH4GsRzo0VYxpEvxz7Tf/wUkLAziEti34z5k2yE3MbiOYaLUuiRySb9 Nk3J9QTnK9gOV0d6fy7bTbG/HnvnQ5i1RCJgBwP9hy52BKbx4OpyAYNVra6R6aTKZMZx WXmLNLz78JhgszcevrILHnweWNPs3iXOIpfkpqgtnBKnqINmQRuveQBDCLzRKogkrvpA RVIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729200918; x=1729805718; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=TC9KZmUosAx7IgIeEg06qQSsEqVAz50t25EMvAfmRug=; b=CNP0tKgwIO+1PfK3POyArhEjldO5JFfNmzcJMhZZBSTf7CW8Wt9TTf0/ZYgaICrMh1 0KFwo30+1XDW5KZLwrUR6NwDxAuyoMlbu5Q5DflEs6jTjtlSpNNHTVJDHpyN10YKPeH+ YRmTRH3unx3Oe0wTdrDTuiglCNFa8Cm2xCGX0MslGWio9WwoElQZBJhgHh1nYW2EWrhT j4hoxpxvvWEvYd+AFbkz/AGZ3goEtV2wgR2zQpn+K6w14Ng4gN9nKCitLp6JSDQXCbqc enVe5uTY/ZrHevmhIlZd9IQsBrln2M+YT+9nX/oGlkHivBspVKAWCsVya8+UZkY8LueH pTVw== X-Forwarded-Encrypted: i=1; AJvYcCXCyJoEon0mm+wWtCRMKw1flyC7zC8S3zNdIKO2++cSe0ZmxmTv/bexgBYH9KJHV71WXYN5ujEzSw==@inria.fr X-Gm-Message-State: AOJu0Yz4o165PV4AKroCnm8+7PGJC8pPt7AE7vAI2DZfH8zMqTcZK8Hl 0lCuoPV3/+aCFh2B3uZnjZQPS2bGwxxrRGh5LfhZ6OkWMXK12q49DBzt9GHhSYvlr8OtW34+yzf FWYTwDr3kf4hVqDSnG+Qvc5Id9C6pQ6Tb X-Google-Smtp-Source: AGHT+IHFDxpxtp2WaqW0/qOBXWcQHDeM+bURv3djMvuKH9EA4unpWMD/yjcFjVPKxE119CGu+WnRIiZNY+54bFOyWRw= X-Received: by 2002:a05:6512:3a8d:b0:539:f1e3:ca5e with SMTP id 2adb3069b0e04-53a154fa75fmr152956e87.44.1729200917952; Thu, 17 Oct 2024 14:35:17 -0700 (PDT) MIME-Version: 1.0 From: Ningning Xie Date: Thu, 17 Oct 2024 17:35:06 -0400 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="00000000000075c4ee0624b2f6a1" Subject: [Caml-list] POPL 2025 Call for Tutorials (deadline extended: Oct 25th, 2024) Reply-To: Ningning Xie X-Loop: caml-list@inria.fr X-Sequence: 19188 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: --00000000000075c4ee0624b2f6a1 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable POPL 2025 CALL FOR TUTORIALS https://popl25.sigplan.org/track/POPL-2025-tutorials#Call-For-Tutorials The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) will be held in Denver, United States. 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 2025 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 19=E2=80=9321, 2025. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A). *Submission details* Deadline for submission:* October 25th, 2024* Notification of acceptance: November 1st, 2024 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 Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu) with the subject line "POPL 2025 Tutorial Proposal: [tutorial name]". The proposal should be attached as a PDF, docx, or txt file. *Further information* Any query regarding POPL 2025 tutorial proposals should be addressed to the co-located events chairs Christoph Matheja (chmat@dtu.dk) and Robert Rand ( rand@uchicago.edu), or to the general chair Steve Zdancewic ( stevez@seas.upenn.edu). --00000000000075c4ee0624b2f6a1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
POPL 2025 CALL FOR TUTORIALS

https://popl25.sigplan.org/track/POPL-2025-tutorials#Call-For-T= utorials

The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of = Programming Languages (POPL 2025) will be held in Denver, United States.
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 sys= tems, and programming abstractions.

Tutorials for POPL 2025 are soli= cited on any topic relevant to the POPL community. We particularly encourag= e submissions of introductory tutorials that make the research presented at= POPL more accessible to the participants.

Tutorials will be held on= Jan 19=E2=80=9321, 2025. The expected length of a tutorial is 3 hours, inc= luding questions and discussion (Q&A).

Submission details
=
Deadline for submission: October 25th, 2024
Notification = of acceptance: November 1st, 2024

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 th= e 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.
    • <= /ul>Proposals must be submitted by email to Christoph Matheja (chmat@dtu.dk) and Robert Rand (rand@uchicago.edu)= with the subject line "POPL 2025 Tutorial Proposal: [tutorial name]&q= uot;. The proposal should be attached as a PDF, docx, or txt file.

    <= u>Further information

    Any query regarding POPL 2025 tutorial pro= posals should be addressed to the co-located events chairs Christoph Mathej= a (chmat@dtu.dk) and = Robert Rand (rand@uc= hicago.edu), or to the general chair Steve Zdancewic (stevez@seas.upenn.edu).
=
<= div class=3D"gmail-ajx" style=3D"clear:both">
--00000000000075c4ee0624b2f6a1--