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 sympa.inria.fr (Postfix) with ESMTPS id 2B1FAE0C02 for ; Tue, 11 Aug 2020 20:22:48 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=publicityifl@gmail.com; spf=Pass smtp.mailfrom=publicityifl@gmail.com; spf=None smtp.helo=postmaster@mail-ot1-f46.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of publicityifl@gmail.com) identity=pra; client-ip=209.85.210.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="publicityifl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of publicityifl@gmail.com designates 209.85.210.46 as permitted sender) identity=mailfrom; client-ip=209.85.210.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="publicityifl@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ot1-f46.google.com) identity=helo; client-ip=209.85.210.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="publicityifl@gmail.com"; x-sender="postmaster@mail-ot1-f46.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Au/2Y3RwDfE84J7fXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+0VIJqq85mqBkHD//Il1AaPAdyFraMcwLOM7+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVhTexe7d/IAm5oQnMqMUbjpZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulS?= =?us-ascii?q?wJNSM28HvPh8N/l6JVoByvqR9izYDKfI6YL+Bxcr/HcN4AWWZNQsRcWipcCY28?= =?us-ascii?q?dYsPCO8BMP5coYngvVsOtxq+ChO2C+Pp1zRGhGX53aIk3O88FgzGxBEgEMkKsH?= =?us-ascii?q?TVsNr1NbsSUOC0zKnGyTXOdPxW2TLn54jJdhAtu+2DXbV1ccfIz0QkCgzKgEmK?= =?us-ascii?q?p4P/IzOVyvoCs3Kd7+d4S+6jl24qpxxyrzWxwsohjpTEi40Lx13A+yh0w4g7Kc?= =?us-ascii?q?GlRENnY9OpDYdduiWGO4V5TM4vTHxltDokx7AIuZC3YC4Hw4kpyR7YbvyIaYmI?= =?us-ascii?q?4hT7WeaSPzh4gm5ldKiliBmu60Sg1+78WtGu31lWqypJiN7MtmoC1xHV98OJSe?= =?us-ascii?q?N981+/1TqT0w3f8OJJLEAumabFNpIt3qQ8m5USvEnFAyT4gl/5jLWMeUUh4uWo?= =?us-ascii?q?6/roYrHhppKEMo97kAD+MqA3lsy4HeQ0LxECX2aU9Om9zrHj8kr5QLJFjv0yjK?= =?us-ascii?q?bVqozVJcMepqKhAg9V1Jgs6wqnAju4zNgVmWMLIVFFdR6dkYTlJk3CLOr3APq+?= =?us-ascii?q?m1islS1kx/HCPr3vGJXNKX3Dna/5fbZg8EFczAszwsxe55JICrABIfzzWkvqud?= =?us-ascii?q?zXCx82KQ20w+L9BNph0YMeXHqDArWFP6PKrV+I+uUvLvGQa4APvTb9L+Ep5/rv?= =?us-ascii?q?jX8ihV8QZrKp3JsSaHCgBPtqOUSZYXz2gtcAC2gGpAQ+TPa5wGGFBBVaYnL3e6?= =?us-ascii?q?Mn+nlvA4ujCcLHR5uxqL2HxiayWJNMMDNoEFeJRFX1bZ+FUv4KIAKbLcIpxiQZ?= =?us-ascii?q?X7ygQI49xBCgsCf1zrNmKqzf/ShO5sGr78R8++CGzUJ6zjdzFcnIizjcHVExpX?= =?us-ascii?q?sBQnoN5I46pEV8zlmZ1q0h2q5XENVS47VCVQJobMeAndw/MMj7X0f6RvnMUEyv?= =?us-ascii?q?G4z0DjQ4T9Z3yNgLMR4kRoeSyyvb1i/vOIc70ryGAJtur/DZ1nn1YsFhkjPIiP?= =?us-ascii?q?dngF4hTc9Cc2ahg/wn+g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BTBQD94DJfgC7SVdFghE5ZAURUMyyEN?= =?us-ascii?q?oEcgl6EBpMye4hoLodqAQoBAwEMIwwEAQGETII1AhwHAQQ0EwIQAQEFAQEBAgE?= =?us-ascii?q?DAwQBEwEBCQ0JCCeFZQyCNyKDMQsGHQEbCwEMBgMNBQMNNwIkAREBBQEiHBmCO?= =?us-ascii?q?UyCSgEDCSUPlmyMdIIdgQQ9iyiBFQUBF4MCBYE0AYMSChkoDWWBNAIHEoEmhAu?= =?us-ascii?q?BOBI5hwIaeYEHgUeCLIFwgVgBA4E0VoJqgmAEjQOCPg0cHYpyc4EPh1+RTk2CH?= =?us-ascii?q?wSHGkWPUYJlIYJ+iVmTPq0+hD4PI4FHgXozGiOBAYIEATMJRxkNMSaNYB+DOoU?= =?us-ascii?q?UgmaCfCQwAjUCBgEHAQEDCY4+AiYHghcBAQ?= X-IPAS-Result: =?us-ascii?q?A0BTBQD94DJfgC7SVdFghE5ZAURUMyyENoEcgl6EBpMye4h?= =?us-ascii?q?oLodqAQoBAwEMIwwEAQGETII1AhwHAQQ0EwIQAQEFAQEBAgEDAwQBEwEBCQ0JC?= =?us-ascii?q?CeFZQyCNyKDMQsGHQEbCwEMBgMNBQMNNwIkAREBBQEiHBmCOUyCSgEDCSUPlmy?= =?us-ascii?q?MdIIdgQQ9iyiBFQUBF4MCBYE0AYMSChkoDWWBNAIHEoEmhAuBOBI5hwIaeYEHg?= =?us-ascii?q?UeCLIFwgVgBA4E0VoJqgmAEjQOCPg0cHYpyc4EPh1+RTk2CHwSHGkWPUYJlIYJ?= =?us-ascii?q?+iVmTPq0+hD4PI4FHgXozGiOBAYIEATMJRxkNMSaNYB+DOoUUgmaCfCQwAjUCB?= =?us-ascii?q?gEHAQEDCY4+AiYHghcBAQ?= X-IronPort-AV: E=Sophos;i="5.76,301,1592863200"; d="scan'208,217";a="463171632" X-MGA-submission: =?us-ascii?q?MDERpy/4eO2aXexgdj2b0NllfGOkwvG70w+vFH?= =?us-ascii?q?f2NvokGf+DXfIm/iH6AhDxat00uGMLL18Uzcgn0oOcKnLQUJGT/4XwSn?= =?us-ascii?q?XZ0EhmVfiYDiNrSazHmwjo6CNdf5fL2R53yOW0E07g4xkS2HCuceboFM?= =?us-ascii?q?V+4educmCArgCGMq5ojwuQYg=3D=3D?= Received: from mail-ot1-f46.google.com ([209.85.210.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 Aug 2020 20:22:46 +0200 Received: by mail-ot1-f46.google.com with SMTP id z18so10865407otk.6 for ; Tue, 11 Aug 2020 11:22:46 -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=YKRuQShk98uvWQj988cpJPlHDQofKO6axh+/VLyMvRo=; b=JEUcjHAKIPMwqLSJ86f9Q+DGUX6onHYdoD+wLvwxVfI4cLAL5Ja1unPKbfZ0EUXQXg zWh2LRnTFvhYCDNYm1X6ZdWdom+x1ZHzeEOnBloZ5V7Kr7rjbX9C+3vJ1yP8t2rydF+Y AL1ClcsddbxSwIqMojRq73xET5BU2kbGq74RyHZtWsNO1vqpbHUdT2m9cOyxxp/oMucp 9rpf0Aar1WNzog/1O04vMYJiypEa9klrhTtkP8gRYpReXyBF/iP3tAXd85+HjyGcw7Qf TeTBMFxzkG63FHas9NW/XU27U0SypsvCFdM1ERMyEY1XOOlnPbbAU0V+2y6eiLirTAcf bcNQ== 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=YKRuQShk98uvWQj988cpJPlHDQofKO6axh+/VLyMvRo=; b=hGKsnFVd5tR1Z0iJW3LQUlDmBw6c6hrrQF5Of4V3KmDtNUEyz9xPFjQ7UXQGUDNonk jbA0Uj962vbR8Lgr71eciOL4nWJ+hTUKXoI+p274zeqHGgwdw2yLXK1WRFxVn+d1Kg5j +si85WJKnpjYtNRq07Wydiyvu3TxXSfNn59fvw8MBqiLrZVzsIWcNLOJNm9wQh/H1SEx UZxEqvON4z65zhUzC3/C+wXbp+omFa1ek2Y94ZqsfOysBv1mR+AkrtCc2TKuZ7w8r7Yk 2EaZxZyQI8hMp7IT6sX3zQKzmlEcA3AD/T78wW3X8avtmwgotbgzeAspoqg+pyeDUR7P ijlw== X-Gm-Message-State: AOAM533qZNAZoiP0rxbu7GzpDvcs8DfXOlIgzuZ5y7gVqWH+E1SdN62o x+g7wuHRMdLbJbfwKD9NzkjyK8CrImZXm8BtJroajNYB X-Google-Smtp-Source: ABdhPJxJIrHEvCsGe/a0bzdWl4noH0tdB1aMtF2iOrMerdhX3XM7XiroFOzCo8D5Rc+49XbStJRApSw0IlLkAVhZJtA= X-Received: by 2002:a9d:2c43:: with SMTP id f61mr6587562otb.154.1597170165130; Tue, 11 Aug 2020 11:22:45 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Tue, 11 Aug 2020 11:22:44 -0700 MIME-Version: 1.0 Sender: Jurriaan Hage From: Jurriaan Hage Date: Tue, 11 Aug 2020 11:22:44 -0700 X-Google-Sender-Auth: RtdrQO-HiSgilApYSw6JTRITgFA Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="00000000000056ac8905ac9e28c3" Subject: [Caml-list] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages) --00000000000056ac8905ac9e28c3 Content-Type: text/plain; charset="UTF-8" Hello, Please, find below the third 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. ### Programme committee Kenichi Asai, Ochanomizu University, Japan Olaf Chitil, University of Kent, United Kingdom (chair) Martin Erwig, Oregon State University,United States Daniel Horpacsi, Eotvos Lorand University, Hungary Zhenjiang Hu, Peking University, China Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom Neil Mitchell, Facebook, UK Marco T. Morazan, Seton Hall University, United States Rinus Plasmeijer, Radboud University, Netherlands Colin Runciman, University of York, United Kingdom Mary Sheeran, Chalmers University of Technology, Sweden Josep Silva, Universitat Politecnica de Valencia, Spain Jurrien Stutterheim, Standard Chartered, Singapore Josef Svenningsson, Facebook, UK Peter Thiemann, University of Freiburg, Germany Kanae Tsushima, National Institute of Informatics, Japan. Marcos Viera, Universidad de la Republica, Montevideo, Uruguay Janis Voigtlander, University of Duisburg-Essen, Germany ### 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. --00000000000056ac8905ac9e28c3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the third 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 IFL 2020

