IFL2021 second call for papers

[Pieter Koopman]

D-70937384=http%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template>

The submission Web page for IFL21 is
https://easychair.org/conferences/?conf=ifl21
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-123424015=YAMMID-70937384=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%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ña, 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ën Stutterheim   - Standard Chartered, Singapore
Simon Thompson- University of Kent, England
Melinda Tóth  - Eötvos Loránd University, Hungary
Phil Trinder  - Glasgow University, Scotland
Meng Wang - University of Bristol, England
Viktória Zsók - Eötvos Loránd University, Hungary


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]

IFL'21 Third call for papers

[Pieter Koopman]

Fconferences%2F%3Fconf%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ña, 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ën Stutterheim   - Standard Chartered, Singapore
Simon Thompson- University of Kent, England
Melinda Tóth  - Eötvos Loránd University, Hungary
Phil Trinder  - Glasgow University, Scotland
Meng Wang - University of Bristol, England
Viktória Zsók - Eötvos Loránd University, Hungary


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 below link to register for IFL 2021:
https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=sf_link
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-0=YAMMID-10127780=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA%2Fviewform%3Fusp%3Dsf_link>
Thanks to the sponsors and the support of the Radboud university
registration is free of charge.

[image: beacon]

IFL'21 final call for participation

[Pieter Koopman]

IFL 2021



33rd Symposium on Implementation and Application of Functional Languages





 venue: online

  1 - 3 September 2021



 https://ifl21.cs.ru.nl
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-31163156=YAMMID-51932029=https://ifl21.cs.ru.nl/>





*Registration*


*Registration is **free of charge, but required for participation!* We will
mail the zoom link only to registered participants. Use the below link to
register for IFL 2021:



https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=sf_link
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-31163156=YAMMID-51932029=https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=sf_link>



*Program*

The program is now available at https://ifl21.cs.ru.nl/Program
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-31163156=YAMMID-51932029=https://ifl21.cs.ru.nl/Program>
.

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



*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ña, 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ën Stutterheim   - Standard Chartered, Singapore

Simon Thompson- University of Kent, England

Melinda Tóth  - Eötvos Loránd University, Hungary

Phil Trinder  - Glasgow University, Scotland

Meng Wang - University of Bristol, England

Viktória Zsók - Eötvos Loránd University, Hungary
[image: beacon]

IFL'21 call for participation

[Pieter Koopman]

IFL 2021



33rd Symposium on Implementation and Application of Functional Languages





 venue: online

  1 - 3 September 2021



 https://ifl21.cs.ru.nl
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-315504601=YAMMID-07844669=https%3A%2F%2Fifl21.cs.ru.nl>





*Registration*


Registration is free of charge, but required for participation! Use the
below link to register for IFL 2021:



https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=sf_link
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-315504601=YAMMID-07844669=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA%2Fviewform%3Fusp%3Dsf_link>



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



*Program*

The program is now available at https://ifl21.cs.ru.nl/Program
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-315504601=YAMMID-07844669=https%3A%2F%2Fifl21.cs.ru.nl%2FProgram>
.



*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ña, 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ën Stutterheim   - Standard Chartered, Singapore

Simon Thompson- University of Kent, England

Melinda Tóth  - Eötvos Loránd University, Hungary

Phil Trinder  - Glasgow University, Scotland

Meng Wang - University of Bristol, England

Viktória Zsók - Eötvos Loránd University, Hungary
[image: beacon]

IFL'21 Final call for papers

[Pieter Koopman]

BhfIIDW1X2vaVQE-1790158325=YAMMID-96809191=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%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ña, 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ën Stutterheim   - Standard Chartered, Singapore
Simon Thompson- University of Kent, England
Melinda Tóth  - Eötvos Loránd University, Hungary
Phil Trinder  - Glasgow University, Scotland
Meng Wang - University of Bristol, England
Viktória Zsók - Eötvos Loránd University, Hungary


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-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=sf_link
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-1790158325=YAMMID-96809191=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA%2Fviewform%3Fusp%3Dsf_link>
Thanks to the sponsors and the support of the Radboud university
registration is free of charge.
[image: beacon]

CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages

[Pieter Koopman]

*CALL FOR PAPERS - The 34th Symposium on Implementation and Application of
Functional Languages*

