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 ESMTP id CF1C45D5 for ; Fri, 9 Jul 2021 05:56:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,226,1620684000"; d="scan'208,217";a="519076612" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jul 2021 07:55:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C5D9EE0037; Fri, 9 Jul 2021 07:55:53 +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 9273FE0036 for ; Fri, 9 Jul 2021 07:55:50 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ifl21.publicity@gmail.com; spf=Pass smtp.mailfrom=ifl21.publicity@gmail.com; spf=None smtp.helo=postmaster@mail-pl1-f172.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3ACTD4XRIhRQo+L8UjDNmcuGJhWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvbM10RSUA82bs6sC17OH9fi4GCQp2tWoiDg6aptCVhsI2?= =?us-ascii?q?409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF?= =?us-ascii?q?7Ovr6GpLIj8Swyuu+54Dfbx9HiTajfb9+Ngm6oAXeusQWgIZpN6I9xgfUrndSd?= =?us-ascii?q?Ola2GdlKUiPkxrg48u74YJu/TlXt/897cBLTL/0f74/TbxWDTQmN3466cj2vhT?= =?us-ascii?q?dTgWB+2URXHwOnhVHHwbK4hf6XozssiThrepyxDOaPcztQr8qXzmp8rpmRwXpi?= =?us-ascii?q?CcDMD457X3Xh8lth69VvB6tuxpyyJPTb4+IKfp+Zbvdcs0GSmpdUMhRUClBDZm?= =?us-ascii?q?9b4sJEuENOelVoo34q1YIsBCwBxSjBPn3xzBHnX/43aM03ec8Hw/YwAMtBMgBv?= =?us-ascii?q?GjOodjvKKseTeK4wa/VxjvDdfNW3jL95ZDSfBAgv/6MQax/cdDMwkcqEAPFiU2?= =?us-ascii?q?QqYn/MDOTy+8AtGmb7+RkVe6xlmIrsRlxoiW0yccoi4nGmoMVykzE9Chiz4Y1I?= =?us-ascii?q?Me3SE9/YdK+DJRQsCSaOpJwT8g/TG5mpDw0xacauZ6nYicK0pInygbDZ/KIc4a?= =?us-ascii?q?G7AzvWfqfLzp7mX5oZa+zihe8/EWj1+DxS8u53UpEoyRLjtXBtW4B2wLO5sSZR?= =?us-ascii?q?PZw/kWs1zmR2g3c7OxPPE46la3eK5E7w74wkIIesV7eHiPsnkX2iLead0U+9ei?= =?us-ascii?q?t7uTre6nmpoWGOIBoiQHyKL4hmtSnAeQjKggOWHSb9f6g273k+E31WK9FgeEzk?= =?us-ascii?q?qXDt5DaP8sbqranDABPyYYi6wqwDze839QZh3kLNlVFeAiIj4TxNFHOJ/f4Dfi?= =?us-ascii?q?7g1uyijtk2/fGPrjnD57QLXbDiK/scahh50NY0gY+ztBS64hKBr0cL///QFL9u?= =?us-ascii?q?d7GAhI/Lge62fzoCM9n2YMbQW+PArGWMKfVsVKQ4+IgOeiMZIsMtDblL/gp+uf?= =?us-ascii?q?ijXEklVIfY6Wlx5QXaHe/HvRpJ0WWf2DgjcsGEWcPpgY+Terqh0OeUTNLeXq+Q?= =?us-ascii?q?6Yx6is4BY+mF4vPWJ2hjbOb0CumHJBaeHhKClWWHnfpc4WEVe0MaCWXIsJ5kzw?= =?us-ascii?q?EW7yhR5E82R20rA/61qFoLu7V+iIEtJLjyNh06vbclRE37zN0DsCd33uRQGFzm?= =?us-ascii?q?2MEXyU207xnoUxh1leD1rB1jOBCGtxW4/NFSwM6NZ/Hz+xmEN3yQQLAftKRSFm?= =?us-ascii?q?8WNmmADcxTsgww9AUeUp9Fc+i3Vj/2H+BCroR0piKH4B8pqnV2ny0I8dm117H0?= =?us-ascii?q?rMghh8oWJ0cG3ehg/tH9gXPCpSBsEKej6Ojc+xI3SDJrj7F1XeEuEBTURJhear?= =?us-ascii?q?AVHEbIEDRqIKqtQv5U7ayBOF/YUN6wsmYJ/4WO7UBaH1JQf7iPJLVZGfjww9Y6?= =?us-ascii?q?j6Hw7qNaMzhfGBPhU016WABmgEXuG6CbE0wX3j75W3ZCzNqGBTkZEa+qYFD?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AKIZjU6zksOWxny8kekqKKrPwHr1zdoMgy1kn?= =?us-ascii?q?xilNoERuA6mlf8DHppsmPGzP+VIssRAb6Ki90ca7MBDhHPJOjLX5Xo3SJzUO2l?= =?us-ascii?q?HYTr2KhLGKq1aLJ8SUzIBgPNJbE5SWf+eQMbEVt6rHCUKDYrEdKZG8gcaVbMnl?= =?us-ascii?q?vg5QcT0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CiCABU5Odgf6zWVdFaHQEBPAEFBQECA?= =?us-ascii?q?QkBgXCBIVmBGA5WOzEDgniBTYEeQZACiCqCPIEDT4hzL4d7AQoBAwENEgEBIA0?= =?us-ascii?q?EAQGDHoE1gnkCHQcBBDQTAgQVAQEFAQEBAgEDAwQBEwEBDQsLCCcchWgNgjgMh?= =?us-ascii?q?BoLBh0BGwsBAwkGAw0FAw03AiQBEQEFASIbAQsGCIIETIJUAQMJJg82AYpajHm?= =?us-ascii?q?CHoEEPYsygRUFAReBAYIIBoE+AQMHCUGCYgoZKA1mgVcCBxKBERcBhWmBHQEBh?= =?us-ascii?q?mEngRmBEIFLhg8CAhiBHVaCaheCTQSDNTwKAgQLMBcBBQ48AUABBwUXDgsEEy8?= =?us-ascii?q?BGAUMDS2OA4MTPI0Bgi2IVZMKBwGDJohCgWmUAiuDY4YohSeXD6IshC2GbYgIL?= =?us-ascii?q?ROFCRAjEoIRXYEgMxojUDGCOAlHGQ4wJo0nhBKEcCSFSkQvAgEBNAIGAQkBAQM?= =?us-ascii?q?JiRoCJgeCGAEB?= X-IPAS-Result: =?us-ascii?q?A0CiCABU5Odgf6zWVdFaHQEBPAEFBQECAQkBgXCBIVmBGA5?= =?us-ascii?q?WOzEDgniBTYEeQZACiCqCPIEDT4hzL4d7AQoBAwENEgEBIA0EAQGDHoE1gnkCH?= =?us-ascii?q?QcBBDQTAgQVAQEFAQEBAgEDAwQBEwEBDQsLCCcchWgNgjgMhBoLBh0BGwsBAwk?= =?us-ascii?q?GAw0FAw03AiQBEQEFASIbAQsGCIIETIJUAQMJJg82AYpajHmCHoEEPYsygRUFA?= =?us-ascii?q?ReBAYIIBoE+AQMHCUGCYgoZKA1mgVcCBxKBERcBhWmBHQEBhmEngRmBEIFLhg8?= =?us-ascii?q?CAhiBHVaCaheCTQSDNTwKAgQLMBcBBQ48AUABBwUXDgsEEy8BGAUMDS2OA4MTP?= =?us-ascii?q?I0Bgi2IVZMKBwGDJohCgWmUAiuDY4YohSeXD6IshC2GbYgILROFCRAjEoIRXYE?= =?us-ascii?q?gMxojUDGCOAlHGQ4wJo0nhBKEcCSFSkQvAgEBNAIGAQkBAQMJiRoCJgeCGAEB?= X-IronPort-AV: E=Sophos;i="5.84,226,1620684000"; d="scan'208,217";a="387536223" X-MGA-submission: =?us-ascii?q?MDGoH1DhGz0gJRUy+cLOGiE3H3wmNmyu8UmCuJ?= =?us-ascii?q?KfAcWsB2NeqmNuT02cgPY06YQYbsVTuyrdSNAw1/5TTI2DIlp/lZkwlq?= =?us-ascii?q?eLvwE0Xmqngur1Qxh/jboYhgZ4qAYfLm85/56oYAgdcZie+oosIDcyeX?= =?us-ascii?q?H7Pwv2pEKJ789iWnJBwbH0WA=3D=3D?= Received: from mail-pl1-f172.google.com ([209.85.214.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Jul 2021 07:55:48 +0200 Received: by mail-pl1-f172.google.com with SMTP id o4so4458374plg.1 for ; Thu, 08 Jul 2021 22:55:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=U8ELVNARWf8OAGL75cb84JTD1WhessXPXE1gcGiZI4Y=; b=fhHdNgu21WD8eBSXtk+OEUhLOaNs+RC34+ND2F5faK8GnDr29hyKZnelqAPK3G2uSN xiPlwZr8FgZt2GutQpUWRX7jgM6Z1dpj/pJuvwZR4KI2KNU5cfpfCskBcq5ZfDISLJJL qVv7dbqLwi5FZFvSwsinERLGJEHQXMjZvWLUm3bU2E0/QX7MbFwUrNpdWl4JEvtLwBmC dbP+RG6TbEFx7o4D/CIlAid6U7b1PjEKAK4KprB/49zYbaJr5xsSlJatdRuHuoR9/EDH XiUNSXoBF8bafcg3XhgyTVuiIv4k/EFmqD87pxCVWSXtm+HNvgNbC9gbqvoH5Re+Hq7o 8JCA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=U8ELVNARWf8OAGL75cb84JTD1WhessXPXE1gcGiZI4Y=; b=GpfPsoWvbH5djIg8jtj/DRsPHPQD/VoqCS+0z24cYZdxdR2sHDFCq/2vx1kQq4/x9q Gkkg6WOl1Xk5iUlWEkLDXgcHvjOizYBLyEoNZ4uKu1YjTw+pSVbdneniHSGQpRzlNNgq tXHZvE3/0WIDxbxU5Uukl/c+0YiOrarbT2Pif97aVAAXEMeOhW2yr0yrffhbRROCU4+s U2NvHTrb0Cpai2NGwe78zAUErOiyZL/J2cloc6QZmmgIH43BGt9mxnETaU2tgmOFUc8r WVpab5A/igLzp49f9BNNDsJ7rYvkmjeMPkiAM8zJsZ7ePQAXgjNWVqFTydF8UTrzzh6E nU0Q== X-Gm-Message-State: AOAM532CDenZ+bZxgLiQNbSNyLmWDLIkdQcU1uvdumGUx0aVjO9zHB7i HURN2wmkxDqd0Ak3oWk8hga6nbB8cGPFwpiGiPHgl3bfcKg= X-Google-Smtp-Source: ABdhPJwR9jUJwpafk5QNSi3gX4cV5SpiAgvvcn+jmhQUd3YtKvlQ98zRR+QuyvTFIXn8Dr3V6aGIzUZLDDzW4Jpi5VM= X-Received: by 2002:a17:90a:1641:: with SMTP id x1mr36250537pje.160.1625810146371; Thu, 08 Jul 2021 22:55:46 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Fri, 9 Jul 2021 05:55:45 +0000 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Fri, 9 Jul 2021 05:55:45 +0000 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Pieter Koopman Date: Fri, 9 Jul 2021 05:55:45 +0000 X-Google-Sender-Auth: UYbYrebUpto4X7OnvPWKz2T-Wy0 Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="0000000000003f2c2405c6aa6c91" Subject: [Caml-list] IFL'21 Third call for papers Reply-To: Pieter Koopman X-Loop: caml-list@inria.fr X-Sequence: 18539 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --0000000000003f2c2405c6aa6c91 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D IFL 2021 33rd Symposium on Implementation and Application of Functional Language= s venue: online 1 - 3 September 2021 https://ifl21.cs.ru.nl =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D News - Paper submission details. - Registration information added Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2021 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Industrial track and topics of interest This year's edition of IFL explicitly solicits original work concerning *applications* of functional programming in industry and academia. These contributions will be reviewed by experts with an industrial background. Topics of interest to IFL include, but are not limited to: * language concepts * type systems, type checking, type inferencing * compilation techniques * staged compilation * run-time function specialisation * run-time code generation * partial evaluation * (abstract) interpretation * meta-programming * generic programming * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * embedded systems * web applications * (embedded) domain-specific languages * security * novel memory management techniques * run-time profiling performance measurements * debugging and tracing * testing and proofing * virtual/abstract machine architectures * validation, verification of functional programs * tools and programming techniques * applications of functional programming in the industry, including ** functional programming techniques for large applications ** successes of the application functional programming ** challenges for functional programming encountered ** any topic related to the application of functional programming that is interesting for the IFL community Post-symposium peer-review Following IFL tradition, IFL 2021 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will b= e screened by the program chairs to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether th= e paper is accepted or rejected for the formal proceedings. We plan to publis= h these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. Moreover, the proceedings will also be made publicly available as open access. Important dates Submission deadline of draft papers: 17 August 2021 Notification of acceptance for presentation: 19 August 2021 Registration deadline: 30 August 2021 IFL Symposium: 1-3 September 2021 Submission of papers for proceedings: 6 December 2021 Notification of acceptance: 3 February 2022 Camera-ready version: 15 March 2022 Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template . (For LaTeX users, start your document with \documentclass[format=3Dsigconf]{acmart}.) Note that this format has a rather long but limited list of packages that can be used. Please make sure that your document adheres to this list. The submission Web page for IFL21 is https://easychair.org/conferences/?conf=3Difl21 . Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Organisation IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands PC: Peter Achten (co-chair) - Radboud University, Netherlands Thomas van Binsbergen - University of Amsterdam, Netherlands Edwin Brady - University of St. Andrews, Scotland Laura Castro - University of A Coru=C3=B1a, Spain Youyou Cong - Tokyo Institute of Technology, Japan Olaf Chitil - University of Kent, England Andy Gill - University of Kansas, USA Clemens Grelck - University of Amsterdam, Netherlands John Hughes - Chalmers University, Sweden Pieter Koopman (co-chair) - Radboud University, Netherlands Cynthia Kop - Radboud University, Netherlands Jay McCarthey - University of Massachussetts Lowell, USA Neil Mitchell - Facebook, England Jan De Muijnck-Hughes - Glasgow University, Scotland Keiko Nakata - SAP Innovation Center Potsdam, Germany Jurri=C3=ABn Stutterheim - Standard Chartered, Singapore Simon Thompson - University of Kent, England Melinda T=C3=B3th - E=C3=B6tvos Lor=C3=A1nd University, Hungar= y Phil Trinder - Glasgow University, Scotland Meng Wang - University of Bristol, England Vikt=C3=B3ria Zs=C3=B3k - E=C3=B6tvos Lor=C3=A1nd University, H= ungary Virtual symposium Because of the Covid-19 pandemic, this year IFL 2021 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world. Registration Please use the below link to register for IFL 2021: https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8of= IqshfQFrf4jnvsA/viewform?usp=3Dsf_link Thanks to the sponsors and the support of the Radboud university registration is free of charge. [image: beacon] --0000000000003f2c2405c6aa6c91 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 IFL 2021