=C2=A0 =C2=A0 32nd Symposium on Implem= entation and Application 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 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=A02nd - 4th September 2020

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0https://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 sympos= ia is to bring together researchers actively engaged
in the implementati= on and application of functional and function-based
programming language= s. IFL 2020 will be a venue for researchers to present and
discuss new i= deas and concepts, work in progress, and publication-ripe results
relate= d to the implementation and application of functional languages and
func= tion-based programming.

Topics of interest to IFL include, but are n= ot 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
- gener= ic programming
- automatic program generation
- array processing
-= concurrent/parallel programming
- concurrent/parallel program execution=
- embedded systems
- web applications
- (embedded) domain specifi= c languages
- security
- novel memory management techniques
- run-= time profiling performance measurements
- debugging and tracing
- vir= tual/abstract machine architectures
- validation, verification of functi= onal programs
- tools and programming techniques
- (industrial) appli= cations


### Post-symposium peer-review

Following IFL trad= ition, IFL 2020 will use a post-symposium review process to
produce the = formal proceedings.

Before the symposium authors submit draft paper= s. These draft papers will be
screened by the program chair to make sur= e 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 pre= sented by one of the authors at the symposium.

After the symposium e= very presenter is invited to submit a full paper,
incorporating feedbac= k from discussions at the symposium. Work submitted to IFL
may not be si= multaneously 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, re= levance, significance, and clarity, and will thereby determine whether the =
paper is accepted or rejected for the formal proceedings. We plan to pu= blish
these proceedings in the International Conference Proceedings Ser= ies of the
ACM Digital Library, as in previous years.