*Important dates*
Draft paper submission:7th of August 2022
Draft paper notification:  9th of August 2022
Registration deadline:12th of August 2022
Symposium:31th of August to 2nd of September

*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 2022 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 specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* 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

*Submissions and peer-review*
Following IFL tradition, IFL 2022 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, a formal review process will take place, conducted by
the program committee.  Reviewing is single blind. There will be at least 3
reviews per paper. The reviewers have 6 weeks to write their reviews. For
the camera-ready version the authors can make minor revisions which are
accepted without further reviewing.

*Where*
IFL 2022 will be held physically in Copenhagen, Denmark, arranged by DIKU
at the University of Copenhagen.

See the IFL 2022 website at https://ifl22.github.io/ for more information.
[image: beacon]

2nd CFP - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages

[Pieter Koopman]

*CALL FOR PAPERS:
*
The 34th Symposium on Implementation and Application of Functional
Languages (IFL 2022)

*Submission and registration are open.* See https://ifl22.github.io/.

Copenhagen, August 31st-September 2nd, 2022

*Important dates
*

Draft paper submission:  August 7th, 2022
Draft paper notification:August 9th, 2022
Early registration deadline: August 12th, 2022
Late registration deadline:  September 2nd, 2022
Symposium:   August 31st-September 2nd, 2022 (3 days)
*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 2022 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 specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* 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
*Submissions and peer-review
*
Following IFL tradition, IFL 2022 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. Notice that it is a requirement
that accepted draft papers are presented physically at the symposium.

After the symposium, a formal review process will take place,
conducted by the program committee.  Reviewing is single blind. There
will be at least 3 reviews per paper. The reviewers have 6 weeks to
write their reviews. For the camera-ready version the authors can make
minor revisions which are accepted without further reviewing.

Contributions submitted for the draft paper deadline must be between
two and twelve pages long. For submission details, please consult the
IFL 2022 website at https://ifl22.github.io/.
*Where
*
IFL 2022 will be held physically in Copenhagen, Denmark, arranged by
DIKU at the University of Copenhagen.

See the IFL 2022 website at https://ifl22.github.io/ for more
information.

[image: beacon]

IFL22: Early registration deadline August 15th

[Pieter Koopman]

*IFL 2022Frederiksberg Campus of Faculty of Science, UCPH, CopenhagenAugust
31s-September 2nd, 2022*

*Early registration deadline: August 15th AoE *

*See **https://ifl22.github.io/* <https://ifl22.github.io/>* for more
information.*

*CALL FOR PARTICIPATION:*


The 34th Symposium on Implementation and Application of Functional
Languages (IFL 2022)

Copenhagen, August 31st-September 2nd, 2022


*Important dates*


Submission deadline of draft papers   August 8th, 2022 (EXPIRED)

Notification of acceptanceAugust 9th, 2022 (EXPIRED)

Early registration deadline   August 15th, 2022 (AoE)

Late registration deadlineAugust 31st, 2022, 12:59 CET (UTC+2)

IFL Symposium August 31st - September 2nd, 2022
(We-Fr)


*Scope*


The goal of IFL is to bring together researchers and developers actively
engaged in the implementation and application of functional programming
languages and function-oriented programming. IFL 2022 is held in beautiful
Copenhagen, Denmark and is 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 programming
languages and function-oriented programming.


*Invited speakers*


IFL 2022 is pleased to announce keynote talks by the following three
invited speakers:


* Peter Sestoft, Professor, Head of Department, IT University of
Copenhagen, Denmark: "Abstract machines and functional language
implementation"


* Lennart Augustsson, Principal Programmer, Epic Games: "Verse - a new
functional-logic language"


* Thomas Gazagnaire, Chief Technology Officer and co-founder, Tarides:
"Talk title to be announced"


*Venue and registration*


The symposium will be held physically on the Frederiksberg Campus of the
Faculty of Science at the University of Copenhagen. Days 1 and 2 (August
31st and September 1st) will be in meeting room A2-84.01 at Thorvaldsensvej
40. Day 3 (September 2nd) will be in the Celebration Auditorium at
Bülowsvej 17.


For registration and fees, please consult the symposium web site at
https://ifl22.github.io/. Please notice that the early registration date is
August 15, 2022 (AoE).


*Accepted papers*


* Asynchronous Shared Data Sources. Mart Lubbers, Haye Böhm, Pieter Koopman
and Rinus Plasmeijer.


