IFL 2012 - Welcome
Welcome to the website for IFL 2012, the 24th Symposium on Implementation and Application of Functional Languages.
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.
Dates
The symposium dates are 30 August 2012 – 1 September 2012.
News
- 2013-12-20: The conference proceedings have been published as LNCS 8241 and available online.
- 2013-02-07: A list of accepted papers is now online.
- 2012-08-23: Registration is now closed. Contact the organising committee if you want to participate.
- 2012-08-20: Registration closes on the 23rd August, register now!
- 2012-08-02: Preliminary schedule now available.
- 2012-07-16: Registration is now open!
Invited speaker
Fritz Henglein is the invited speaker for IFL 2012. He will be talking about “generic sorting and partitioning in linear time and fully abstractly—simultaneously”.
Venue
This year IFL will be hosted by the University of Oxford, within the idyllic setting of the dreaming spires and picturesque colleges, which have been the home to academic endeavour and research for over nine centuries.
|
|
|
More information can be found on the local information page.
Scope
Following the IFL tradition, IFL 2012 will use a post-symposium review process to produce formal proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series. All participants in IFL 2012 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.
Topics
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 2012, please contact the PC chair at ralf.hinze@cs.ox.ac.uk. Topics of interest include, but are not limited to:
- Language concepts
- Type checking
- Contracts
- Compilation techniques
- Staged compilation
- Run-time function specialization
- Run-time code generation
- Partial evaluation
- (Abstract) interpretation
- Generic programming
- Automatic program generation
- Array processing
- Concurrent/parallel programming
- Concurrent/parallel program execution
- Functional programming and embedded systems
- Functional programming and web applications
- Functional programming and security
- Novel memory management techniques
- Run-time profiling and performance measurements
- Debugging and tracing
- Virtual/abstract machine architectures
- Validation and verification of functional programs
- Tools and programming techniques
- (Industrial) applications of functional programming
Submission details
| Presentation submission deadline: | July 30th, 2012 |
| Notification of acceptance: | August 1st, 2012 |
| Early registration deadline: | August 10th, 2012 |
| IFL 2012 Symposium: | August 30-September 1, 2012 |
| Submission for (post) review process: | November 30th, 2012 |
| Notification Accept/Reject: | February 4th, 2013 |
| Camera ready version: | March 18th, 2013 |
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, conform to the Springer-Verlag LNCS series format and not exceed 16 pages.
The draft proceedings will appear as a technical report of the Department of Computer Science of the University of Oxford.
(We are more liberal with the draft proceedings, where longer papers or SIGPLAN 2 column 12 page papers are acceptable. For other formats please contact the chair at ralf.hinze@cs.ox.ac.uk. For consideration for the final proceedings, only the 16 page LNCS format will be accepted.)
Papers are to be submitted via the conference's EasyChair submission page:
Peter Landin Prize
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 Euros.