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 8F3535D5 for ; Wed, 1 Jun 2022 08:16:10 +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=SN+QUrrdW338IHb+ip81q16Qa0zurfkObz/Fj+jS9Yk=; b=WHNI9Ryj+5oTGIXjhWmES3x0Kp1ohBQab4IWYK6AvH6e/F9CeiFOWIZ/ YOz5AzSSzosxa0jkaVS8EpPGBEabMeHByJQKL5yrG1/+9M/gEieQXTdIa rrD1a9vyrM/yqYkuseHtKTOBve6CTwrWX6OCv82F/bw7wiYfYAg6mUdu2 Y=; 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.91,266,1647298800"; d="scan'208,217";a="38936481" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Jun 2022 10:16:09 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D9DFEE0AC5; Wed, 1 Jun 2022 10:16:08 +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 A6B64E0346 for ; Wed, 1 Jun 2022 10:16:04 +0200 (CEST) IronPort-SDR: VRD2AMHGX+bHxSHs9NQ7UU1jzFiISObV3CKEjuxVq9DHiDwuLKCOj0bX0Vle5ZtASc/L8AcGV4 csI0pGunzwmJmdqIpqMTPacW7KTDZ7yPu/sRq+x56sXyWqloN6A0upbDH2pN5b2/0eY7Mxz4OM o4Byji28E9aQD8VT3rHbB5Coki28Sp4U2WMfhFs3OFtsGxPY/2gvof9r3Bhj7+gk2y01OmizEm dkWIQkFDRCU6VQkFMK0jyfeGcFe3uYKw9cehnRhiIRHkRV0cnRFwpAYT8cek62Rdy/GglyAQ0i iihkyV27cT7qYnp3K5Oj8DXg X-IPAS-Result: =?us-ascii?q?A0BaAQCJH5dih14FayhaHgE8DAILgWSBUlKBAFcpAwdMA?= =?us-ascii?q?4RLg00BAYUxhQuDApxqgSUDVAsBAwELAjIQBAEBg0xxRYVJHwYBBDAJDgECB?= =?us-ascii?q?AEBAQEDAgMBAQEBAQEDAQEFAQEBAgEBAgQEARMBAQEBCw0JBQgKBw4QBTxkg?= =?us-ascii?q?QgBgU4BgTAjCwMxDTyBeSKEBAsGHQEBJgwGXAI0UgcHglsBgmQDMgIMngwBg?= =?us-ascii?q?T4CAosXgTGBAYIIAQEGBASCVYI4GFyBXAkJAYEzgxWEKAGHXIFVRIEVJw8Ng?= =?us-ascii?q?jVwgQUBgToiBIE2VYMpN4Iulm8HOgMJBgcFMzUSgSFxAQgGBgcKBTIGAgwYF?= =?us-ascii?q?AQCExFTCxICEwwKFAgODkYZDA8DEgMRAQcCCxIIFSwIAwIDCAMCAy4CAxgJB?= =?us-ascii?q?woDHQgKHBIQFAIEEx8LCAMaHy0JAgQOA0MICwoDEQQDExgLFggQBAYDCS8NK?= =?us-ascii?q?AsDFA8BBgMGAgUFAQMgAxQDBScHAyEHCyYNDQQjHQMDBSYDAgIbBwICAwIGF?= =?us-ascii?q?wYCAkAxCigNCAQIBBweJQ4FBQIHMQUELwIeBAUGEQkCFgIGBAUCBAQWAgISC?= =?us-ascii?q?AIIJxsHFjYZAQVdBgsJIRwpEQUGFgMjeAUHQQ8pNQwoHZMugxeBHYIBKgFYL?= =?us-ascii?q?RMDAiUDDBQvJj2SII4MjUiSTTQHg1GBPQYMiUyUdyILhUSjFpZojS2UTxNWA?= =?us-ascii?q?YQkAgQCBAUCDgEBBoFhghUzGlJLAYI9CTUQAQIBAg0BAgIDAQIBAQEJAQEBA?= =?us-ascii?q?VSNJzkCg1mFFIVMQDMCOQIGAQoBAQMJjEOCRwEB?= IronPort-PHdr: A9a23:bqEglRxxB4syjnTXCzKrwlBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZtK0lpWSKdL2T0+hDhevSvvKock07yrHFjko/dodRXQQOk8Qckl9oKseEDUrmMKyiNHRiT 4xNW1B/4n60L1VeFtrgaF3OuH2y6iMZFgniOQZvKen5BIDfg96z2uyu5pbefxhGiD2hbL1oM R64tx/Rts4YgYtjLqY+1B7EqWZWdupV2G1lO0udkw7z6cms8pFj9T9Qu+86+M5bTar6ZaU4Q qdGAzkgLms4+dfktRjHTQuI+3scTmAbmQdGDgTZ8B33WIr6vy3nveR/xSaaJ9X7Q7AoVjq/7 KllRgHmhiAIODMi6m7blslwgbhboB69pRFyxZPfboGPNPp5e6PQZd0USnBHXslPUyxKH5+xb 4sKD+UbO+ZTso7wqEYUohu4GwasAPnjxSVIhn/zx6I61f8sEQ/D3AwuBd4OrXLUrNTsOKcWU +C51rLIzTTaYv5QxDzy55TGfAo7rvGQQbJ/b9DRyU83Gg3LilidtIPoMjKb2OkRrmWX8ehtW P6hhWM7tg19vCSiy8Uth4XViY8Y1E3J+CZ7zYg1JNC1VVJ3b9CkHpZTsyyXMZZ9TM0lQ2Fto ik6y7sGtIa7fCgN1JQo2wTfa+Sdf4eU5RLjUf6dISpihHJhZb2wmRiy/lamyu3nSMa4ykpFr i1AktXUrH8CyxnT5tKASvtn8UetwS2P1wHc6uFcJUA7j6zbJ4Qmwr4qmZoet1nIECzumEjug 6Kaal8o9vW05+nleLnrpoWQOot7hw3mLKgjm9CzDOo9PwQTQ2SU4+Wx2bj98UHlW7pHi+A6n 6vdvZ3fIMkXuKG0DglI2Yg58Rm/FS2p0NEAkHkHMl1FfBWHgpDmNV7APP70Efmyj02jnzlk2 vzKJ7rhDY7TIXTZl7fhYKp95FVbyAouy9BQ+ohYCqkbIPL0Rk/+qsDXDgM4MwyzxebrEtJ91 p4CWWKLBa+ZN6DSvUWU6eIoJumAfI4VuDDjJPg5//PjgmM1lUUAcaW135YbcnC1Eu5iLkiWe Xbsh80OEWYOvgowVuzqj1iCXCZOaHmoWaIz+DU7BJi8AofDQ4CimrqB0Ty1Hp1TaGBKEE2ME XHpd4mdX/cMajieItRgkjAcU7iuUJcu1Quyuw/i17pnMu3U9zUFuZ77zth6+/XTlQ0u9TxzF 8mSz3uCT2Rwnm8RQz823bt/oVBmx1eY0al4huRYGsZJ6/NIVAc6L5/cwPZgB9D8QAKSNuuOH V2vR9HjBTAqUvowxcUPagBzAYaMlBfGigajBbIR35WLAZUyuvbQ1n78I4B0y3PP0oEvildgX 81OcGmkwLV+oVuAT7XVmlmUwv75PZ8X2zTAoT/rJQumuUhZVFQ1SqDZRTUFYUCQq93l50TER rvoCLI9MwIHx9TRYrBSZIjPilNLDOzmJMyYe3i4zmu5AxuMgLqMaYPsU2sY0mPADklBlwJV5 nfVfRMmCHKZqnnFRCdrCUqpZkrt9edkr3buQkYywgXMZk1k3ryd9Bsbw+GaSrYX3PQfuXRps C16SW60xMmeEN+cv0xhcaFbNMs6+0tC3HnFuhZVE6Gad/snuHNHNgN9sgXpygl9DZhGnY4yt nQ2wQFuKKWellRcazef2pO2MbrSQoXr1DaobaOemlTX0dLMv7wK9Ox9sVLo+gegCksl9Xxjl dhTyXqVoJvQXkIUVtrqX0A7+gIfxfmSazQh547SyXxnMLWl+j7E1dUzAeI5yxGmN95BOaKAH QX2HoUUHc+rYOAtnlGoaFoDMoUwvOY4NsWrc72P2KuiOs5umTzgkGJGpYR/lFmNtmJ9RuPOw 5cZ0qSAxALUMlW0xFyls83xhcVFfWRORizmkXeiWcgAOv4XH85DE2qlLsypy88rgpfsXyQd7 1u/HxYc38TvfxOOblv71AkW1EINoHXhlzHrql482zwvsKeb2zTDhur4cx9ScGJCQmRmy17sJ IGyp94fUg61aQlskBnj/kewlM057OxvanLeR0tFZX28I2hkX6/2v7qHashn5pYm9zhRUaG4Y xaBS/SuxnlSmzOmFGxYyjchcjissZishB12hlWWK3NrpWbYc8V9rfvGzOTVXuUZnj8PRS0iz CLSGkD5Jd6iu9Odi5bEtOm6EWOnTJxaNyfxn8uMsy6y5GsiBhPa/bj7ltThHAx82C/+3t9CW yDG6gv6Y8zv1eKhMKprc1JpC1n198dhUt0m1NJo29dNnylGzpyOtWIKi2LyLclW1cecJDIWS DgHzsSUqAnp1Ut/L26YkofwV3GT2MxkNJGxZmIb3D547tgfVP/SteQb23Yz8wbryGCZKeJwl Toc1/Y0vXsTguVT/REo0j3YGLcZW09RIS3rkR2MqdG4tqReImi1It3SnAJzm86sCLaar0RSQ nH8L90uFCl96oN2MFfF1lX974+iZd/RKNYR8AaV2USl7aAdONcqm/wGiDAyc270u3Ahjec7i BVo9Z+/ss6aLWQo+KD/GR8SZViXL4sDvzrqi6hZhMOf2YuiS45gFjs8V5ztVfu0ETgWuKevJ 0OUHTY7sHveBavHEFrV9hJ9t3yWWcPOVTnfNDwDwN5lXhXYOEFPnFVeQmAhhpBgXgGymJ69K AEovHZJoAa/80YEy/o0ZUWnFD6H+0HwLG9zEcb6TlIe7xketRqPd5XGtqQrWXkfp8HprRTRe DXDO0IUUidRHBTDXg+rP6Hwt4PJq7HKX7PnffWSOe3c+6sCB5LqjdquytU0pT/Ub5fWZyAwA aFjgRgRGiwpU8XfkDESRyFFjDrDY4iDvhCg9yZrr8e5tvP2RAbo4ojJALxXVLcns1W/haPJX wKJrB5wMi0QlpYFxHuSjaMawEZXkSZlMT+kDbUHsyfJCqPWgK5eSRABOWt/M85B7qR02QcoW 4aTktTuyrtxleI4EX9oaGa5wYSXSJVPJGuwclTaGEyMKbKKYyXRxN36ar+9TrsWi/hIsxq3u nCQFEqGXHzLmzTyVh+pOP1Bl2nHZFoH4N77L1A8VSDqV5r+Zwe+McNrgDF+2rAyin7QdCYdP TV6b0JRv+iQ4Cdf0ZAdUyRK6ntoK/XBmj7Ms7Gec85J96YtU3gn8oASqG43wLZU8ixeEfl8m S+I68Vrv0njiO6EjDxuTBtJrD9PwoONp0Rrf6vDpfwiET7J+gwA6WKIBlEEvdxgX5fjsqZdz p7GlKf6Lh9M9tyS4M0dQszWbtmGeilEU1KhCHvPAQ0JQCT+f3nYnFBYmeqO+2e9g6UA8sOpp rdXD7hRWRoyC+8QDVljEJoaOpBrUzg4kLmdyskV+X65qxqXT8Jf9MOiNLraEbDkLzCXiqNBb h0DzObjLIgdAYb83lRrdlhwmImZU1qVR91GpTdtKxMluEgYumYrVXU9ggi2D2HlqG9WD/O/m QQ6zxdzcfh4vim5+E85fxLLvHdizBF3yI+j2XbJN2esZKaoAdMKU2yt7xd3atWjBF8rCG/61 U18aGWZHfQI1+MmLSYzz1aA8ZpXRawFFfECPEBWnbfPIKx3mVVE9Hf9zBcet7KcUMlsyFNyI 8zr8yIluUorbcZrd/bZfPMblwEJ1KzS5nT6hKdtkEcfIU0J7W+fKjUQtkBOLqMhOyej4u1r7 0qFhidHf28PEfEtp5cIvgt4MuCEhUoINpZNL073Kuqeaqeb/XPBx5bgqrIY+34yzxIAw5Uvl MApfgyTSlwly6aXG1IRL83eJApJbs1Usn/OYSKJtuaLypVwbdzV/g/AQ+qA8rsSgwegHkAyH tZVhvk= IronPort-Data: A9a23:w66/dqt9ZzwrfLtSiyrTqQLsjOfnVClbMUV32f8akzHdYApBsoF/q tZmKWHXbKvZajHxc9B+aoq08k0FvcfdmoVqTAdk+3gwQixEgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52LBVPyvX4 Ymo+5OHYQf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnZDrRiQOIKmXodgiUDN6GAsieqkF/JaSdBBTseTLp6HHW1bR+a01SX8bZMgf8OsxBnxS/ /sFLjxLdgqEm++93LO8TK9rm9gnK87oeogYvxmMzxmFVbB/Gc+FHuObube03x9o7ixKNfrXY ccdLzNvaR3GSxNKNBEKDpN7mOXunXiXnzhw8wLE/vRruDO7IApZ9JHTEcfqRoOxa8wOlWO04 ViFvH/1K0RPXDCY4WHcqSnz7gPVpgvwUYcWUbm57eJCm0yW3mVVCRsMVFL9r+PRt6Klc9dWK khR9y02p6coqRTzH4W7WACkqnmZuBJaQ8BXD+Ax9ACKzOzT/hqdAW8HCDVGbbTKqfPaWxQmj VCquM3tXgVTj76/a3m3qvCQ7jebbH19wXA5WQcISg4M4t/GqY41jw7SQtsLLEJTpo2qcd0X6 2DVxBXSl4n/nuZXh/zqpg2vbyaE/8aSEVRrjunCdjj9hj6VcrJJcKSB1TA3B95+LYufSFDpU JMswpDCtIji4bmzlSGLRuxlIV1Ez/OMMTmZjFl3FZY7qmz1qiLlep1M6jZjIksvKtwDZTLif E7Uv0VW+YNXO3ypK6RwZupd6vjGL4C/T7wJtdiNMrKih6SdkifbrUmCgmbMjwjQfLAEy/1XB HtiWZ/E4YwmIapm1iGqYOwWzKUmwCszrUuKG82nl07+geDAOyHJIVvgDLdoRrBphE9jiFWFm +uzy+PRlH2zrcWiP3KGqdZDdTjm01BhXMmu9JI/mhG/zvpOQzh6UKC5LUIJfo1uhaNOkenUt nq6QFdf0lPjhHrBQThmmVgyAI4Dqa1X9CphVQR1ZQjA8yF6Pe6HsflDH7NqI+hP3LEylZZcE qheE+3dU6QnYmqdp1w1M8KnxKQ8L0vDuO57F3H4CNTJV8U8HFOhFx6NVleHyRTi+QLt5ZJm+ ez7iF2DKXfBLiw7ZPvrhDuU5wvZlRAgdChaBiMk+/FfJxfh9pZEMSv0gqNlKs0AM0yYlDWf2 UCLBxZdoeuLuI5sqIvFgqWNroGIFepiHxUARTWEs+bubSSKrHC+xYJgUfqTeWyPXm3D/qj/N /5eyOvxMaFakVsT69h8Hr9nwLgQ/dzqo7MGnA1oEG+SNAalD70mP3+HmM1N8LZMn+cLtQyzU 0OJ299bJbTWYpm5TwBBfFIoN73R2+sVlz/e6eUODH/7vCInrqCaVUhyPgWXjHAPJrVCNo54k /wqv9Qb6lDihxcnboSGgyRT+zjeJ3AMSfl65LwnOtewzzQGkxRFa5GaDTLq6paSbdkKKlMtP jKfmKvFgfJb21bGdH0wU3PK2LMF15gJvRlLyn4EJkiIxYWa369tgEUJ/GRlVBlRwzVGz/l3Z TpmOkhzEqOEoGVlic1FaGazFlwTHxae4EHwlwAEmTGLVUWuTWCRfmQxNfzRrBIc+mNYOzVc5 LuX0ju9CWe2OsbswiE1REhp7eT5SsB8/RHDn8bhGNmZG549Ynzuhar3PTgErB7uAMUQgkzbp LY1o78gM/GjbSNA8bcmD4S61KgLTE/WKWFHR8Zn9vxbEGzZfga0xjXTeVu6fdlAJqCR/EK1Y yC0yhmji/hjOOeyQjEn6WokDoJOxKVs2vdbP7ThKCgBrqeVqSdvvNTI7C/iiWQ3QtJo18EgN ofWcDHEGWuV7ZeRs3GYt9FKYwJUfvFdDDAQHsjsmAnKK37HmO9pfwcv1Lrxu3fTKwoPE9e8o lbYf6GPpwB94d0EomYve5mvwy26LN21SeKJtQSx9c9PBT8K3QEiqCtNwmTa089q0Xf9lji5e XlhcDI64a8dgIsLbg== IronPort-HdrOrdr: A9a23:F1Op16PNQtLs2cBcTwT155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jztSWatN9xYgBCpTnkAsW9qBznhPpICOUqXYtKPzOWw1dAUrsSiLcKqgeIc0Oeygc079 YZT0EUMqyTMbEVt7ec3OHueOxQueVvvZrY99v2/jNId0VHeqtg5wB2BkKyFVB3fhBPAd4cGI CH7sRKijK8cTBPB/7LckUtbqzmnZnmhZjmaRkJC1oO7xSPtyqh7PrfHwKD1hkTfjtTyfMJ8H TDkSb++qK/2svLvyP05iv21dB7idHhwtxMCIiljdUUECzljkKSaIFoS9S5zUEIidDqzGxvvM jHoh8mMcg2wWjWZHuJrRzk3BSl+Coy6lf5oGXoyUfLkIjcfnYXGsBBjYVWfl/y8Ew7puxx16 pNwiawq4dXNxXdhy7wjuK4Hi2CrnDE60bKrNRjwkC2CeAlGfNsRM0kjTVo+a47bWnHANtNKp ggMCnejMwmD29yIUqp8FWH++bcI0jbLi32OHTqhfblrwS+5EoJqXfw5PZv7kvop6hNOKWt2Y z/Q9tVffd1P7grUZ4= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,266,1647298800"; d="scan'208,217";a="38936433" X-MGA-submission: =?us-ascii?q?MDES/FSOErPkWSzqv48cSDN9mNazZMn8oTjZ+e?= =?us-ascii?q?B+610Qsl7JhnrPJDt4OF+T+WELWMwNvv+n9W8HJprtCCbNZGBWemTf2O?= =?us-ascii?q?xO8zhSEHrMnlKDXWRgrelOPZT89luthfCpYTHy7GUo3ZNQJj5Tb8LQoX?= =?us-ascii?q?Wwdr8qipyX/Mw7ZyFoqa4/Ag=3D=3D?= Received: from mail-eopbgr50094.outbound.protection.outlook.com (HELO EUR03-VE1-obe.outbound.protection.outlook.com) ([40.107.5.94]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 01 Jun 2022 10:16:03 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=DlR/RUJaRammRNsDD/E/REphImM6vYiFA3z/WU1xo+wqU25LQk/OM8TUH7LIPNjGoV0jhwLNxguUGkgKwdD7k2NHJX/9kFQAW5lFOcOfOqoXowc6AyIBDqN/nUt40EuzyPkNKzK154z/uijWPFvVZucHeoMkf3ov6/TwbNXqarPBaE/5+19xxBDx5qJK1jfPOZVbfZUBSt3fJ3eeurx0Vti2s2RKTPZUn51jtmYLHYePEpGwQyeoyrcmc2m2iZJOO7ZHQu48fmO+LCLfaNLmvG5K5dFW/OV2uwPuILU9Sbits0KyEKhFWwrhF4os2lLT0aDOOekYb5Ru5FZmijzGzQ== 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=SN+QUrrdW338IHb+ip81q16Qa0zurfkObz/Fj+jS9Yk=; b=GMP4lPWXLN5mS+fmjFoBbgPwX8YnkaCUnEIWP4OUJp81JtQa79WpTl3kO1YTSBms/oHAE1/Ty9gqNJ1tbt7FKZclQRjKbvgkYR3ury793cSAIOFCrA95pQQ8ojG4tY4caVvN9hadTZHxb0ubYk8+Wah3WtT3Jk949MqAliGvq3AkUCnx/3GvPS+OBPxgKAUagOsxRa9ZkUryD/L14xDegvKIRO9QEHurAXaNiKcdUTRA5WXNVSN5syKIL9WLCAkmDIYdYO4C3JNvJuUJ1qYDLZQdn0068+v6H0SbZbki+i5RM2CmLZ8W/6OrZoa6bihr93SgcPTGi3K6YiYz9yi8Ow== 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=SN+QUrrdW338IHb+ip81q16Qa0zurfkObz/Fj+jS9Yk=; b=RKX9JXIwyMGKUNW/GFY+q+0x2I2lKA/QFvD9Ree+uqVc/BNvbmPVhPz008Xcg16WSJ4cYnaiTgjt0FYv0TN2tDQ10v1tDe2i4KHHvagPBrz3kc1hiPpRz9+e41c2RRw75asPs0f+6zApr40FgwzoJ/axTiXxb+38OORelWBlvrQ= Received: from AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:179::24) by DB6PR10MB1767.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:6:39::33) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5293.13; Wed, 1 Jun 2022 08:16:02 +0000 Received: from AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM ([fe80::49a1:ecb1:4726:97bb]) by AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM ([fe80::49a1:ecb1:4726:97bb%7]) with mapi id 15.20.5314.013; Wed, 1 Jun 2022 08:16:01 +0000 From: Danel Ahman Content-Type: multipart/alternative; boundary="Apple-Mail=_A0267962-A681-4D37-A552-960D4451EA7F" Message-Id: Date: Wed, 1 Jun 2022 10:16:01 +0200 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3696.80.82.1.1) X-ClientProxiedBy: VI1PR0102CA0042.eurprd01.prod.exchangelabs.com (2603:10a6:803::19) 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: 9854505c-1268-42dd-8f9b-08da43a6f73f X-MS-TrafficTypeDiagnostic: DB6PR10MB1767: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: 39lUT6MPxDKKbNopxXGxQv94JdAjbtbS9uhKRdtFJkULOoiojHZbqVpxuyBJfGVKvzrDf/W7kgZB/2JtdBlSveUbmW80PjO2NPGfN0u0WdhI6g6tS0Y40mOEM16Dp3/fPO568ePI66ep/HX9DMgRG+glKUvXaJ7eiBOa2EJ3zaKHQMTd3pNAIWyMw72trCom0OxsjWC6ZL1KCMW84MHy5SbyEE4h/Qo0x3kXwA90rXa6J+muIeOTI4L66Xf2GszcPxSSpX3/Tk33M7Pu7PEgBIO8Coiw9vGTsDDO0mwyR4m/z1qHVIdyTfRtnY//IfRxa0o2r5G6FVQG5t4FtJJpmOwrufY5DWi/KO38NRYR8XWnaVYxXN3K66iYMUiUosfbSOclJEoaJRbBxr/j4YY+o5GlyPE0bwitnd6/32xWZPxHryeTbuupQEBWwMWr40TdqbvDeQnitAe4vInbETPt0KlqT6XxNcsciy/bauHrAwVh0PPK8JPEjqvPlpFmQ1SHqH9RlfxmutZ98P3r3vKow1Rb709PKweuBEoFzqQUiBMvQDNcD2v++nIqULHq7ATxsynX9vXOzfiRoO/7urLj2rXvncZWhlqIshblzM6WVnFYY6d+/RneywJK92euJ+iKsZ5LtsjiUSjLg1z08jspGRTdzBM92/MHLoFYTUMM5Wz20WdZQLuZ9VI/2Ev/p2B5nzryiDuxNg3gFEkzMESpU9dc2p5Q/lTdjOwFWlLddrPte1K4c9dNsehmoSqVAUKv3ILA4jht3ekPe5Xvd8rnj0t/Fn9+aW4X/qVFklyKadg= 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)(8676002)(6486002)(166002)(966005)(86362001)(45080400002)(2906002)(6916009)(33964004)(38350700002)(26005)(8936002)(316002)(6512007)(6506007)(5660300002)(2616005)(33656002)(186003)(66574015)(52116002)(508600001)(44832011)(66946007)(66476007)(66556008)(83380400001)(38100700002)(786003)(45980500001);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?WFB5R2hDTWQzNFpGZHZCekpCRkZzUmNxU0J4bWFzZUtESTlEVW4rNjlwTHFG?= =?utf-8?B?eStmY1FhdExleERnRlNXVDVBK0hPMlVleTlQREFmdXhqdnBGaVE2TVlSa2x5?= =?utf-8?B?L01jQjhxS09RcFZLN09vNkdDVXE2VDU3amRod3NXSEhKQXFNdXZKZzZsQWFF?= =?utf-8?B?ejFXOE5BQzJUM3JYV3VDZ1g4NCtqQVBGNGd6VE9zb1RCSHRDMnNwRUZDc2lX?= =?utf-8?B?VkJKd2Nab2xUdXJ3UXpzMmNvNlAvOEZRUzFuZFlTYjg3UHhPZDduVVl2Lzdj?= =?utf-8?B?RXVZMU1kZXkveEI3cmo5Y21qWXFucXBRZVRvbCtQNEhPRUFiMjBGRHJYdUtB?= =?utf-8?B?WUZpa3NwZW1DTGxaQjRkNXdSdXBQajVBZ2hJSkNrdUxEQ2VvaWdjamJaYU41?= =?utf-8?B?M0ZmVmJiNVI4eitnZjV2eHh3UlErdnFyU3lUNzhRUlErc3pWdDhNZWdCbFhv?= =?utf-8?B?U1hzQVdQSWhMUzY5SCtZY0ZrYzJvSTVQVjdkK2N4cDU1dzFRM2p3T1NWRWVB?= =?utf-8?B?d2FzeWcwZXo2NTQvZXJxYngyak9ZRXV0VUlRTjV6TlZIMmwvQnNDUENvanBt?= =?utf-8?B?eU9RT3ZTY2hQM1MzV0E3aUU2RzFwdlRNY1daSGIyVFR6T1E3WkdSZUJSNEI5?= =?utf-8?B?WGg3UTdoNHJpc2NqRnpxUU1vTFJlNWNIdUdtL0xUVVdRdmxSSWxES000K0JL?= =?utf-8?B?SEtRQ25SRnN6aTFXNHB3aE5sNERUOUpCNmlnOVNXMzc3NXIxSFVINDFwU2Nr?= =?utf-8?B?bHE5d25QdlQ4bHVxY3Brd0hkSExKWlQ4SllHTzZndCtISWZjaUVKKzk2czVw?= =?utf-8?B?OWxzd05DRjBFaVk4UUdyT2dKNUs1Qm9tZmtnUTVvUUxPblJYOEFCOGtiaGE5?= =?utf-8?B?SW1EUHl3U1JETXFicExRWVBva2dTbHg0My9GYjZ1QWczT3hoZjhyeVhDa1JL?= =?utf-8?B?UFZZejVaWnpwWmtrQTFPRHVoSjJHVDE5OTMvYjdkWXhwUCtaSTloNSsySUdn?= =?utf-8?B?OEwzSVExa3NwOUs2Q3oyZ2RqUHVYZFRqZmw3bW8valBiaVk4U1Y4RlBJRW1o?= =?utf-8?B?aVpnVFkyanJXVmNBQ0tDU2pRMmEySmoyMU9TWmNTL1BwbCtJZjhycVlLNEZr?= =?utf-8?B?M3FyMU1FNVRFeVpBWGgyRjZySDI3MzkrMlEvM0srKzBYN1RsRWxrN2RFYmo4?= =?utf-8?B?dFRMOThRZEIrbEszSFZtR2lDd05mdHg4WTBqKzZrbG02ZURCVmF4SHR0UW40?= =?utf-8?B?Y2JwQnVEK28rU3B4TjJHSWFLbDBtc1FTY05hT04xOThpWm1uOGRGOVVyTWor?= =?utf-8?B?Mlc0dVpCTFcyZ2xmbDZMbXM4MW5ZMElmblR6eGdvS3dLWmlRRmswQ0NzNWZs?= =?utf-8?B?eHhFYzdFWE4vdlZRMmJEMHlqc1RCWU9vMmtxRGRhV1lBZm9vdWF1TW52QkRk?= =?utf-8?B?bG5FbkVBazR5cjJSd2pPNnU2ZGErOGZzVWU2ZWtac3gybVNJL1FvakVRTHBa?= =?utf-8?B?eVorVFVZdjFETCtRc2VXQlkvcGUwazdiQnVvUHJUdGVhdmxSaXljSzQvd3VQ?= =?utf-8?B?MENZazNReUI0MGFkN0Jnb3g4NUwxcTdaaEhXRXFNaUJCSjNmR0U4ZjVoNHBT?= =?utf-8?B?NFVtOTRDcHM1SHp5YTJjeGZIYnhDMnlZZHFoZnk5ZzFKdzBSOHd2cGd0Q3hi?= =?utf-8?B?dDQ0ZHY1RG1kQThsYS8vcUI4SmJDTm1LZTl2ZDlVTEFZM3NCRmlCQktCWmdt?= =?utf-8?B?blVWLytqMjRHcEtTcDI4QllsSG8xRmdEWEUvQm56SXd4VFV3aUdSMi9PcmVh?= =?utf-8?B?QitHSmllLy9hT3pSM3lkSk5sc1VmTHQxa1JscFdZQzhVQUwrNnJXQXpEZnNj?= =?utf-8?B?ZVU0eW9BS041bS9PMWxmNE5WamdXQ3J0cS9kZjRJSFpRRktzT2cwVGNuNHEz?= =?utf-8?B?WWY0T2xKVnFvMG1KdzM5QUQydVl3UXhWYkNjam5jaVoyNjFuOEkwWE9YTVBY?= =?utf-8?B?NEM3L3krb3hOaVhyTmhnYUcwaVJtYUtvajhMUFBoeklvY1hwdHBVSTBlVlc5?= =?utf-8?B?ckJLY20wRjZwK1BhODBmaGoyaXU1V2VkSWczRUVkTm9Jdm5La1hxUUhIS2lv?= =?utf-8?B?WjNxWmIvZC9FdjBydG9MRU1Hc0FTKzg1Ymt0UDRyRUZzelQ2T2d3d05QcUwx?= =?utf-8?B?Q3dhUVU2Y09EcElEV24rYmZtZHE4dnJ0cVNFalg4cjA2ak0rRDJXcDFPazlR?= =?utf-8?B?clZzZmZpd3BlYXlmVU1ZdjNoTjlCVjRPU0doWDdyVk1KYzg2aHJzam80eWFY?= =?utf-8?B?VUxScFVpeUJPTXRzQ0p1NHNTVDRyQVRzZkprU3hsNkRyVXUyNGhxNlpyOVho?= =?utf-8?Q?TJ+FQr+yOxWC6wTE=3D?= X-OriginatorOrg: fmf.uni-lj.si X-MS-Exchange-CrossTenant-Network-Message-Id: 9854505c-1268-42dd-8f9b-08da43a6f73f X-MS-Exchange-CrossTenant-AuthSource: AM7PR10MB3844.EURPRD10.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 01 Jun 2022 08:16:01.9210 (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: D23FVhkoYvn/2kSufQGpJPgc6815Xx4qUCTuGER4BDEYnV52YGjUcTqh7urteyzL4bKdKJPH6s8ilTLFwwlLQLCWw3gWEhyiCoZqv7jCg/Q= X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB6PR10MB1767 Subject: [Caml-list] ICFP 2022 Student Research Competition: Final Call for Submissions Reply-To: Danel Ahman X-Loop: caml-list@inria.fr X-Sequence: 18775 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=_A0267962-A681-4D37-A552-960D4451EA7F 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=_A0267962-A681-4D37-A552-960D4451EA7F Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
ICFP 2022 Student Research Competition

       C= all for Submissions


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

