posted by user: hansvs || 994 views || tracked by 5 users: [display]

IFL 2019 : The 31st symposium on Implementation and Application of Functional Languages

FacebookTwitterLinkedInGoogle


Conference Series : Implementation and Application of Functional Languages
 
Link: http://2019.iflconference.org/
 
When Sep 25, 2019 - Sep 27, 2019
Where Singapore
Submission Deadline May 31, 2019
Notification Due Aug 1, 2019
Final Version Due Sep 15, 2019
Categories    functional programming
 

Call For Papers

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

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

IFL 2019 solicits two kinds of submissions:

- Regular papers (12 pages including references)
- Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. A set of regular papers will be conditionally accepted for publication. Authors of conditionally accepted papers will be provided with committee reviews along with a set of mandatory revisions. Regular papers not accepted for publication may be considered as draft papers, at the request of the author.

Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
Authors of conditionally accepted papers and accepted presentations will submit a pre-proceedings version of their work that will appear in the draft proceedings distributed at the symposium. The draft proceedings does not constitute a formal publication. We require that at least one of the authors present the work at IFL 2019.

After the symposium:
Authors of conditionally accepted papers will submit a revised versions of their paper for the formal post-proceedings. The program committee will assess whether the mandatory revisions have been adequately addressed by the authors and thereby determines the final accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers. If you are an author of a conditionally accepted paper, please make sure that you address all the concerns of the reviewers.

Authors of accepted draft papers for presentation will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings. 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.

At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication
Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored 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.

Related Resources

PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
NSDI 2021   18th USENIX Symposium on Networked Systems Design and Implementation
NSDI 2022   19th USENIX Symposium on Networked Systems Design and Implementation
ASAP 2021   IEEE International Conference on Application-specific Systems, Architectures and Processors
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
TFP 2021   22nd Symposium on Trends in Functional Programming
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
FDL 2021   24th IEEE Forum on specification & Design Languages
ICALP 2021   International Colloquium on Automata, Languages and Programming
DMSVIVA 2021   27th International DMS Conference on Visualization and Visual Languages