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 0C3295D5 for ; Thu, 5 Aug 2021 20:54:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,296,1620684000"; d="scan'208,217";a="522923889" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Aug 2021 22:53:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2E9E2E78E0; Thu, 5 Aug 2021 22:53:58 +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 529D4E78DC for ; Thu, 5 Aug 2021 22:53:52 +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-pj1-f51.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AO8SG2RzmSYdH5d/XCzKFzVBlVkEcU1XcAAcZ59I?= =?us-ascii?q?dhq5Udez7ptK+ZhSZu6Qm3QSBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg?= =?us-ascii?q?94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZ?= =?us-ascii?q?oKujvFYPekdi72/qz9pDXbAlFgDSwaq5uIRurqgncqtMYipZ4JKYrzRvJrHpIe?= =?us-ascii?q?+BIym5tOFmegRXy6Nqu8ZB66yhftO4v+MBGUaXhYqQ3VqdYAyg8M2A0/8Lkqx/?= =?us-ascii?q?ORhaS63QGU2UWlh1IAxXZ7Bz/Q5z8vDf2uvZ71SKHOsL4UK00WS+676h1VBDol?= =?us-ascii?q?CkJNzk88G7Ni8xwir9QrBauqhF7xoLZZpyeOvhjcaPHZd4VSnFBUMZfWSJCH42?= =?us-ascii?q?ycZcAAvEbMupEtYTwvUcCoQe8CASqGejhyiVIhnjz3aAiyeohEB/J3BA+ENIUr?= =?us-ascii?q?X/aqdL1NKAKUeCw1qbIyyjIYvRX2Tfz7IjEbA0treuUXbJtasXRzUgvGB/EjlW?= =?us-ascii?q?MqY3oJDyV1uEXvGia6+psT/6gi2kiqwxopDWk28gjhJXTiI0P1lDE6Tt2wJwzJ?= =?us-ascii?q?dCgVEJ1bt6qHpVOuyyGOYV7Qd4uTnx1tCs7xLALuoO2cTUIxZk7yRPRZeCLfou?= =?us-ascii?q?W7h79SeqdPzl1iXJndbywmRu//k6twfDyWMmz1VZFtCtFkt/Uu3AXyhzf8M6HS?= =?us-ascii?q?v9l8kahwzmP0gXT5vhYIUAuj6XUN50hzqQqmZoLqUTDBTf2mELqjKOMakok/e2?= =?us-ascii?q?o5/z9bbr6o5+QLYh0ihvxMqg2hMOwG/84MwgSUGib4+u81afj8Vf+QLVQgf06i?= =?us-ascii?q?qbZsJfdJcQUoq62HRVZ3Zok6xa6CTqtzdcWnWEfIV5bZB6Ki5LlNlLOLfziE/u?= =?us-ascii?q?znlWhnC1ryvzbOLDqH4/DIWLZkLj7eLZw805cxxQ3zdBY/59UD6sOIPP3WkPor?= =?us-ascii?q?NzYDAI1PxW6w+vnFdlxzIweWWWIAq+WNKPdr0WE6f4oI+mJfIMVuTD9JOY55/P?= =?us-ascii?q?2k3M1hVsQcbOq0JYXcny0AOlqLkSDbXfsn9sNCWIKsRA/TOzuhl2CSzlTZ3OqU?= =?us-ascii?q?qI96DE7DJyqAZrZSoC1nbyOxyO7HpxKaWBHFlCNEWzld4qBW/gWaSKSJtVtnSA?= =?us-ascii?q?DVbikU4Mhzw2htBfmy7p7KerZ4jEXuojm1Nhx/uHTkRAy9SdoD8mGyGGMT2R0n?= =?us-ascii?q?nsSSDMs3aB/p1Z9ylaZ3qRijfxYD48b2/QceQ4/Mdv4zvdmQ4T5UwfFO9OIU0q?= =?us-ascii?q?OQ9O8ADh3QMhnkPEUZEMoI9Svkh3ZlwmtBKcQnrrDUJ069viFmWDsLcJ8wHfax?= =?us-ascii?q?YEuilAnRo1EMmjw1f03zBTaG4OcyxbRrK2tb6lJgH+lHIaryGOPuARAUlc1X/i?= =?us-ascii?q?cG38YYUTSoJLy4UaQF9dG7JwoNwJAzYiJLa4YMrUBYn1JQf7iPJLVZGfjwg+N?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AK+cHSKC2l2IJN37lHekX55DYdb4zR+YMi2TD?= =?us-ascii?q?GXoRdfUzSL3/qynOpoV96faQslwssR4b9OxoVJPtfZqYz+8X3WH+VY3SIDUO+1?= =?us-ascii?q?HYUb2L1OPZskLd8lTFh5BgPMVbE5SWeeeAaWSS1vyKmTVQeuxIqLK6GeKT9IXj?= =?us-ascii?q?JhFWIj2CAJsQijuRZDz0LqRefng2ObMJULSd++tarH6adXwMaMPTPAh+Y8Hz4/?= =?us-ascii?q?PKibP7alo8CxQm8QmDii7A0s+ALzGomjkfThJSyvMY/WLEigz04bjmm/y30RPH?= =?us-ascii?q?zQbonuRrseqk5NtfJdCGzvIYLTjhkW+TFfxcZ4E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DYBQCsTgxhfzPYVdFaHgErCwYMgx5Zg?= =?us-ascii?q?RgOVjsxA4J3gU2BHpBMiC+CPYEDUYh2L4d8AQoBAwENNA0EAQEjgn+BNoMFAh0?= =?us-ascii?q?HAQQ0EwECBBUBAQUBAQECAQMDBAETAQENCxAIOCaFaA2CNQyEGgsGHQEbCwEDC?= =?us-ascii?q?QYDDQUDDTcCJAERAQUBIhwLDoIETIJUAQMJJg82AY8WjHmCHoEEPYsygRUFF4E?= =?us-ascii?q?BgggGgT8BAwcJQYJrChkoDWiBVwIHEoERF4VsgR0BAYZkJ4EZgRCBS4YPAgIYg?= =?us-ascii?q?R1WgmoXgk0EgzE8CgIECzAXAQUOPAFAAQcFFw4LBBMvARgFDA0tjg+DFjyNFII?= =?us-ascii?q?tiFyTFAcBgyqIT4Fpi3CIICuDZIYshTSXKKJKhDCGYgKIFi0ThQkQIxKBQl2BI?= =?us-ascii?q?DMaI1AxgjgJCj0ZDjAmjSeEE4RwJIVmKC8CAQE0AgYBCgEBAwmICQImB4IYAQE?= X-IPAS-Result: =?us-ascii?q?A0DYBQCsTgxhfzPYVdFaHgErCwYMgx5ZgRgOVjsxA4J3gU2?= =?us-ascii?q?BHpBMiC+CPYEDUYh2L4d8AQoBAwENNA0EAQEjgn+BNoMFAh0HAQQ0EwECBBUBA?= =?us-ascii?q?QUBAQECAQMDBAETAQENCxAIOCaFaA2CNQyEGgsGHQEbCwEDCQYDDQUDDTcCJAE?= =?us-ascii?q?RAQUBIhwLDoIETIJUAQMJJg82AY8WjHmCHoEEPYsygRUFF4EBgggGgT8BAwcJQ?= =?us-ascii?q?YJrChkoDWiBVwIHEoERF4VsgR0BAYZkJ4EZgRCBS4YPAgIYgR1WgmoXgk0EgzE?= =?us-ascii?q?8CgIECzAXAQUOPAFAAQcFFw4LBBMvARgFDA0tjg+DFjyNFIItiFyTFAcBgyqIT?= =?us-ascii?q?4Fpi3CIICuDZIYshTSXKKJKhDCGYgKIFi0ThQkQIxKBQl2BIDMaI1AxgjgJCj0?= =?us-ascii?q?ZDjAmjSeEE4RwJIVmKC8CAQE0AgYBCgEBAwmICQImB4IYAQE?= X-IronPort-AV: E=Sophos;i="5.84,296,1620684000"; d="scan'208,217";a="389775198" X-MGA-submission: =?us-ascii?q?MDEeij7koOzXlp5k/gCEiaQK5j6iYXFcuAGOc0?= =?us-ascii?q?k+REiJz5Cw/JLdgflgxtP7W6zwzhUZW06GE+rpqnFFxwKWchkHB6+hzS?= =?us-ascii?q?iSiP3L0uLX/uVmagJ2TIcAMrHeegW86yBkmyES2YoCXXJlSZx+eeg7KR?= =?us-ascii?q?ymZMLeSshxas6ioahtJMl/xg=3D=3D?= Received: from mail-pj1-f51.google.com ([209.85.216.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 Aug 2021 22:53:50 +0200 Received: by mail-pj1-f51.google.com with SMTP id mt6so11931293pjb.1 for ; Thu, 05 Aug 2021 13:53:49 -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=cqald1LAUacZDkTNFoGcPbfzXO6vk7LzECpRhXpgkok=; b=E7Ov8bu0IuZ6biQsY7cILhMPm2UUTsQeUQoHLitrrPXKQky/m0R7w/ddbB7XEek5YT qn/cLOFB979a3eSkDghT+Eb7iroFYjx2SGaikGFJzfqnpKryJugJISj89mrrhVkHcSIN n9zpBXztkxwZNmj67cmZjzHwliFtECaMexslNii26NMW6FGEjmW18lIt94/ApDjGXUYw 811Q7xRGdZZ1R3Vu0KD7e9pRSK9++bG/FIezUayL0sCN3e++3kdgyCnHprK3dGU6D6H3 3UDGifdYsycGoxNmOzqeQC5iwJMey2Df2nIYX7CFg8pX04NP8+Pbm5cfV/nYv63e539w /acw== 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=cqald1LAUacZDkTNFoGcPbfzXO6vk7LzECpRhXpgkok=; b=QfpSrdxKgPq5h1aRsMuXW+vNQ8CT5/XkaOiG2Z51g80cbvCtRcXn6MJ2+wbv7vV3K3 KYEnB1inCCuqAWdaR6lgRT8zcpNLqSoWUkPtDoyLXLh4FX8NV/o6QSr1rdTZXd2RO4sY jCeTgN64LCOoOLYJKgQOqI5X8/4zVDxGEeUtov7NCpf3wMSs3Y4II0uSuUrvOyFmCdCG +fJ9SvlXTqgsoZkyitDrd5QtbbjLF7wA/EPq7eTiQB/HczczIORocYinrimryZ4gBkyR 77ni2y1XQ773eEKNN3bYQc9EeOh3q9mQUIT1GyT9tGB4it7NyHchWZq9yLZoW2zHM51T IlMA== X-Gm-Message-State: AOAM531AiLd9jOP1E12MER7PN3jooa6YIXcnC7MmF53aWrgK+NXWZqcC fr8xMPCxCU5fBOvF8RaWSFJhwO23HchFCLHcuDkfbCNLx9k= X-Google-Smtp-Source: ABdhPJxikQbao1RDNKrTRgpepivs8WPsNfb2peGz4BZ+I610GDN/pko/8MRIa8AuyKwZSFUu2FWfy+4FedL8gHpiFIY= X-Received: by 2002:a63:e60e:: with SMTP id g14mr1969291pgh.212.1628196828385; Thu, 05 Aug 2021 13:53:48 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Thu, 5 Aug 2021 16:53:47 -0400 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Thu, 5 Aug 2021 16:53:47 -0400 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Pieter Koopman Date: Thu, 5 Aug 2021 16:53:47 -0400 X-Google-Sender-Auth: dj3EUiXxtdGLxeRh3rO3tnX-wzE Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="0000000000009494e005c8d61d82" Subject: [Caml-list] IFL'21 Final call for papers Reply-To: Pieter Koopman X-Loop: caml-list@inria.fr X-Sequence: 18546 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: --0000000000009494e005c8d61d82 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 Note: - We do accept extended abstracts for presentation - Submission is open - Registration is open 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 link below 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] --0000000000009494e005c8d61d82 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= =A0= 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