### Im= portant dates

Submission deadline of draft papers: =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 17 August 2020
Notification of acceptance for presenta= tion: =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 20= 20
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 2-4 September 2= 020
Submission of papers for proceedings: =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A07 December 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-r= eady 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 2021


### Submission deta= ils

All contributions must be written in English. Papers must use th= e 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/pu= blications/proceedings-template


### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
s= ymposium every year. The honoured article is selected by the program commit= tee
based on the submissions received for the formal review process. The= prize
carries a cash award equivalent to 150 Euros.


### Prog= ramme committee

Kenichi Asai, Ochanomizu University, Japan
Olaf C= hitil, University of Kent, United Kingdom (chair)
Martin Erwig, Oregon S= tate University,United States
Daniel Horpacsi, Eotvos Lorand University,= Hungary
Zhenjiang Hu, Peking University, China
Hans-Wolfgang Loidl, = Heriot-Watt University, United Kingdom
Neil Mitchell, Facebook, UK
Ma= rco T. Morazan, Seton Hall University, United States
Rinus Plasmeijer, R= adboud University, Netherlands
Colin Runciman, University of York, Unite= d Kingdom
Mary Sheeran, Chalmers University of Technology, Sweden
Jos= ep Silva, Universitat Politecnica de Valencia, Spain
Jurrien Stutterheim= , Standard Chartered, Singapore
Josef Svenningsson, Facebook, UK
Pete= r Thiemann, University of Freiburg, Germany
Kanae Tsushima, National Ins= titute of Informatics, Japan.
Marcos Viera, Universidad de la Republica,= Montevideo, Uruguay
Janis Voigtlander, University of Duisburg-Essen, Ge= rmany

### Virtual symposium

Because of the Covid-19 pandemic,= this year IFL 2020 will be an online event,
consisting of paper presen= tations, discussions and virtual social gatherings.
Registered particip= ants can take part from anywhere in the world.


### Acknowledgmen= ts

This call-for-papers is an adaptation and evolution of content fr= om previous
instances of IFL. We are grateful to prior organisers for th= eir work, which
is reused here.



--00000000000056ac8905ac9e28c3--