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 25B765D5 for ; Tue, 15 Jun 2021 15:30:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.83,275,1616454000"; d="scan'208,217";a="513683906" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jun 2021 17:29:57 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1982BE0072; Tue, 15 Jun 2021 17:29:57 +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 16FBFE0040 for ; Tue, 15 Jun 2021 17:29:53 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-pg1-f177.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AXJ8YzhHWz4oRwmDERcIYjp1Gf1VLhN3EVzX9CrI?= =?us-ascii?q?Zgr5DOp6u447ldBSGo6k03RmSB9qQtKkMotGVmpioYXYH75eFvSJKW713fDhBt?= =?us-ascii?q?/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp?= =?us-ascii?q?1Ifn+FpLPg8it2O2+5pnebx9GiTajY75+Ixe7oAvMvcQKnIVuLbo8xAHUqXVSY?= =?us-ascii?q?eRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhn?= =?us-ascii?q?ZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31h?= =?us-ascii?q?ycdLzM2/3rXhMx+gqxYvRyvuQBwzpXOb42JLvdzZL/Rcc8YSGdHQ81fVzZBAoS?= =?us-ascii?q?5b4YXFeQBPPhXr5XjqFsUsBCwAA6sBOT3yj9NnHD227Ax3uMgEQHI2AwsAc8Cv?= =?us-ascii?q?G7MrNXoL6gSVeG1w7XJzTXfb/Jbwjj96I3SfRAgpfGAR65/cc3UyUQ2EQ7Ok1q?= =?us-ascii?q?fp5D/MTyPyuQNr3aU7/BmVe+3i2AqtQF8rziry8kjl4XEhI0Yxk7L+yh63os4O?= =?us-ascii?q?d21Rk5mbNO6DZdcqS+UOo9oTs8+R2xltyI3xqAJtJOmcyYHypIqzAPRZfyAdoi?= =?us-ascii?q?H+BPjVOCJLDdimXJpYrS/hxKq/Umg0OL8U8y03E9WripfiNbDqnMN2wbJ5cifU?= =?us-ascii?q?vt95V+h2TGT1wzJ9u5EJkU0mbLFJJE72b4xloYcsUTZES/3gkX6lqiWdl8r+uS?= =?us-ascii?q?w5eToea/qqYObN49xkg3xKLghmsmlDeQ/KAgOUG6W8vm/2r375UD1XqlGg/ksn?= =?us-ascii?q?qTasJ3WP9oXqrO5DgNPz4ou6RSyAjG729oCh3YHNkhKeBefgojpJV7OJPf4AO+?= =?us-ascii?q?6g1u2kTdrw+nKPqXuApnQN3TDnqrtcLR/5kJGxwozytdf551QCr4fOv78Rkjxt?= =?us-ascii?q?NnAAh84NQy73frnBc1j2o8CXW+DGKyUPaPIvVOW++4iI/OAaJIXtTv/M/Ql4uT?= =?us-ascii?q?hjX49mV8TZ6mp2p4XZWi5HvRoJ0WVf2fgjs0ZEWcXpQU+SO3qh0GDUT5PZ3e/R?= =?us-ascii?q?K085jQhB4KnCYfPXJyigLuE3CujBJ1ZenhGCkyQEXfvb4iLR+0DaCeWIsN4ljw?= =?us-ascii?q?EVKOhS5M62BG1tA76zqJnIfDO9i0Zs5Ljztl16PfJmRE87zwnR/iahkqESmUxu?= =?us-ascii?q?mITW3di16l6pQl5y0yf+al+mf1RU9JJsaBnSAA/YKbdwvB3EZjRXQXZe96PAAK?= =?us-ascii?q?nTNH8WHcpU9g1wtQPf1dVFNCrjxSF1C2vVexG34eXDYA5p/qPl0P6INxwni6uP?= =?us-ascii?q?EYJgFwvQ88JPmqj1PcXH+37CIvAkkHfnKGvJ/x0NM/l8W6CyS+WsxgdXlcvDuP?= =?us-ascii?q?KWncQYkaQptP8tBuqcg=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AfxWRIqNTzZNTMMBcTuCjsMiBIKoaSvp037BL?= =?us-ascii?q?7TELdfUxSKalfq+V7ZAmPHPP+VMssRIb6LO90cu7MBXhHPdOiOF7XNeftSbdyQ?= =?us-ascii?q?mVxepZnPLfKlPbalXDHy1muZuIsZISNPTASXZ9i8j+7E2DH9EszMLC2Ly0hI7l?= =?us-ascii?q?vhBQpM1RBJ2IJj0WNjqm?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CZDgDsxshgf7HXVdFaHAEBATwBAQQEA?= =?us-ascii?q?QECAQEHAQGBboEhGwIBATqBGA5WOzEDgniBTYEekGeKXoEBTIhwL4d7AQoBAwE?= =?us-ascii?q?NEgEBHg8EAQGDG4E1gmoCHQcBBDQTAgQVAQEFAQEBAgEDAwQBEwEBDQsLCCcch?= =?us-ascii?q?WgNgjgihAQLBh0BGwsBAwkGAw0FAw03AiQBEQEFASIcCwYIggRMglQBAwkmDzM?= =?us-ascii?q?BjHyMeYIegQQ9izKBFQUBF4EBgggGgUEHgysKGSgNZoFWAgcSgREVAgEBAQGFZ?= =?us-ascii?q?oEdAQGGYSeBGYEQgUuEL4FeBBiBHVaCaheCTQSDNjwQC0cBBQ48AUABBwUXDQs?= =?us-ascii?q?EEy8BGAVEjWqDCTyMWIIoiEyScgcBgx6IKIFok2griXCbdqFshCOOVS0ThH0QI?= =?us-ascii?q?4FIgX0zGiOBAYI4CQo9GQ4wJo0hAQU5g1mEcCSFTEIvAgEBNAIGAQkBAQMJhxo?= =?us-ascii?q?CJgeCGAEB?= X-IPAS-Result: =?us-ascii?q?A0CZDgDsxshgf7HXVdFaHAEBATwBAQQEAQECAQEHAQGBboE?= =?us-ascii?q?hGwIBATqBGA5WOzEDgniBTYEekGeKXoEBTIhwL4d7AQoBAwENEgEBHg8EAQGDG?= =?us-ascii?q?4E1gmoCHQcBBDQTAgQVAQEFAQEBAgEDAwQBEwEBDQsLCCcchWgNgjgihAQLBh0?= =?us-ascii?q?BGwsBAwkGAw0FAw03AiQBEQEFASIcCwYIggRMglQBAwkmDzMBjHyMeYIegQQ9i?= =?us-ascii?q?zKBFQUBF4EBgggGgUEHgysKGSgNZoFWAgcSgREVAgEBAQGFZoEdAQGGYSeBGYE?= =?us-ascii?q?QgUuEL4FeBBiBHVaCaheCTQSDNjwQC0cBBQ48AUABBwUXDQsEEy8BGAVEjWqDC?= =?us-ascii?q?TyMWIIoiEyScgcBgx6IKIFok2griXCbdqFshCOOVS0ThH0QI4FIgX0zGiOBAYI?= =?us-ascii?q?4CQo9GQ4wJo0hAQU5g1mEcCSFTEIvAgEBNAIGAQkBAQMJhxoCJgeCGAEB?= X-IronPort-AV: E=Sophos;i="5.83,275,1616454000"; d="scan'208,217";a="513683820" X-MGA-submission: =?us-ascii?q?MDGi4TuvN9ScVba1gLl7OT1dKe7dQX/U4rYeHo?= =?us-ascii?q?wyGFoyBGOVjQo+snilVRJMulhvsa3MmnHPwB04LZ04YGR95AXII2XP8e?= =?us-ascii?q?aO4OjFb6kkLXq1fWOrWgElecF+f5/Y6KQVIReTSlXApmDuKq16JfwLSq?= =?us-ascii?q?TvqErBGJs9tOQ+tWy0BVxrBQ=3D=3D?= Received: from mail-pg1-f177.google.com ([209.85.215.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 15 Jun 2021 17:29:17 +0200 Received: by mail-pg1-f177.google.com with SMTP id n12so11740868pgs.13 for ; Tue, 15 Jun 2021 08:29:17 -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=0g+up5TLrMiQk72gH14aqVQY1glwzcL1NTyXfGA1GJs=; b=GByGT4X75D7uz5NkARU8NYyyQES0K4xfKG/ZiZHKZF2iFG5/0jjWQFR2WtZ2Tls3zI k+0PiymqBd3GQXtAWnaW19nqgZ1qkvQMO7vF0K29DwnpYSrXbcz+Nsu2bk72wRtfWk4A G2spcTKEQvph2cxSPCDgaOUTmQcfi30+GHAjTH25IIed47Ki3x4DXyneEhfbmLxkdjIW 4EHuL6rmR49n8zI48sNY47EdhawCZoMjYOWK/Ncs1GzURtW8yViXc2ZD/h5LAFxrLObf zNyMdhszP0PKOXVPXB90ICRT8PF0qI0+ltttjw7yuRf5iWmekXVc4xWQq9PZsjGu8hJ2 tj5g== 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=0g+up5TLrMiQk72gH14aqVQY1glwzcL1NTyXfGA1GJs=; b=HirSVq23kq9NmQFNOu7Y3t5xd+5mWcnci+614ykVa0oZSMJDl9weqAKK8oPQw/w6Vf aNP1CdejlVGM63hrbfswO0gh30ThNfocNSZXZGwIeWPlZSSE7DBsHA6+J9Y8aLDrjiS1 ve/eUWbtLjgHnQDtqQoFJOuXpXaCYJY/6F/E0OjO6wD7WEhJQUVHH1ykSbvf17gazgZ7 pBn1WF+RDzAYF8NcXpoFZZ0tJGU2YALI9unVENJFrY622PcnVXWeUJwb0pubSa9k5r3f CHP/pgUa5bv6mGgfLupgpFzGv5PVUuuKDoELlXtyKREmgfaE74rFmfTfV2TIS0Z4+6Uf SB4w== X-Gm-Message-State: AOAM530/jvXjTx3iMNY0bvspty92wDXFaGxVXNvmLSYy0kXudtCoQCuc 7vrrQqskhe2p6pOHEE8dilOA0tdmS1u7AnRzbfg+2hqkhdU= X-Google-Smtp-Source: ABdhPJzOHqPXUS+s4yTJhaptR3mrhoemEF7dCuY5HlHQxJkizT26yDJUfjheNX8wma9zHiOTlxkBaNBWm0w94xxTbMc= X-Received: by 2002:a63:5118:: with SMTP id f24mr116159pgb.34.1623770956117; Tue, 15 Jun 2021 08:29:16 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Tue, 15 Jun 2021 17:29:15 +0200 Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Tue, 15 Jun 2021 17:29:15 +0200 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Pieter Koopman Date: Tue, 15 Jun 2021 17:29:15 +0200 X-Google-Sender-Auth: 8NJMcuXXofngm9kwTjs4hLHzEg0 Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="0000000000000937b905c4cfa321" Subject: [Caml-list] IFL2021 second call for papers Reply-To: Pieter Koopman X-Loop: caml-list@inria.fr X-Sequence: 18525 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: --0000000000000937b905c4cfa321 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 is now open: https://easychair.org/conferences/?conf=3Difl21 . - Invited speakers are added: Stephanie Weirich and John Hughes - Sponsor added: Facebook Research 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 be 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 the paper is accepted or rejected for the formal proceedings. We plan to publish 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 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. [image: beacon] --0000000000000937b905c4cfa321 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= =A0http= s://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


