posted by system || 4121 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

CIAA 2018   23rd International Conference on Implementation and Application of Automata
CGDEIJ 2018   Computer Game Development and Education
ICOOOLPS 2018   International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
IJPLA 2018   International Journal of Programming Languages and Applications
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
FACS 2018   15th International Conference on Formal Aspects of Component Software
ManLang 2018   15th International Conference on Managed Languages & Runtimes
CAIJ 2018   Computer Applications: An International Journal