posted by system || 3893 views || tracked by 15 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

PLDI 2018   Programming Language Design and Implementation
NATP 2017   3rd International Conference on Natural Language Processing
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
IJFCST 2017   International Journal in Foundations of Computer Science & Technology
CCEAI 2018   2018 2nd International Conference on Control Engineering and Artificial Intelligence (CCEAI 2018)
CIAA 2018   23rd International Conference on Implementation and Application of Automata
VMIL 2018   9th Workshop on Virtual Machines and Intermediate Languages (VMIL 2017)
IJESA 2017   International Journal of Embedded Systems and Applications
NSDI 2017   14th USENIX Symposium on Networked Systems Design and Implementation
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation