posted by system || 4948 views || tracked by 13 users: [display]

IFL 2013 : 25th International Symposium on Implementation and Application of Functional Languages

FacebookTwitterLinkedInGoogle


Conference Series : Implementation and Application of Functional Languages
 
Link: http://ifl2013.cs.ru.nl/
 
When Aug 28, 2013 - Aug 30, 2013
Where Nijmegen, Netherlands
Submission Deadline Jul 31, 2013
Categories    programming languages
 

Call For Papers

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

Anniversary

We are proud to announce that this year's IFL is the 25th edition of the sequel! It is our pleasure that the 25th edition returns to its roots at the Radboud University Nijmegen, in the Netherlands. For this reason, we want to make it a special event. Details will follow.

Scope

Following the IFL tradition, IFL 2013 uses a post-symposium review process to produce formal proceedings. All participants in IFL 2013 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. Work submitted to IFL must not be submitted simultaneously to other venues; submissions must adhere to ACM SIGPLAN's republication policy.

The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors 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 review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity.

Related Resources

IFL 2019   The 31st symposium on Implementation and Application of Functional Languages
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
VPT 2020   Eighth International Workshop on Verification and Program Transformation
PLDI 2020   Programming Language Design and Implementation
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
PLDI 2019   Programming Language Design and Implementation
PLACES 2020   12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
NSDI 2019   Networked Systems Design and Implementation
ASPLOS 2020   Architectural Support for Programming Languages and Operating Systems