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 B2C1F5D4 for ; Mon, 8 Jun 2020 12:14:44 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,487,1583190000"; d="scan'208,217";a="453537292" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Jun 2020 14:14:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4E65FE1F22; Mon, 8 Jun 2020 14:14:11 +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 B4872E1EA0 for ; Mon, 8 Jun 2020 14:14:08 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=publicityifl@gmail.com; spf=Pass smtp.mailfrom=publicityifl@gmail.com; spf=None smtp.helo=postmaster@mail-oi1-f170.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AfIeYah1Zd7m3AC4FsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIRI/ad9pjvdHbS+e9qxAeQG9mCtrQd1rOd7viocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTqwbalvIBi2sAnduckbjZd/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljj?= =?us-ascii?q?oMOTwk/2HNksF/g7lbrhKvqRJ83oDafp2aOeFkca/BZ94XX3ZNUtpTWiFHH4iy?= =?us-ascii?q?b5EPD+0EPetAq4f9ukEOrQG/BQa2HuzvzCJDiH3s0q01zesqDAbL3BQ9H90VtH?= =?us-ascii?q?TUrcn6NKYOUeG1zanIwzHDYuhZ2Tf48ofIcxQhreuQUrJ3dMrc0E8iHB7KgVuM?= =?us-ascii?q?s4LqJS+V1vgTvGiB6eptTfyjh3Inpg1soTWi2MMhh43Ui48a1F3J8St0zYU7K9?= =?us-ascii?q?GkVUJ2fdypHYZMuiyeK4d4Tc0vTm51tSom1LALt561cDQMxZ86yRDfbPmHfJKJ?= =?us-ascii?q?4hLlTOuRIil3hHR5eL6lnRm97VKsyvD/VsWsyllFsi9FnsPLtnAX2Bze7NWMRP?= =?us-ascii?q?hl/kq5xzqDywTe5vtHLE00j6bXNp8sz7wqmpYOs0nPAin7k1jsgqCMbEUr4O2o?= =?us-ascii?q?5vznYrr4op+cMJd5igTkPaQvnsyzGOM4MgkTU2SC9+Swyb/u8VHjTLVFif02la?= =?us-ascii?q?bZsJTEKsgBuqG5BApV3p4i6xa5ETimzMwVkWcbIF9BYh6KjIjkN0vTLP35D/qz?= =?us-ascii?q?mUmgnTV3y/zeO73uGJTNLnzNkLf7erZ97lZRyBIuzd9E45JUC60OIPPvWk7xtd?= =?us-ascii?q?zYABs5Phe7w+biEtp914ceVXiTDa+eNaPeqUWI6f43I+mQeI8Vvy7wJOQ/6P7r?= =?us-ascii?q?iX81gFsdfaiy3ZsLc324BfRnI0CBYXX2mNsBEGEKvhA/TOPwklGCXyRTND6OWP?= =?us-ascii?q?cX7zQ/TaanFpuLEoukhbjE2CagArVXYHpHAxaCCyG7WZ+DXqIudTiII8ZolHQk?= =?us-ascii?q?XLesA9s5yBuqtQT716tmIO789SgRtJal399wsb6A3Sou/CB5WpzOm1qGSHt5yz?= =?us-ascii?q?tRG20GmZtnqEk48W+tlLBiiqUBR9NW7vJNFAw9MMyElr0oO5XJQgvEO+yxZhOj?= =?us-ascii?q?S9SiDys2S4tokdALakd5Xd6li0Kahnf4M/ouj7WOQacM3Ofc0nz2fZgvzn/H0O?= =?us-ascii?q?wmjgBjTJIQbSupgalw8wWVDInMwR2U?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ACBABpKt5egKqnVdFmhE5aRVQzLIQkg?= =?us-ascii?q?RyCXoxsBYore4hhLYdlAQoBAwEMBR4MBAEBhESCNgIcBwEENBMCEAEBBQEBAQI?= =?us-ascii?q?BAwMEARMBAQkNCQgnhWQMgjsigy4LBh0BGwsBDAYDDQUDDTcCJAERAQUBIhsBG?= =?us-ascii?q?YI5TIJKAQMJJQ+TVIxzgh2BBD2LKIEVBQEXgwIFgTMBgy8KGSgNZYE0AgcSgSa?= =?us-ascii?q?FNQ+HDRp5gQeBR4IsgXCBYwEDgTpWgmeCYASOahwdiihngQiHOZETTIIXBIc8k?= =?us-ascii?q?UYggmiJEpJQqnqEMg8jgUeBeDMaI4EBggQBMwlHGQ0xJZACIIM6hRSCZoJ8JDA?= =?us-ascii?q?CNQIGAQcBAQMJjUwCJgeCFgEB?= X-IPAS-Result: =?us-ascii?q?A0ACBABpKt5egKqnVdFmhE5aRVQzLIQkgRyCXoxsBYore4h?= =?us-ascii?q?hLYdlAQoBAwEMBR4MBAEBhESCNgIcBwEENBMCEAEBBQEBAQIBAwMEARMBAQkNC?= =?us-ascii?q?QgnhWQMgjsigy4LBh0BGwsBDAYDDQUDDTcCJAERAQUBIhsBGYI5TIJKAQMJJQ+?= =?us-ascii?q?TVIxzgh2BBD2LKIEVBQEXgwIFgTMBgy8KGSgNZYE0AgcSgSaFNQ+HDRp5gQeBR?= =?us-ascii?q?4IsgXCBYwEDgTpWgmeCYASOahwdiihngQiHOZETTIIXBIc8kUYggmiJEpJQqnq?= =?us-ascii?q?EMg8jgUeBeDMaI4EBggQBMwlHGQ0xJZACIIM6hRSCZoJ8JDACNQIGAQcBAQMJj?= =?us-ascii?q?UwCJgeCFgEB?= X-IronPort-AV: E=Sophos;i="5.73,487,1583190000"; d="scan'208,217";a="350912818" X-MGA-submission: =?us-ascii?q?MDEGeCqmktYFqoJ6/37AlWNbUc1uNiN0IZ7ZZA?= =?us-ascii?q?gGFgtL5i0R1TgMoTszdFYTe/gxMgQ9JLrm3cTlVQvg1tSZDo4PDbcty9?= =?us-ascii?q?WLZS8I8jKBAQHCqQYI9s1YqPVV96mlHjCaEsoRq/SrCrEBL84YhOhfjh?= =?us-ascii?q?sccLEv65daxTIwseWPPN/0vA=3D=3D?= Received: from mail-oi1-f170.google.com ([209.85.167.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 08 Jun 2020 14:14:06 +0200 Received: by mail-oi1-f170.google.com with SMTP id t25so15042929oij.7 for ; Mon, 08 Jun 2020 05:14:06 -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=184etaJ+eaigPGlOTndGGMPCr0SrMOHUvtlouie6t0w=; b=Yo8dDlRwG2nlddbm6wXeIwrvO5nJvILDtZ3+psjmG2M7SqDTjFFSrSNJcc85c1bmEY 0+g/4NvOWFSOvDWzsiyFpL2caG5t7Cji/dfl9fwNKoeMT06HbwWSoH4ZMyRDMqaucFj2 A4dnQbhDJ8r7KmGvSHo0vOhUSfZVZhCa2p2LoYB56oieiolNLJLB2dyAgvE4N5G+4E/d 2Q57+8fkEIx/4dHfSXNCqtrBQ4hlxQSytgwkoTr0GJoiSG2kSeGR1OF4YaIeavXW2B/L KLTTG77BMPuU+ACXMgJtpWtjEiLk44UEOGGVlTO9MTtV+Rivi0qfwvu2eWXWo8ErffE9 EnGQ== 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=184etaJ+eaigPGlOTndGGMPCr0SrMOHUvtlouie6t0w=; b=em53DugdWdugz5esIRHdaUCdz6pMjaS+B/BKLel3/0lGa5Y3ajs06EKkUB8cXu4lzO 3ExY0/WLXxyVi5SbTZICKaDtto1Zh+BXeJA16FKackbh/C1wGPzFdgJBTxnMi7nm090l p5iVFeCqKLsjvTrHjBjVeDlmuFppFK9uM+lxuRp/6XQNFM7tsoXP6WSs7oZUF0zxTQmU +xmTZmnoDipWpNulIW+/NA5+VCtR9wZ5bphg9PPjHh5Lga9OgmxudHjwIhbi70cLvYo5 TzNf+J/FNYg+lrwTqlDNsc38Xtmr2Fpl2/pyCBxr/ON9Pry+lkJA55b0PQEy+qR0NEpw VMAg== X-Gm-Message-State: AOAM530rdF7FJPofOT9z6NcxB7ZMDRtALBDszAlsZZwKZszq63Y2Rn+G 3hs5RQuz0vmcls83DHVpjdnHQ9K4BTfVykIw6mjKbU3B X-Google-Smtp-Source: ABdhPJzrPan9ZZomrsJbzYJxlEnmPHoOeJC4juz6Exe6rdNc2RJgOo48PQYE625OH+txBcj0mTAP+WFcHzsQMGo/xVI= X-Received: by 2002:aca:a948:: with SMTP id s69mr10434486oie.140.1591618444699; Mon, 08 Jun 2020 05:14:04 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 8 Jun 2020 05:14:04 -0700 MIME-Version: 1.0 Sender: caml-list-request@inria.fr From: Jurriaan Hage Date: Mon, 8 Jun 2020 05:14:04 -0700 X-Google-Sender-Auth: xKITlicLqgvfwjYJcBEIecRSzYk Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="00000000000003a9ec05a7918cce" Subject: [Caml-list] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages) Reply-To: Jurriaan Hage X-Loop: caml-list@inria.fr X-Sequence: 18162 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: --00000000000003a9ec05a7918cce Content-Type: text/plain; charset="UTF-8" Hello, Please, find below the final call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL ================================================================================ IFL 2020 32nd Symposium on Implementation and Application of Functional Languages venue: online 2nd - 4th September 2020 https://www.cs.kent.ac.uk/events/2020/ifl20/ ================================================================================ ### 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 2020 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. 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 - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications ### Post-symposium peer-review Following IFL tradition, IFL 2020 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 chair 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. ### Important dates Submission deadline of draft papers: 17 August 2020 Notification of acceptance for presentation: 19 August 2020 Registration deadline: 31 August 2020 IFL Symposium: 2-4 September 2020 Submission of papers for proceedings: 7 December 2020 Notification of acceptance: 3 February 2021 Camera-ready version: 15 March 2021 ### 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 ### 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 2020 Chair: Olaf Chitil, University of Kent, UK IFL Publicity chair: Jurriaan Hage, Utrecht University, The Netherlands ### Virtual symposium Because of the Covid-19 pandemic, this year IFL 2020 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world. ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here. --00000000000003a9ec05a7918cce Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the final call for d= raft papers for IFL 2020.
Please forward these to anyone you thin= k may be interested.
Apologies for any duplicates you may receive.=

