=======================================================================
IFL 2024
36rd Symposium on Implementation and Application of Functional Languages
venue: Radboud University Nijmegen, The Netherlands
August 26 - 28 2024
https://ifl24.cs.ru.nl
=======================================================================
### 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 2024 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
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
### Peer-review process
Following IFL tradition, IFL 2024 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, 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.
### Important dates
Submission deadline of draft papers August 4th, 2024
Notification of acceptance for presentation August 6th, 2024
Early registration deadline August 11th, 2024
Late registration deadline August 21th, 2024
IFL symposium August 26-28, 2024
Submission of papers for proceedings December 1st, 2024
Notification of acceptance February 2nd, 2025
Camera-ready version March 2nd, 2025
### 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
PC Chairs:
Mart Lubbers Radboud University, The Netherlands
Local Chairs:
Peter Achten Radboud University, The Netherlands
Sven-Bodo Scholz, Radboud University, The Netherlands
### Program committee:
t.b.d.
### Venue
IFL 2024 will be held physically in Nijmegen, the Netherlands. See the
website for more information.
https://ifl24.cs.ru.nl (under construction)
### 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.
_______________________________________________
clean-list mailing list
clean-list@science.ru.nl
https://mailman.science.ru.nl/mailman/listinfo/clean-list