Scope

The goal of the IFL symposia i= s to bring together researchers actively engaged
in the implementation a= nd application of functional and function-based
programming languages. I= FL 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
<= br>This year's edition of IFL explicitly solicits original work concern= ing *applications*
of functional programming in industry and academia. T= hese contributions will be reviewed by experts with an industrial backgroun= d.

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 spe= cialisation
* run-time code generation
* partial evaluation
* (abs= tract) interpretation
* meta-programming
* generic programming
* a= utomatic program generation
* array processing
* concurrent/parallel = programming
* concurrent/parallel program execution
* embedded system= s
* web applications
* (embedded) domain-specific languages
* secu= rity
* novel memory management techniques
* run-time profiling perfor= mance measurements
* debugging and tracing
* testing and proofing
= * virtual/abstract machine architectures
* validation, verification of f= unctional programs
* tools and programming techniques
* applications = of functional programming in the industry, including
** functional progr= amming techniques for large applications
** successes of the application= functional programming
** challenges for functional programming encount= ered
** any topic related to the application of functional programming t= hat is interesting for the IFL community


Post-symposium peer-re= view

Following IFL tradition, IFL 2021 will use a post-symposium rev= iew process to
produce the formal proceedings.

Before the sympos= ium authors submit draft papers. These draft papers will be
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 symposi= um.=C2=A0
Each draft paper is presented by one of the authors at = the symposium.