* Heuristics-based Type Error Diagnosis for Haskell: the case of type
families. Niels Kwadijk and Jurriaan Hage.


* Verified Technology Mapping in an Agda DSL for Circuit Design. João Paulo
Pizani Flor and Wouter Swierstra.


* Creating Interactive Visualizations of TopHat Programs. Mark Gerarts,
Marc de Hoog, Nico Naus and Tim Steenvoorden.


* An SQL Frontend on top of OCaml for Data Analysis. Yan Dong, Yahui Song
and Wei-Ngan Chin.


* A Structure Editor with Type-Safe Copy/Paste. Hans Hüttel, Christoffer
Lind Andersen, Nana Gjerulf Sandberg, Anja Elisasen Lumholtz Nielsen and
Peter Mikkelsen.


* How to fold and color a map: Comparing Use-Cases of Tree-Fold vs
Fold-Left. Jim Newton.


* Compiling a functional array language with non-semantic memory
information. Philip Munksgaard, Cosmin Oancea and Troels Henriksen.


* Systems of partial values and their applications in Haskell. Natasha
England-Elbro.


* First-Class Data Types in Shallow Embedded Domain-Specific Languages
using Metaprogramming. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer.


* Set-theoretic Types for Erlang. Albert Schimpf, Stefan Wehr and Annette
Bieniusa.


* Strongly-Typed Multi-View Stack-Based Computations. Pieter Koopman and
Mart Lubbers.


* Ztrategic: Strategic Programming with Zippers. José Nuno Macedo, Emanuel
Rodrigues, Marcos Viera and João Saraiva.


* Higher-ranked region inference for polymorphic, lazy languages. Ivo Gabe
de Wolff and Jurriaan Hage.


* Jeopardy: An invertible functional programming language. Joachim
Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen.


* The Foil: Capture-Avoiding Substitution With No Sharp Edges. Dougal
Maclaurin, Alexey Radul and Adam Paszke.


* Verified Causal Broadcast with Liquid Haskell. Patrick Redmond, Gan Shen,
Niki Vazou and Lindsey Kuper.


* Towards Inversion of Tail-recursive Term Rewriting Systems. Maria Bendix
Mikkelsen, Robert Glück and Maja Hanne Kirkeby.


* A Confluence and Termination Checker for Haskell Rewrite Rules. Makoto
Hamana.


* On Generating Out-Of-Core GPU Code for Multi-Dimensional Array
Operations. Patrick van Beurden and Sven-Bodo Scholz.


* Compiling Haskell for Energy Efficiency: Analysis of Individual
Transformations. Bernardo Santos, João Fernandes, Maja Kirkeby and Alberto
Pardo.


*Post-symposium peer review *


Following IFL tradition, IFL 2022 will use a post-symposium review process
to produce the formal proceedings.


Before the symposium authors submit draft papers. These draft papers have
been screened by the program chair to make sure that they are within the
scope of IFL. The draft 

IFL23 first CFP

[Pieter Koopman]

*Call for papers*

The 35th Symposium on Implementation and Application of Functional
Languages (IFL 2023)

Braga, Portugal, August 29th-August 31st, 2023
*Important dates*

Draft paper submission:  July   31st, 2023
Draft paper notification:August  1st, 2023
Early registration deadline: August 11th, 2023
Late registration deadline:  August 23rd, 2023
Symposium:   August 29th - August 31st (3 days)
*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 2022 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 specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* 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
*Submissions and peer-review
*
Following IFL tradition, IFL 2023 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. Notice that it is a requirement
that accepted draft papers are presented physically at the symposium.

After the symposium, a formal review process will take place,
conducted by the program committee.  Reviewing is single blind. There
will be at least 3 reviews per paper. The reviewers have 6 weeks to
write their reviews. For the camera-ready version the authors can make
minor revisions which are accepted without further reviewing.

Contributions submitted for the draft paper deadline must be between
two and twelve pages long. For submission details, please consult the
IFL 2023 website at https://ifl23.github.io/

.
*Where
*
IFL 2023 will be held physically in Braga, Portugal, arranged by
University of Minho.

See the IFL 2023 website at https://ifl23.github.io/

for more
information.

[image: beacon]

IFL23 - Deadline extension - Symposium on Implementation and Application of Functional Languages

[Pieter Koopman]

Dear all,

