From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id D2B3D5D5 for ; Mon, 11 Apr 2022 06:10:13 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:message-id:date:to:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=FY01gSTOzIEuUoFEBQ+oV0OopjMBrCpEpy3R6zsVOhI=; b=A8jiNBWfS3zMI+hJ8t42f98HdhPMzzcP2CY/fSQ3TlxBrhmp7I3Z418d XvsbVHmGMqCTO7qIPoCLxikxhNye2ZxOj1KF3zh/Lxsgqyq/aqOzjU+8T gmLZpd3QWc9KsQkqu57TOtX9Y8uhIn8nYSLeRAiQvawpgJJpRKPoheUBB 0=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 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 ip4:192.134.164.0/24 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=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@unilj.onmicrosoft.com X-IronPort-AV: E=Sophos;i="5.90,251,1643670000"; d="scan'208,217";a="31049142" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Apr 2022 08:10:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C9AC2E033D; Mon, 11 Apr 2022 08:10:12 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E0A16E0115 for ; Mon, 11 Apr 2022 08:10:09 +0200 (CEST) IronPort-SDR: VgQhU55TyjAoAYnUWW/pm0+1NWgFiH6nnzbkAGc3K8uYLBzFXuXIdHONT+6w8pA91u3mN8Lax9 pOTqrboWkwZycIiG3Hbj6uuvjJuzqoqELQTjORYCvYJohB3jBDexIF6nDKD5U0cuMx8XSbBMFw LK4cx1HddnT2NW3xxL0+VdMHpKDmO+OcOJM2gYOKHicqvnsCpNDts4TT+jIlVZVir5T/siaaI+ fWDTbfAekD6UoMHrd3dZYuX7V6AeqfS5t+RLUJeCcaGTzyUeLqHpiiWkN2rfNO90XLUqunGn05 iOqZ3fU/z2g5lmJ3NGBCAZ+s X-IPAS-Result: =?us-ascii?q?A0CeAQAnxVNih4kUayhagmOBUlZ+WCcDB0yEVYNLAQGFO?= =?us-ascii?q?YURgwKeEwNUCwEDAQsCOQoEAQGDUXFFhHUfBgEEMwYOAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBAQMBAQUBAQECAQECBAQBEwEBAQELDQkFCAoHDhAFPGSBCAGBTgGBMCMLA?= =?us-ascii?q?zENgjUihAQLBh0BASYMBlwCNFIHB4JiAYJlAzICDKF/AYE+AgKBDIoLgTGBA?= =?us-ascii?q?YIIAQEGBASCU4I4GFyBXAkJAYEygxGEJwGHU4FVRIEVJw8NgjVwgQUBgTsiB?= =?us-ascii?q?IE2VYMpN4IumhGCASoBWC0TAwIlAwwULyY9kh6NdY1CkkE0B4NMgTwGDIlJl?= =?us-ascii?q?G0uhUOjDpZejRyUPxNVAYQkAgQCBAUCDgEBBoF3gX8zGlJLAYI+CTUQAQIBA?= =?us-ascii?q?g0BAgIDAQIBAQEJAQEBAVSNYAKDWYUUhUxAMzgCBgEKAQEDCY0NgkcBAQ?= IronPort-PHdr: A9a23:lTykkxVhgY1rDWCSToHD/n1mQvLV8KyIXTF92vMcY1JmTK2v8tzYM VDF4r011RmVB9+dsqIZwLuL+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtWiDanfL9/L xW7oQrVu8QWnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3Q rJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6 bpgRRn1gykFKjE56nnahMxsg6xGoxyvqQJxzYnbb4yOLvVyYqbdcMkaRWZdXMtcUTFKDIOmb 4sICuoMJehWoJP7p1QQqRu1GBWhBOPqyjBSgH/9wKo33Pk7HgHAwgMgG8gCv27UrNXwLqgSV /u4zKfNzTXNdf9WxDH96InRfhAlo/GAR6lwccvIxEQpCgjKgUmep5b/MDOJyuQCrXKb7+x4W O+ulWIrth19ryavyMoyhIfEmJ4Zxkza+St2xIs4J921RkFlbNK5EZZcqy6UOolrT84jQWxlp jo2x7IEtJO/ciUHzoksyRDYa/yCaYeI4xTjWf6RITd/mHJqZKi/hw6o/Ue8ze38U9G430xWo SpAiNXMsWoN1xPL5sicS/t98V+h2TKV2ADV8O1EJlo0laXdJpU8wbAwjoIevEvfEiPshUn6k K2bel869uS08ejrf7vrq52EO4NqiwzyLqojl8miDegkKAcDXm2W9fqg2LL4+ED1XbdHg/kzn 6TcrpzXKsIWrbOjDQBPyIYs8RO/Ai+m0NsGmXkHK0pIdh2JgIb1J13DIOn0A/mijlmviTtrw OvJMaP7DpXKM3jDjKzufbFg605a1QU/18hf54hTCrEdPv38RlPxtN3fDh8/KQC0xPvnCMl51 oMZXmKPAbWVP7/VsV+N/u4vIu+Ma5EJuDvlJPUp++TigWIllVIfZ6Wlw4cbZGqlEvloIUiVe X/sjc0AEWcOsAo+VuvqiFiaXDFOfXmyWbwz5jUhBI28DYfDQ5qigLqa0Se1G51WaHpKCk2KE XfpbomEX/UMZDiJIs9gijAEU6OuRJc71R6yrA/616ZnLu3M9yEFrZ7jzsR65/XPlREu8jx5F 9iS3HuIT2Fwh28IQz423LtjoUFm0VeC0a14g+RCGtBJ5vNJVB06NZ/GwOBgBdDyQFGJQtDcQ 1+jRpCiACotZtM32d4HJUhnSPu4iRWW8yOsDrtdvryODZp8pq7V2XX1Yc99zn/A/KckgR87R MoKMW/gna8ppFubPJLAj0jMz/XiTq8bxiOYrA9rrEKLtUBcC0trVLndGGsYfg3QpMj44UXLS /mvD64mO01P053KMbNEP/vui1gOX/L/IJLGeWvkl262CBLOz7OJZYzCdWATmjjbCQ0AkUYI/ CXOLhAwUx+ouHmWFzlyDRTqakLo//N5rSa3R0k5y0eDb0ho0ZK7/xBTmPqdDvcRmKkF6286s zshJF+mxJrNDsaY4QpseKIJedQm/FJOzn7UrSRQA6b4cuVOrA5bdA56+UTzyx9wF4NM19Awq 28nxxZzLqTe105dczSf3tb7Pbi/xnDa2hepZuaW31jf1I3T4aIT8LEjrE2lugi1F00k+nEh0 t9P0nLa6I+YRAwVGYn8VEo67X0Y7/nTfzU96oXI1HZtLbj8sznM3MgsDfckzRDodslWMaeNH gv/W8MAAM3mJOsvklmvJhUKWYIavKI9Oc6iMfKG3aetFOhlknS7i2UC5II7yUPNvytwR+jU3 ooUlumC11jiNX+0h1Ogv8br3IFcMG1KWDPnlm6+XMgIPfIhGORDQX2jKMC22Nhk0pvkWnoDs UWmG0tDw8ixPxybc1362wRUk0URu32u3yWinFkW23kkqLSS2CvWzqHsbh0CbyRHTW9viRHlI Y29ifgUWUbucg4o0R+no137jfs+xuw3PyzITEFEcjKjZW1rVKa08LOCZsdJwJ0tv2NKVuX5Z VLcUb+38H54m2vzWmBZwj48bTSjvJ70ygd7hGyqJ3F2tHPFeMt0yH8z/fTkTOVKlnoDTSh80 nzMA0SkesKu5ZOSnovCtea3UySgUIdSeG/l19HIuCy+7GxsSRqx+pL70tHuFwU+lyb70tBsf SvNolDhZIiu06b8KuMvckRzBVD64tZ3Ackiys1p3M5WgyBc387KtXMc9AW7ec1Ww6f/cGYAS XYQztjZ7RKkkExvI3SVxp7oA3CUw89vfd6/MSsd3iMw6dwPCb/BsOQCxHMq5ADg61uKPqsY/ H9V0/Yl5X8EjvtcvQMsyn7YGbUOBQxDOjSqkR2U7te4paERZWC1cLH22lAt+LLpRLyEvAxYX 270P5k4GiolpMl2Nl/IlnTz74jiUNfVY5QOsBzRlxWGlOkfe/dT3rIawDFqP27wpyhvx+c9g Bgo1JG/tY6vJWBjur+/A1tcNHvuZolAn1OlxbYblcGQ0Ye1G5xnETheR5rkQ8WjFzcKvOjmP QKDQ3Us722WEr3FEUqD+V9r+jjRRouzOSjddxx7hZ1yAQOQL0tFjEUIUSUmy9QnQxuyypWpc V8ltGxJoA+i7EMKkqUxalH+SjuN+F/uM29rDsDZdF0PsGQgrw/UKZDMs7g1RnkAuMXn9EvUd iSaf1gaVDlVHBDbQQilZv73upHB67bKXOPmdqmXOOzcp7AGD6Xags7/t+kutzeUaJfVNyE7X aRigxhNASgiSZaex2VHSiockz/BYpyAvBmwvDVtqdyy++jqXwSp4paTD7xVMpNk/BXT4+/Lc ueUgGwRxS9w7poX3jeIzbEe2AVXkCRyb3y2FqxGsyfRTaXWk6sRDhgBaio1OtEap6472wBMP 4bchLaXnvZgieUpDl5eSVH7suyUX5RXZk2XZBbADkvNM6maLzrWxc2xebm7VbBbkORTsVu3p CqfFEjgeD+EklyLH1ijPPpNgyeSIBFF8N3lNE81Vi65FJS/MULzOcQ/lTAsxLwomn7GfXURN zRxaQIFr7Gd6z9ZnuQqG2FF6SkAT6HMkCKY4u/Eb5cO5KczRH0syKQAuDJjkOQGiUMMDOZ4k ybTsNN09lSvk+3UjyFiTAILsTFTwoSCoURlP6zdsJhGQ3fNuhwXvgDyQ1wHocVoDtr3tuVe0 N/Kwej/ITFP95Td/c4VAeDaLczBLXwgdB7rXiXVRlhgL3bjJSTEikpRnevHvGWStYQ/o4Pwl YAmZ4JhDAFwOtlKT0NvEZoFPYt9WS4infiDlskU6HGirR7XAsJHopTAUfHUCvLqYmX87/EMd 14DxrX2Kp4WP4vw1hl5a1V0q4/NHlLZQdFHpiAyJh9xukhG92JyC3Eiw0+wIB34+2cdTLTn+ 3x+whs7e+km8y3gpks6Nkaf7jVli1E/wJ3kmWzDLGa3ff32BccOTHOp/0kpbsGnG0AsNVL0x Qo8c26aItAZx7p4KTI20kmF4cMJQbgECvQYKB4ImaPOP6lujQsa8mP/ghYYrerdV8k4nVNzI 8f19iBOh1o7Poxyefy1RuIBz0AO1PiH5nb6j7lokgFCfx1foiTOKGYJvkcMK7UrdTGw8OAq8 RaFhzZIZGkLUbwtv+5u8UQ+fe+HykeCm/YGI0S1fYR3youXvmaGiMiJB1cykFgJxREtFVde3 8ItNVeSVgUrzv2KFkZQXSIjASxoVZIPsVT5LWOJu+iLxo9pNYKgEOyuVfWJqKsfnkOjGkAuA pgI6cMCWJKr1ROBRfo= IronPort-Data: A9a23:HOeCvqzjwrdMn5hb1Ph6t+c1wyrEfRIJ4+MujC+fZmUNrF6WrkVTz TMWXGrVb6nfNmCmfdt1bNi19E5SuZDXx9cyHAZuqlhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOOU5NfsYkidfyc9IMsaoU8lyrZRbrJA24DjWVvR4 Iqq+qUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPhB4 /JGhZCwdz4yZJDtgsMcWBhGLz9HaPguFL/veRBTsOS+8neeLj7A6aUrC0s7e4oF5uxwHGdCs +QCLywAZQyCgOTwx6+nTu5rhYIoK8yD0IE35ikmlGmGS6x+B8mYHM0m5vcAtNs0rsxHG/vaI cMZbDNpRBrFbVtSPFZSDJB4h+bAanzXKmQB8w/M/PtfD277zwty677hbNvpe4aLHNtajxa9t 2H2xjGsav0dHIfGkmHamp62vcfElCb/HYYTD6GQ7e9vmFTVx2oJCRRQW0HTnBWioku3WtYaJ 0ZE9zc09fU18hbyFYa7WACkqnmZuBJaQ8BXD+Ax9ACKzOzT/hqdAW8HCDVGbbTKqfPaWxQa/ XiCr9/pOwV06oC0U1Wc/baKkS2LbH19wXA5WQcISg4M4t/GqY41jw7SQtsLLEJTpo2pcd0X6 2DVxBXSl4n/nuZWjP7grQmvbyaE48aTE19tjunCdjv9tlsRWWKzW2C/wXn2hRqqBKqERF2Au hDocOCytLpm4X2lsCGMRv4REavB2hpoGDjVgFoqE5Nx+im3oyOke9oJu244I1p1OMEZfzOve FXUpQ5a+J5UOj2tcLNzZIWyTc8tyMAM9OgJtNiLPrKigbAoKGdrGR2Cg2bMjwgBd2Bxy8kC1 W+zK5rEMJrjIf0PIMCKb+kcy6Q34Ss12HneQ5v2pzz+j+bPOifIFe9dawHQBgzc0E9iiFWLm zq4H5vaoyizrMWlMkE7DKZPcAxQfSRrXfgaVeQOKbTYflcO9J4d5w/5mup6INMNc1V9k+bD5 HamXUFEgFH4n2XAMwyWa3dlAI4Drr4uxU/XyRcEZA7ys1B6OdjHxP5GK/MfIOd7nMQ+k68cZ 6RUI62oX6UUIhyaqmR1Rcen8ORKKk/x7SrQZHXNXdTKV8U9L+A/0oS4JVSHGehnJnbfiPbSV JX8jliLHsdZH10K4QS/QKvH8m5ddEM1wIpaN3Yk6PEJEKk12IQ1eSH3kNEtJMQAdUfKyjeAj l3EDxIW4/TLosox8p/ShPnc/YuuFuJ/GGtcHnXasuzsaXaErjL7zN8SSvuMcBDcSHjwpPeoa 9JTwqyuK/YAhltL79dxHu8zn6Iz7tfivZFAyQFgECmZZlinEOo7cHeD049SsKwIwr0fogrvA hCD/dxTOLOoPsL5EQFLflZ6MLTbjfxNw2vc9/U4Jkn+9RRbxrvfXBUAJQSIhQxcMKBxbNEvz 9AntZNE8Ae4kBcrbouLgy0IpWSBKnsMD/cuup0AXNK5pzcRkgwHTbaMTyj87deIdslGNVQsL nmMnq3eir9Ax03ENX0uCXzK2ukbjpML4UgYwFgHLlWPu9zEmv5og0IIoW5rFlxYnkddzuZ+G ml3LEkqd6iD+jFfgsIcDW2hHgd2AgKUpx7qwFwTmWyFFESlCj7XIGsmNbrf9UwV6T8FLD1S/ bXdxGy1XCvwJJz22HFrAhEjrOH/R9ts8AGEgNqgA8mOA5g9Z3zin7OqYm0L7RDgBJpp1kHAo OBr+sd2aLH6anFP+v1hV9HC2ORCUg2AKUxDXeplo/EEEGTaTze4hmqDJkW3TcVSKqGY6kS/E cFveplCWhnWOPxiddzH6XPg4oOYncLFIPIvR4mzeCsqmevaqTBk9pXN6iL5mWknBc10ltowI Z/QcDTEFXGMgXxTmCnGq8ws1q+Qf4wffAOltAyq2LxhKn7BmLgEnYIOPn+csXCbdhZh/leQv kXYZsc6CsR8nJ90kdKE/rprXm2JxBCaaAhM2A62vZJTa9KKNcWIrAJ9RpwL+ehJFeN5ZumbX ohhfDI6MI0pcVr2v63kd0G9KpR0 IronPort-HdrOrdr: A9a23:OIll9KAo+edRCU3lHehpsceALOsnbusQ8zAXPh9KJCC9I/bzqy nxpp8mPH/P5wr5OUtQ+uxoXZPtfZqyz+8Q3WB8B9eftWrdyRCVxf9ZnO7fKlTbckWRl9K1vZ 0QC5SWY+eAb2SS4/yKhzVRRL0bsaC6Ge2T9JXj5kYoaTsvR7Br7g9/BAreOkpqRDNeDZ58MJ aH/MJIqxepZHxSN62Adw04dtmGg+eOuIPtYBYACRJiwA6SjQmw4Lq/NxSDxB8RXx5G3L9n22 nYlA7S4LmlrpiAu2rh/l6Wy64TtMrqy9NFCsDJos8JKg/0ggLtX4hlU63qhkFFnMifrHIR1P XcqRYpOMp+r1nLeHuunBfr0w78lB4z9n7L0zaj8DPeiP28YAh/J9tKhIpffBecwVEnpstA3K VC2H/cn4ZLDCnHgD/267HzJlhXf3KP0DAfeNMo/jFiudN0Us4ckWVfxjIiLH44JlOw1Gh9e9 MeQ/01555tAC2nhj7izydSKeeXLwkO9ye9MzI/U/OuokRrdQhCvi0lLewk7wc9HcEGOup5D9 qtCNUWqFgJdL5gUZ5A X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,251,1643670000"; d="scan'208,217";a="11135119" X-MGA-submission: =?us-ascii?q?MDGJAX2KaCNvop61dTEJIkkdjPWjwAfqHDg0D9?= =?us-ascii?q?AZEMfLE+aDcYGn7LMxhfmEz6PyiUFka4/OQGlt5swp0Ycuki1iphZjvW?= =?us-ascii?q?yaEYd220ptdQIFDJYOT+OL1BXw7dQbvniKkMGxyiNIc8395IH4/4rL/0?= =?us-ascii?q?C5JcSxOr71916uxsgkeHoD3A=3D=3D?= Received: from mail-db8eur05on2137.outbound.protection.outlook.com (HELO EUR05-DB8-obe.outbound.protection.outlook.com) ([40.107.20.137]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 11 Apr 2022 08:10:08 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=h1E4Tqo25UPR7PAyQC0BATdpYiTKOZK/bjnIqQspgJOg1OxfhSeOJabocwFn4uAOrROhkgL4cJ3YPBf10uZCdhAaa0i7nVBdRsNk0wyV94D6GfCa73A1VWW86wKoVb2hl5d1PgN8EGsW5x99/RIU9NVrkj96lrkTggvhcu+9ZZ2Kdaoibj2lrE7dZpASKa/OAgZqbnNCVRxuqphJkvYs3RKEaX1zv1VQ2JJNVOdRgffav1GE/yQyPy/ywVeVdoU49ozquniVzhxdBvhbXZtuIu/x0XMXSB6+fTrtxrvBqbYQmMMBpOlsOZMpSTgcXt+Jp5x6V5lUKIGjV/FvnehdaA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=FY01gSTOzIEuUoFEBQ+oV0OopjMBrCpEpy3R6zsVOhI=; b=e4WGFD/BkNFwqCSpKbOaxXxgegYvAobBMyCjdksujPZjR9A6dEYunPzuFFMRckXuqoLFMwKdusbKj4lmMbsZPAgjDHWwK7KZeN6K/Np9DiTa4VVt00v7JUgWCewkUBYGjGeOEsDeNm8kUaJ05yUaCH+stHzRt/CPq13hCEn4+iSCvH0sjtxedmcR91kbz6wNivHSlstbaG6HEJMlRq3KN3lg7T/lzcwXgOphLMvcV6b1PkSVU0AXfKIu/d7I/bxONw2R8HKHxSWvebKFRWtj8bMBIBi/ZHMJAcrboX1TfTdzP6y6HUcPy0yHYKgF1Giguxb56yECrfAuuHX4GEP9rw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=fmf.uni-lj.si; dmarc=pass action=none header.from=fmf.uni-lj.si; dkim=pass header.d=fmf.uni-lj.si; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unilj.onmicrosoft.com; s=selector2-unilj-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=FY01gSTOzIEuUoFEBQ+oV0OopjMBrCpEpy3R6zsVOhI=; b=B/kId6y0bu8rZp/PPMyDDFVW9kRLPA0xnX5ooOPKH8BwrrdI4AOCO/uQiOgN73EM2NkQND4gg4dhb6uSFm7yG6DZxcAyy649mJgMZXxT/tUSyBKtzmsB8lgv0o0FR3QAD5EI8ptiwi+Hy8xN0yj2PYmue8Nyj6a5HYs5OPlAk9Q= Received: from AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:179::24) by DB6PR10MB1814.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:6:3d::32) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5144.29; Mon, 11 Apr 2022 06:10:07 +0000 Received: from AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM ([fe80::a4be:30fb:31cb:a0d0]) by AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM ([fe80::a4be:30fb:31cb:a0d0%5]) with mapi id 15.20.5144.029; Mon, 11 Apr 2022 06:10:07 +0000 From: Danel Ahman Content-Type: multipart/alternative; boundary="Apple-Mail=_F3C3A4A1-535F-4603-A9BB-2ECBB7FAF512" Message-Id: Date: Mon, 11 Apr 2022 08:10:05 +0200 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3654.120.0.1.13) X-ClientProxiedBy: VI1P194CA0041.EURP194.PROD.OUTLOOK.COM (2603:10a6:803:3c::30) To AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:179::24) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 6a04b6ba-0d73-4a3c-b387-08da1b81ed7d X-MS-TrafficTypeDiagnostic: DB6PR10MB1814:EE_ X-Microsoft-Antispam-PRVS: X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: Fy/HgvT1lZOp0U3z/M0XXqh+VuGT+jPtQJF2IbLM1uAaN5/ygFyrb+jWvVMFArpFdS2xt+1mz/zxBx7ScGOv3HV4vMWQHRWcQAQIljQZ4+CoiVgbtY6X+F/mHvGBWNepgFGr1s8TdPBkCNXYZUSVzl6+Ysl4UwGl3j9DV64QDkYr51g2yE/5LEgmYoV+lRKP16HrXDc0JqChKfH3UuzxWvXhzSPRZeq5qlLGO6z3mByQiIjbXSltMkQzNFZ8VPjF7DLZuCmIwl9YfNedpT5OGVflVwlE/9u07knqF+8U2JSTlIVUb0S/BNMn+x1/5K9do6w9x5bD+Wnk0eHx3boFXoceDhEcm+EtW74Ar/4tVFNoGLvptdkWpE1/w4npAbenh7dSNELJ0kBghJyWMW1KGfWQUWIv7FqOe1roRth6/jjfJ2Q4tebHwrTq9iW1MSpRDtP/f7jiwKK/17QMwiWXhWYDq2E0O9zb6+UXzP3sbu/4WPMdJ5wo4ik2y1Kq3/7v1kl/AL+7kaTMyS5W7ZrE4/Ktk6t26vA4YXzvAK76FsmsMxzfMcpzA8+arifqt7P71tjjeqCTsfZqft4IIQwDAWxi1GBDBVuKWnaR+gegt/loeGJ+nX9Joc7HMSaIXh79kdiZn6bi6IMUP7tFxm8hxv68dkZAar3/KDoFE++2PdwPDd701HEio1T155RXCyTMPAwASCxM597NGSNzcQzdYq5aMfMbeKv5eDPr+qXwLVaiqQRztOEeRcpMREgTC40U9oWv3sr2Ud5eH8nGZ2HwHHf2lTpqddXPnwpx5n3Bl4U= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230001)(366004)(86362001)(83380400001)(26005)(6916009)(66574015)(38100700002)(316002)(33656002)(786003)(66556008)(2616005)(38350700002)(66946007)(508600001)(8676002)(66476007)(186003)(6486002)(966005)(45080400002)(166002)(6512007)(52116002)(33964004)(6506007)(8936002)(44832011)(2906002)(5660300002)(45980500001);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?Wmluc2NScDh2QWtWSTIyaTBDNUJMZWFzYVZmUnYwME9XQ3JQYWhIM2hlQytU?= =?utf-8?B?WFAwWUs4QXgwVG1sNm55MXZMcHlXRnY1NWZNemdESGRnMzRRcHlHRWlpTjR2?= =?utf-8?B?cEMyVGxxb0p1WkZqcmVzMWdpd3cwQ2hjUlQwMVNJYzU0dUg3cDh1TmhBSStN?= =?utf-8?B?MkV5NmpwVTB0OGp6Vm5RSHNrNjBycEpUdDlHN0tBckkyWDZ3em5PTTR0RVN6?= =?utf-8?B?Tk5uQW1oU2htMGtrZHhHUEFQUmlqM3M4TGU0OS82d2tlUmZwazV4bXBJbGxR?= =?utf-8?B?eUF5ZnNWN3F4T05CcmVlZEN4VFpLaG0rdWl4NGZZMXRHQ0Npem45T1NDN3ZF?= =?utf-8?B?VVRMNzQxVGdBbjhRbUdySXZGZjZ4YzM5b1VCVFRIV3pyRDdKZ2RvbUZqWUNu?= =?utf-8?B?U0Zsdy9FQzNqd0UvOU84blhNYVNneFlRV09MU1VDTzF4WWNiUTgrT2NVQWtT?= =?utf-8?B?L3NDZ1BIOGgxUWZpMTBHMWtIV2dYQkRUVVhadG9TdnIyTVlsYyswc2FXM0pK?= =?utf-8?B?anZOMXFoZ1VxTmVxWDVDOU1INDVXazVkdXF3cHVrdy9NQ2RMdS9DeGZuMko2?= =?utf-8?B?Z2dFUjZmVUQrMGJINXE1cDI5RUFxU3p1Z21td3A1SnFCZU1QTEV4b0YvUjZv?= =?utf-8?B?RjlsVDdKbDVmQW9COGRpb2JtTklOS2JqK2tTZFZyM1ZDbk9JTFVURFdJTm9Z?= =?utf-8?B?VjhHZ0s4SWRGNlhNWXkySjRFeVlzaCtSTDJVbzBrWGFhMUVNUmt1bjlYc0tK?= =?utf-8?B?Z1dZcFptdmlhLy9tYzJpWWMxYnBmdnN5QlIwU0ZYTm05YUNJaEJHTUIrcXE5?= =?utf-8?B?SGREN2ozanFuL2tLbm9UZVVvbWdvUUVpWThRTVJKOFNuaFpvMDhiam1NRFFN?= =?utf-8?B?VlRDeFpOdVlETnR0d09IazJ3MzV6YkNWRmZndmFuSlZNb3Fibm9hNERzbG9I?= =?utf-8?B?SkRrVDZZVVVjVlF6MHlTa1B3andHd3FjM29yQVp2blFXNmxscS9vVDlXT1lL?= =?utf-8?B?NVdmYnZHYVF2cGNENWJRT1FNbzBYdGk0OTJNY2pCRXZTazJ5c2EwWlQ4eXZ3?= =?utf-8?B?RmlQWjNLeEtOM1VVZHpUVW5QRXUySkdNemRQWkVQT295MGhhVnk5bHE2eUVZ?= =?utf-8?B?SFpQaGFxbUUvaFhjVHBsVTgydTNDa3crZ21iTmVRV0czbXhscUNRWkpGVUxx?= =?utf-8?B?YW1kVjgrQW9wYk9lZGtPYXd4NDR2cmJySlQ5VnlUM2VoL3lQaWRNdVp4QXZN?= =?utf-8?B?VnZIeiswciszRW9MVE9TTFVyWWlwamdIUGphY1Q3cEFDVDlxQXdBc0JJaU92?= =?utf-8?B?UTQ5Y1VuREhRQXhBdXVDWExIZ1paVEpLc0o4YXd3ajR4NXZkOTFxZEpxR3M3?= =?utf-8?B?azR1YldvM1FPc2lHUnIwYW5WUWMvK2JNU3R3Wkg3U0pMQSszczhBbFpZT2hs?= =?utf-8?B?eE9PYTlydHZCeXpMN2ZocmdEVko1OXcrUjlSek5TbHgxL01wNGl0MHRmdzFw?= =?utf-8?B?VlRKQkZaVTh5UnFGQ1dMWmRrNDMvbWNUL1c4V0l1b3hMUnZtSmFYMHNlWlI2?= =?utf-8?B?blkwL1pjZnRnclptNlE2QUVic2lpYjdBVE4vVy94UGI3VTJ4RnVOWXdYenp0?= =?utf-8?B?NkJpb3hnRTUzbytIWTBjNjY5RzJaSU51VTZib3RPL1JwWU91ZjVSQnVpR05i?= =?utf-8?B?d1VQaENZRDlWSUNWTzhrNkRsaTZ2dkxRTzJBejkvZzNIMEZIVDR4WG5hdmpi?= =?utf-8?B?dEJyMUFYQXluMVk0RWlkaTVialliNFZXK2hzS0crNXAvUGlHa0M0ZkMyVng4?= =?utf-8?B?ODc2TVZYNGlmQnhjbjZBQlY3S2Q1QlYrSmQxQy80LzRVUHlvY1dHYy85ZHpY?= =?utf-8?B?Y2lsd2dreHlEdHVjNDRKaHQyL3RQckdMaXdLdTdYM21GOUxZUWgrdDQzcDNE?= =?utf-8?B?R1VGVEJpZUs1UHhCZ3c0K0ozRTV4NkhuajV3dlM1MGJUbllWYWoxOEZXZWQr?= =?utf-8?B?ZUw2UlFDQ0paekhjb0VBSVNNdVVuYlFIR1Axc1EvSndMbUc0WXRMTG9QRWZm?= =?utf-8?B?TlhwYVBtZG04MTFFRi8wbFdBTi95b1pvcWVxUDNzZjFYVE5SK1VoOXZtZGsv?= =?utf-8?B?M2EwQzJOTCtvZEp0WU9PV1pRNXJ4RCt4ckZKY25hU2ZXWnkvVCs3cE1BdzFl?= =?utf-8?B?elVaQlErVmljRFRKSnVQNGlLMlB4a2k5dVlpZ1NnSEkrV2c2VEo5L1ZPamdr?= =?utf-8?B?dHFsOW9uYmpQNVhYNldaYlBvdytZcUxzbFZJYThPN2dibkg0NXB3dmZaWXN5?= =?utf-8?B?dStqYWdhTzJTU21XcWZQTUYzZFI0V0k5Q20veU0rT0NtMVpwa0hsbXVTcTRK?= =?utf-8?Q?aqcbHWRDlK0GdwNQ=3D?= X-OriginatorOrg: fmf.uni-lj.si X-MS-Exchange-CrossTenant-Network-Message-Id: 6a04b6ba-0d73-4a3c-b387-08da1b81ed7d X-MS-Exchange-CrossTenant-AuthSource: AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 11 Apr 2022 06:10:07.6140 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: a6cc90df-f580-49dc-903f-87af5a75338e X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: CRsEg+xDxl5WqmHlF9OzBgWjmqK2Lo8kBBtQ5Pmntz54X//oiSPQga8DzetI10sVQzZpF27b7zn/OdkB8YiE/FzE2LUfW3V6U57uOxGyI8o= X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB6PR10MB1814 Subject: [Caml-list] ICFP 2022 Student Research Competition: Call for Submissions Reply-To: Danel Ahman X-Loop: caml-list@inria.fr X-Sequence: 18739 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: --Apple-Mail=_F3C3A4A1-535F-4603-A9BB-2ECBB7FAF512 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 ICFP 2022 Student Research Competition Call for Submissions ICFP 2022 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three rounds: * Submission of an extended abstract * Poster session at ICFP 2022 * Finalists' presentations at ICFP 2022 During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2022. Winners of the poster session advance to next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience. ### IMPORTANT DATES * Submission Deadline: 8 June 2022 (Wednesday) * Author Notification: 24 June 2022 (Friday) * ICFP 2022 Conference in Ljubljana, Slovenia: 11 September 2022 (Sunday) - 16 September 2022 (Friday) ### SUBMISSION OF EXTENDED ABSTRACTS * Submission Website: https://icfp22src.hotcrp.com = Each submission (referred to as "abstract" below) should include the student author's name and e-mail address; institutional affiliation; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions = . For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format = . The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp22.sigplan.org/track/icfp-2022-student-research-competition = ### PROGRAM COMMITTEE Danel Ahman (University of Ljubljana) (co-chair) Maria I. Gorinova (Twitter) Daniel Hillerstr=C3=B6m (University of Edinburgh) (co-chair) Shin-ya Katsumata (National Institute of Informatics) Jennifer Paykin (Galois) Fran=C3=A7ois Pottier (Inria) Nikhil Swamy (Microsoft Research) --Apple-Mail=_F3C3A4A1-535F-4603-A9BB-2ECBB7FAF512 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
ICFP 2= 022 Student Research Competition

