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
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
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--