on special request, the deadline for draft paper submissions is extended
until *August 7th*, 2023.

*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 2022 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 specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* 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
*Submissions and peer-review*

Following IFL tradition, IFL 2023 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. Notice that it is a requirement
that accepted draft papers are presented physically at the symposium.

After the symposium, a formal review process will take place,
conducted by the program committee.  Reviewing is single blind. There
will be at least 3 reviews per paper. The reviewers have 6 weeks to
write their reviews. For the camera-ready version the authors can make
minor revisions which are accepted without further reviewing.

Contributions submitted for the draft paper deadline must be between
two and twelve pages long. For submission details, please consult the
IFL 2023 website at https://ifl23.github.io/

.
*Where*

IFL 2023 will be held physically in Braga, Portugal, arranged by
University of Minho.

See the IFL 2023 website at https://ifl23.github.io/

for more
information.

[image: beacon]

IFL23 last Call for papers

[Pieter Koopman]

Important Dates
Draft Paper Submission Deadline 31st July, 2023
Notification of Acceptance for Presentation 1st August, 2023
Early Registration Deadline 11th August, 2023
Late Registration Deadline 23rd August, 2023
IFL Symposium 29th - 31st August, 2023
Submission of Papers for Peer-Reviewed Proceedings 24th November, 2023
Notification of Acceptance 2nd February, 2024
Camera-ready Version 8th March, 2024
SCOPE AND TOPICS
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. You can find more information about
the symposium on its oficial website
.
IFL 2023 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. See the call for papers in text format

.
Areas of interest include, but are not limited to:

   - language concepts
   - type systems, type checking, type inferencing
   - compilation techniques
   - staged compilation
   - run-time function specialization
   - run-time code generation
   - partial evaluation
   - abstract interpretation
   - metaprogramming
   - 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

PAPER SUBMISSIONS
Following IFL tradition, IFL 2023 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. Notice that it is a requirement that accepted draft papers
are presented physically 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. As in previous years, we will try to have the papers that are
accepted for the formal proceedings published in the International
Conference Proceedings Series of the ACM Digital Library. This possibility
will be confirmed as soon as possible.
Reviewing is single blind. There will be at least 3 reviews per paper. For
the camera-ready version the authors can make minor revisions which are
accepted without further reviewing.
Papers must use the ACM two columns conference format, which can be found
here
.
(For LaTeX users, start your document with
\documentclass[sigconf,screen,review]{acmart}.) All contributions must be
written in English. 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 page limit for papers is twelve pages (excluding references). Only
papers that were presented at the IFL 2023 Symposium will be considered for
publication. See the webpage for paper submissions.
LOCATION
IFL 2023 will be held physically in Braga, Portugal. For more information,
click here
.
Registration information will be added as soon as possible.

IFL23 2nd Call for papers

[Pieter Koopman]

Important Dates
Draft Paper Submission Deadline 31st July, 2023
Notification of Acceptance for Presentation 1st August, 2023
Early Registration Deadline 11th August, 2023
Late Registration Deadline 23rd August, 2023
IFL Symposium 29th - 31st August, 2023
Submission of Papers for Peer-Reviewed Proceedings 24th November, 2023
Notification of Acceptance 2nd February, 2024
Camera-ready Version 8th March, 2024
SCOPE AND TOPICS
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. You can find more information about
the symposium on its oficial website
.
IFL 2023 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. See the call for papers in text format

.
Areas of interest include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- abstract interpretation
- metaprogramming
- 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
PAPER SUBMISSIONS
Following IFL tradition, IFL 2023 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. Notice that it is a requirement that accepted draft papers
are presented physically 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. As in previous years, we will try to have the papers that are
accepted for the formal proceedings published in the International
Conference Proceedings Series of the ACM Digital Library. This possibility
will be confirmed as soon as possible.
Reviewing is single blind. There will be at least 3 reviews per paper. For
the camera-ready version the authors can make minor revisions which are
accepted without further reviewing.
Papers must use the ACM two columns conference format, which can be found
here
.
(For LaTeX users, start your document with
\documentclass[sigconf,screen,review]{acmart}.) All contributions must be
written in English. 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 page limit for papers is twelve pages (excluding references). Only
papers that were presented at the IFL 2023 Symposium will be considered for
publication.
LOCATION
IFL 2023 will be held physically in Braga, Portugal. For more information,
click here

.
[image: beacon]