Note:

  • We do accept extended abstracts for presentation
  • S= ubmission is open
  • Registration is open

Scope

The goal of the IFL symposia is to bring together researchers= actively engaged
in the implementation and application of functional an= d function-based
programming languages. IFL 2021 will be a venue for res= earchers to present and
discuss new ideas and concepts, work in progress= , and publication-ripe results
related to the implementation and applica= tion of functional languages and
function-based programming.


= Industrial track and topics of interest

This year's edition of I= FL explicitly solicits original work concerning *applications*
of functi= onal programming in industry and academia. These contributions will be revi= ewed 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
* s= taged 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/par= allel program execution
* embedded systems
* web applications
* (e= mbedded) domain-specific languages
* security
* novel memory manageme= nt techniques
* run-time profiling performance measurements
* debuggi= ng and tracing
* testing and proofing
* virtual/abstract machine arch= itectures
* validation, verification of functional programs
* tools a= nd programming techniques
* applications of functional programming in th= e industry, including
** functional programming techniques for large app= lications
** successes of the application functional programming
** c= hallenges 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 tradit= ion, IFL 2021 will use a post-symposium review process to
produce the fo= rmal proceedings.

Before the symposium authors submit draft papers. = These draft papers will be
screened by the program chairs to make sure t= hat they are within the scope of
IFL. The draft papers will be made avai= lable to all participants at the symposium.=C2=A0
Each draft pape= r is presented by one of the authors at the symposium.