=
       Call for Submissions


ICFP 2022 invites students to participate in the Student Research<= /div>
Competition in order to present their research and get= feedback from
prominent members of the programming la= nguage research community.

The SRC consists of three rounds:

* Submission of an extended abstract
* Poster session at ICFP 2022
* Finalists' = presentations at ICFP 2022

During the first round students submit an extended abstract detai= ling
their research to be reviewed by the program comm= ittee. Those students
whose abstracts get accepted adv= ance to the poster session round which
will take place= during ICFP 2022. Winners of the poster session
advan= ce to next round, where they will give a 5-minute presentation
about their work on the ICFP main stage in front of a live audienc= e.

### IMPORTANT = DATES

* Submissio= n Deadline: 8 June 2022 (Wednesday)
* Author Notificat= ion: 24 June 2022 (Friday)
* ICFP 2022 Conference in L= jubljana, Slovenia:
    11 September 2022 (S= unday) - 16 September 2022 (Friday)

### SUBMISSION OF EXTENDED ABSTRACTS

* Submission Website: https://icfp22src.hotcrp.com<= /a>

Each submissi= on (referred to as "abstract" below) should include the
student author's name and e-mail address; institutional affilia= tion;
research advisor's name; ACM student member numb= er; category
(undergraduate or graduate); research tit= le; and an extended abstract
addressing the following:=