best regards,
Jurriaan Hage
Publicity Chair of IFL
=

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0= IFL 2020

=C2=A0 =C2=A0 32nd Symposium on Implementation and Applica= tion 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=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 venue: 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 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 2nd - 4th September 202= 0

=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://www.cs.kent.ac.uk/events/2020/ifl20/

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

### Scope

The goal of the IFL symposia is to bring togeth= er researchers actively engaged
in the implementation and application of= functional and function-based
programming languages. IFL 2020 will be a= venue for researchers to present and
discuss new ideas and concepts, wo= rk in progress, and publication-ripe results
related to the implementati= on and application of functional languages and
function-based programmin= g.

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
- virtual/abstract machine= architectures
- validation, verification of functional programs
- to= ols and programming techniques
- (industrial) applications


##= # Post-symposium peer-review

Following IFL tradition, IFL 2020 will = use a post-symposium review process to
produce the formal proceedings. <= br>
Before the symposium authors submit draft papers. These draft papers= will be
screened by the program chair to make sure that they are withi= n the scope of
IFL. The draft papers will be made available to all part= icipants at the
symposium. Each draft paper is presented by one of the = authors at the symposium.

After the symposium every presenter is inv= ited to submit a full paper,
incorporating feedback from discussions at= the symposium. Work submitted to IFL
may not be simultaneously submitte= d to other venues; submissions must
adhere to ACM SIGPLAN's republi= cation policy. The program committee will
evaluate these submissions ac= cording to their correctness, novelty, originality,
relevance, s= ignificance, 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.