After the sym= posium every presenter is invited to submit a full paper,
incorporating = feedback from discussions at the symposium. Work submitted to IFL
may no= t be simultaneously submitted to other venues; submissions must
adhere t= o ACM SIGPLAN's republication policy. The program committee will
eva= luate these submissions according to their correctness, novelty, originalit= y,
relevance, significance, and clarity, and will thereby determine whet= her the
paper is accepted or rejected for the formal proceedings. We pla= n to publish
these proceedings in the International Conference Proceedin= gs Series of the
ACM Digital Library, as in previous years. Moreover, th= e proceedings will also
be made publicly available as open access.

Important dates

Submission deadline of draft papers: =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 17 August 2021
Notification of acceptance fo= r presentation: =C2=A0 19 August 2021
Registration 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 3= 0 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 S= eptember 2021
Submission of papers for proceedings: =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A06 December 2021
Notification of acceptance: =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A03 February 2022
C= amera-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 d= etails

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

The submission Web page for IFL21 is=C2=A0https://easyc= hair.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 se= lected by the program committee
based on the submissions received for th= e formal review process. The prize
carries a cash award equivalent to 15= 0 Euros.

Organisation

IFL 2021 Chairs: Pieter Koopman and Pet= er Achten, Radboud University, The Netherlands

IFL Publicity chair: = Pieter Koopman, Radboud University, The Netherlands