* Problem and Mo= tivation: Clearly state the problem being addressed and
  explain the reasons for seeking a solution to this problem.
<= div class=3D"">
* Background and Relate= d Work: Describe the specialized (but
  pertinent= ) background necessary to appreciate the work in the
&= nbsp; context of ICFP areas of interest. Include references to the
  literature where appropriate, and briefly explain where= your work
  departs from that done by others.

* Approach and Uniq= ueness: Describe your approach in addressing the
 = ; problem and clearly state how your approach is novel.

* Results and Contributions: Clearly= show how the results of your work
  contribute t= o programming language design and implementation in
&n= bsp; particular and to computer science in general; explain the
  significance of those results.

* Submissions must be original research that= is not already published
  at ICFP or another co= nference or journal. One of the goals of the
  SR= C is to give students feedback on ongoing, unpublished
  work. Furthermore, the abstract must be authored solely by the
  student. If the work is collaborative with others a= nd/or part of a
  larger group project, the abstr= act should make clear what the
  student's role w= as and should focus on that portion of the work.

* Formatting: Submissions must be in PDF fo= rmat, printable in black
  and white on US Letter= sized paper, and interpretable by common PDF
  t= ools. All submissions must adhere to the "ACM Small" template tha= t
  is available (in both LaTeX and Word formats)= from
  https://www.acm.org/publications/au= thors/submissions. For authors
  using LaTeX,= a lighter-weight package, including only the essential
  files, is available from
  http://s= igplan.org/Resources/Author/#acmart-format. The submission
  must not exceed 3 pages in PDF format. Reference lists do n= ot count
  towards the 3-page limit.

Further information is availa= ble at the ICFP SRC website:
https= ://icfp22.sigplan.org/track/icfp-2022-student-research-competition

### PROGRAM COMMITTEE=

Danel Ahman (Uni= versity of Ljubljana) (co-chair)
Maria I. Gorinova (Tw= itter)
Daniel Hillerstr=C3=B6m (University of Edinburg= h) (co-chair)
Shin-ya Katsumata (National Institute of= Informatics)
Jennifer Paykin (Galois)
Fran=C3=A7ois Pottier (Inria)
Nikhil Swamy (Micr= osoft Research)

= --Apple-Mail=_F3C3A4A1-535F-4603-A9BB-2ECBB7FAF512--