### Important da= tes

Submission deadline of draft papers: =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 17 August 2020
Notification of acceptance for presentation: =C2= =A0 19 August 2020
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 31 August 2020
I= FL 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 2-4 September 2020
= Submission of papers for proceedings: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A07 D= ecember 2020
Notification of acceptance: =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A03 February 2021
Camera-ready versi= on: =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 2021


### Submission details

= All contributions must be written in English. Papers must use the ACM twocolumns 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/proceedings-templa= te


### Peter Landin Prize

The Peter Landin Prize is a= warded to the best paper presented at the
symposium every year. The hono= ured article is selected by the program committee
based on the submissio= ns received for the formal review process. The prize
carries a cash awar= d equivalent to 150 Euros.


### Organisation

IFL 2020 Chai= r: Olaf Chitil, University of Kent, UK

IFL Publicity chair: Jurriaan= Hage, Utrecht University, The Netherlands

### Virtual symposium
=
Because of the Covid-19 pandemic, this year IFL 2020 will be an online = event,
consisting of paper presentations, discussions and virtual socia= l gatherings.
Registered participants can take part from anywhere in th= e world.


### Acknowledgments

This call-for-papers is an a= daptation and evolution of content from previous
instances of IFL. We ar= e grateful to prior organisers for their work, which
is reused here.
=


--00000000000003a9ec05a7918cce--