=C2=A0 =C2=A0 33rd Symposium on Implementation and Appl= ication of Functional Languages


=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0ve= nue: online
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 1 - 3 September 2021

=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0https://i= fl21.cs.ru.nl

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

News

<= ul>
  • Paper submission details.
  • Registration information added

    Scope

    The goal of the IFL symposia is to b= ring together researchers actively engaged
    in the implementation and app= lication of functional and function-based
    programming languages. IFL 202= 1 will be a venue for researchers to present and
    discuss new ideas and c= oncepts, work in progress, and publication-ripe results
    related to the i= mplementation and application of functional languages and
    function-based= programming.


    Industrial track and topics of interest

    Thi= s year's edition of IFL explicitly solicits original work concerning *a= pplications*
    of functional programming in industry and academia. These c= ontributions will be reviewed by experts with an industrial background.
    =
    Topics of interest to IFL include, but are not limited to:

    * lan= guage concepts
    * type systems, type checking, type inferencing
    * comp= ilation techniques
    * staged compilation
    * run-time function specialis= ation
    * run-time code generation
    * partial evaluation
    * (abstract)= interpretation
    * meta-programming
    * generic programming
    * automat= ic program generation
    * array processing
    * concurrent/parallel progra= mming
    * concurrent/parallel program execution
    * embedded systems
    *= web applications
    * (embedded) domain-specific languages
    * security* novel memory management techniques
    * run-time profiling performance = measurements
    * debugging and tracing
    * testing and proofing
    * virt= ual/abstract machine architectures
    * validation, verification of functio= nal programs
    * tools and programming techniques
    * applications of fun= ctional programming in the industry, including
    ** functional programming= techniques for large applications
    ** successes of the application funct= ional programming
    ** challenges for functional programming encountered** any topic related to the application of functional programming that is= interesting for the IFL community


    Post-symposium peer-review
    Following IFL tradition, IFL 2021 will use a post-symposium review pro= cess to
    produce the formal proceedings.

    Before the symposium auth= ors submit draft papers. These draft papers will be
    screened by the prog= ram chairs to make sure that they are within the scope of
    IFL. The draft= papers will be made available to all participants at the symposium.=C2=A0<= /div>
    Each draft paper is presented by one of the authors at the sympos= ium.

    After the symposium every presenter is invited to submit a full= paper,
    incorporating feedback from discussions at the symposium. Work s= ubmitted to IFL
    may not be simultaneously submitted to other venues; sub= missions must
    adhere to ACM SIGPLAN's republication policy. The prog= ram committee will
    evaluate these submissions according to their correct= ness, novelty, originality,
    relevance, significance, and clarity, and wi= ll thereby determine whether the
    paper is accepted or rejected for the f= ormal proceedings. We plan to publish
    these proceedings in the Internati= onal Conference Proceedings Series of the
    ACM Digital Library, as in pre= vious years. Moreover, the proceedings will also
    be made publicly availa= ble as open access.


    Important dates

    Submission deadline o= f draft papers: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 17 August 2021
    Notifi= cation of acceptance for presentation: =C2=A0 19 August 2021
    Registratio= n deadline: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 30 August 2021
    IFL Symposium: =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 1-3 September 2021
    Submission of papers for proceeding= s: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A06 December 2021
    Notification of acc= eptance: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A03 February 2022
    Camera-ready version: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A015 March 2022

    Submission details

    All contributions must be written in Eng= lish. Papers must use the ACM two
    columns conference format, which can b= e found at: http://www.acm.org/publications/proceedings-template.
    (= For LaTeX users, start your document with \documentclass[format=3Dsigconf]{= acmart}.)
    Note that this format has a rather long but limited list of pa= ckages that can be used.
    Please make sure that your document adheres to = this list.

    The submission Web page for IFL21 is=C2=A0https://easychair.org/conferences/= ?conf=3Difl21.

    Peter Landin Priz= e

    The Peter Landin Prize is awarded to the best paper presented at t= he
    symposium every year. The honoured article is selected by the program= committee
    based on the submissions received for the formal review proce= ss. The prize
    carries a cash award equivalent to 150 Euros.

    Organ= isation

    IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud Un= iversity, The Netherlands

    IFL Publicity chair: Pieter Koopman, Radbo= ud University, The Netherlands

    PC:
    Peter Achten (co-chair) =C2=A0= - Radboud University, Netherlands
    Thomas van Binsbergen =C2=A0 =C2=A0 -= University of Amsterdam, Netherlands
    Edwin Brady =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University of St. Andrews, Scotland
    Laura = Castro =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- University of A Co= ru=C3=B1a, Spain
    Youyou Cong =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 - Tokyo Institute of Technology, Japan
    Olaf Chitil =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University of Kent, England
    Andy Gi= ll =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University of = Kansas, USA
    Clemens Grelck =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Un= iversity of Amsterdam, Netherlands
    John Hughes =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 - Chalmers University, Sweden
    Pieter Koopman (c= o-chair) - Radboud University, Netherlands
    Cynthia Kop =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Radboud University, Netherlands
    Jay Mc= Carthey =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University of Massachus= setts Lowell, USA
    Neil Mitchell =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 - Facebook, England
    Jan De Muijnck-Hughes =C2=A0 =C2=A0 - Glasgow Un= iversity, Scotland
    Keiko Nakata =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0- SAP Innovation Center Potsdam, Germany
    Jurri=C3=ABn Stutterh= eim =C2=A0 =C2=A0 =C2=A0 - Standard Chartered, Singapore
    Simon Thompson = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- University of Kent, England
    M= elinda T=C3=B3th =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- E=C3=B6t= vos Lor=C3=A1nd University, Hungary
    Phil Trinder =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0- Glasgow University, Scotland
    Meng Wang =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - University of Bristo= l, England
    Vikt=C3=B3ria Zs=C3=B3k =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 - E=C3=B6tvos Lor=C3=A1nd University, Hungary


    Virtual sym= posium

    Because of the Covid-19 pandemic, this year IFL 2021 will be = an online event,
    consisting of paper presentations, discussions and virt= ual social gatherings.
    Registered participants can take part from anywhe= re in the world.

    Registration

    Thank= s to the sponsors and the support of the Radboud university registration is= free of charge.

    • 3D"beacon" --0000000000003f2c2405c6aa6c91--