PC:
Peter Ach= ten (co-chair) =C2=A0 - Radboud University, Netherlands
Thomas van Binsb= ergen =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. Andrew= s, Scotland
Laura Castro =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0- University of A Coru=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 Ke= nt, England
Andy Gill =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- University of Amsterdam, Netherlands
John Hughes = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Chalmers University, Swe= den
Pieter Koopman (co-chair) - Radboud University, Netherlands
Cynth= ia Kop =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Radboud Universit= y, Netherlands
Jay McCarthey =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 -= University of Massachussetts 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 University, Scotland
Keiko Nakata =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- SAP Innovation Center Potsdam, Germany<= br>Jurri=C3=ABn Stutterheim =C2=A0 =C2=A0 =C2=A0 - Standard Chartered, Sing= apore
Simon Thompson =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Universi= ty of Kent, England
Melinda T=C3=B3th =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0- E=C3=B6tvos Lor=C3=A1nd University, Hungary
Phil Trinder= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Glasgow University, Scot= land
Meng Wang =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 -= University of Bristol, 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 symposium

Because of the Covid-19 pandemic, this y= ear 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 link below to register for IFL 2021:
https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-Gum= Kjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=3Dsf_link
Thanks to the sponsors and the support of the Radboud university regi= stration is free of charge.
3D"beacon" --0000000000009494e005c8d61d82--