The SRC consists of three rounds:=

* Su= bmission of an extended abstract
* Poster session at ICFP 2022
* Finalists' presentations at ICF= P 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 a= dvance 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 thei= r work on the ICFP main stage in front of a live audience.

### IMPORTANT DATES

* Submis= sion Deadline: 8 June 2022 (Wednesday)
* Author Notification: 24 June 2022 (Friday)
* ICFP 2022 C= onference in Ljubljana, Slovenia:
    11 September 2022 (Sunday) - 16 Septem= ber 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 addre= ss; institutional affiliation;
research advisor's name; ACM student member number; cat= egory
(unde= rgraduate or graduate); research title; and an extended abstract
addressing the follow= ing:

*= Problem and Motivation: Clearly state the problem being addressed and
  explain = the reasons for seeking a solution to this problem.

* Background and Related Wor= k: Describe the specialized (but
  pertinent) background necessary to appreciate = the work in the
  context of ICFP areas of interest. Include references to the
  liter= ature 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; exp= lain the
&n= bsp; 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. Further= more, the abstract must be authored solely by the
  student. If the work is colla= borative 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 submission= s 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 La= TeX, a lighter-weight package, including only the essential
  files, is available= from
 = ; http://sigplan.org/Res= ources/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 i= s 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. G= orinova (Twitter)
Daniel Hillerstr=C3=B6m (University of Edinburgh) (co-chair)<= /div>
Shin-ya Katsumata = (National Institute of Informatics)
Jennifer Paykin (Galois)
Fran=C3=A7ois Pottier (Inria)
Nikhil Swamy (= Microsoft Research)

= --Apple-Mail=_A0267962-A681-4D37-A552-960D4451EA7F--