After the symposium every presenter is invited to sub= mit a full paper,
incorporating feedback from discussions at the sympos= ium. Work submitted to IFL
may not be simultaneously submitted to other = venues; submissions must
adhere to ACM SIGPLAN's republication poli= cy. The program committee will
evaluate these submissions according to = their correctness, novelty, originality,
relevance, significance, and cl= arity, and will thereby determine whether the
paper is accepted or reje= cted for the formal proceedings. We plan to publish
these proceedings i= n the International Conference Proceedings Series of the
ACM Digital Li= brary, as in previous years. Moreover, the proceedings will also
be made= publicly available as open access.


Important dates

Subm= ission deadline of draft papers: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 17 Augu= st 2021
Notification of acceptance for presentation: =C2=A0 19 August 20= 21
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 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 pape= rs for proceedings: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A06 December 2021
No= tification of acceptance: =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 mus= t be written in English. Papers must use the ACM two
columns conference = format, which can be found at:

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 http://www.acm.org/publications/pr= oceedings-template

The submission Web page for IFL21 is=C2=A0https://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 subm= issions 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<= br>
PC:
Peter Achten (co-chair) =C2=A0 - Radboud University, Netherla= nds
Thomas van Binsbergen =C2=A0 =C2=A0 - University of Amsterdam, Nethe= rlands
Edwin Brady =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Un= iversity of St. Andrews, 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 Tech= nology, Japan
Olaf Chitil =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 - University of Kent, 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, Netherl= ands
John Hughes =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 - Chal= mers University, Sweden
Pieter Koopman (co-chair) - Radboud University, = Netherlands
Cynthia Kop =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= - Radboud University, Netherlands
Jay McCarthey =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 - University of Massachussetts Lowell, USA
Neil Mit= chell =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 Nak= ata =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- SAP Innovation Center= Potsdam, Germany
Jurri=C3=ABn Stutterheim =C2=A0 =C2=A0 =C2=A0 - Standa= rd Chartered, Singapore
Simon Thompson =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0- University 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, Hun= gary
Phil Trinder =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0- Glas= gow University, Scotland
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 Cov= id-19 pandemic, this year IFL 2021 will be an online event,
consisting = of paper presentations, discussions and virtual social gatherings.
Regi= stered participants can take part from anywhere in the world.


3D"beacon" --0000000000000937b905c4cfa321--