posted by system || 7462 views || tracked by 12 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 2024   The 28th International Conference on Implementation and Application of Automata
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
NSDI 2024   The 21st USENIX Symposium on Networked Systems Design and Implementation
IJPLA 2024   International Journal of Programming Languages and Applications
AIAT--EI 2024   2024 4th International Conference on Artificial Intelligence and Application Technologies (AIAT 2024)
SLE 2025   1st CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
PLDI 2025   The ACM SIGPLAN Conference on Programming Language Design and Implementation