Call For Papers

The IFL workshops form a tradition that has lasted for nearly two decades. The aim of these workshops is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. They provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc. related primarily but not exclusively to the implementation and application of functional languages.

Topics of interest include, but are not limited to:

• language concepts
• concurrent/parallel programming
• type checking
• concurrent/parallel program execution
• compilation techniques
• heap management
• generic programming techniques
• runtime profiling
• (abstract) interpretation
• performance measurements
• automatic program generation
• debugging and tracing
• (abstract) machine architectures
• verification
• formal aspects
• tools and programming techniques
• array processing

Papers on applications demonstrating the suitability of novel ideas in any of the above areas and contributions on related theoretical work are also welcomed. The change of the workshop name adding the term "application", introduced in 2004, is to reflect the broader scope IFL has gained over recent years.

Attendees at IFL'05 will have an opportunity to submit a revised version of their paper for post-workshop reviewing for inclusion in a "selected papers" proceedings which will be published by Springer as part of the Lecture Notes in Computer Science Series, as has been a long-standing tradition for the IFL Workshops.

The proceedings will appear as Volume No. 4015, in the LNCS Series.

This call for papers is also available for download in PostScript and PDF format.