IFL 2013
The 25th symposium on Implementation and Application of Functional Languages
|
IFL 2013The 25th symposium on Implementation and Application of Functional Languages |
|
|
|
|||
| August 28 - 30 2013 - Radboud University Nijmegen - "Landgoed Holthurnsche Hof" - The Netherlands |
 |
 |
Huygens building, Radboud University Nijmegen, Heyendaalseweg 135, Nijmegen |
Venue "Holthurnsche Hof", Zevenheuvelenweg 48a, Berg en Dal |
Quick links |
Call for papers (pdf, txt) | Registration details | Symposium program | Important dates | IFL home |
|---|
Welcome to the website for IFL 2013, the 25th Symposium on Implementation and Application of Functional Languages. IFL 2013 is organized in cooperation with ACM/SIGPLAN. 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 2013 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.
We are proud to announce that IFL 2013 is the 25th edition of the series! It is our pleasure that the 25th edition returns to its roots at the Radboud University Nijmegen in the Netherlands. For this reason, we have organized a 25th IFL reunion in the evening of august 28, starting at 20:00h. The reunion is included in the standard registration fee. It is possible to only register for the reunion. For further information, please check the registration details.
We are honored to have Lennart Augustsson as invited speaker at IFL 2013. Lennart Augustsson was previously a lecturer at the Computing Science Department at Chalmers University of Technology. His research field is functional programming and implementations of functional languages. Augustsson has worked for Carlstedt Research and Technology, Sandburst, and Credit Suisse and is currently employed by Standard Chartered Bank. Lennart Augustsson is the author of:
Title: Implementation and Application of Functional Languages - A personal perspective
Abstract:
It is now over 30 years ago since I implemented my first functional language, and over 15 years ago since I wrote my first commercial application. In this talk I will look back to those bygone days and remind you of things that you might have forgotten or never known. The talk will be absolutely free of anything new.
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 2013 is 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.
Following the IFL tradition, IFL 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted 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. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. 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.
IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools. If you are not sure that your work is appropriate for IFL 2013, please contact the PC chair at rinus AT cs DOT ru DOT nl. Topics of interest include, but are not limited to:
| language concepts | run-time code generation |
| type checking | partial evaluation |
| contracts | (abstract) interpretation |
| compilation techniques | generic programming |
| metaprogramming | automatic program generation |
| staged compilation | array processing |
| run-time function specialization | run-time profiling and performance measurements |
| concurrent/parallel programming | debugging and tracing |
| concurrent/parallel program execution | virtual/abstract machine architectures |
| FP and embedded systems | validation and verification of functional programs |
| FP and web applications | tools and programming techniques |
| FP and security | (industrial) applications of FP |
| novel memory management techniques | ... |
| Submission deadline for draft papers: | July 31 2013 |
| Notification of acceptance for presentation: | August 2 2013 |
| Early registration deadline: | August 7 2013 |
| Late registration deadline: | August 14 2013 |
| Submission deadline for pre-symposium proceedings: | August 21 2013 |
| 25th IFL Symposium: | August 28-30 2013 |
| Submission deadline for post-symposium proceedings: | November 11 2013 |
| Notification of acceptance for post-symposium proceedings: | December 18 2013 |
| Camera-ready version for post-symposium proceedings: | February 3 2014 |
Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a ‘weak’ page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX is found at:
Papers are to be submitted via the conference's EasyChair submission page:
Here you can find the symposium program including links to the symposium submissions (versions as of august 26 2013 + 3 paper updates + 1 presentation swap), links to uploaded presentation slides, and including session chairs.
If your Internet is fast enough, you can download all papers in one go.
|
View Larger Map |
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences.
The long term weather forecast predicts temperatures around 24° Celcius / 75° Fahrenheit with a slim chance (10%-20%) of light showers. |
You need to register separately for the accomodation and the event. Please proceed as follows:
The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to € 150.
page last updated: september 5 2013