posted by user: hossein_haeri || 1987 views || tracked by 7 users: [display]

IFL 2014 : 26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES

FacebookTwitterLinkedInGoogle


Conference Series : Implementation and Application of Functional Languages
 
Link: http://ifl2014.github.io
 
When Oct 1, 2014 - Oct 3, 2014
Where BOSTON, USA
Submission Deadline Sep 1, 2014
Notification Due Sep 5, 2014
Final Version Due Sep 24, 2014
Categories    functional programming   language implementation   language design   semantics
 

Call For Papers

26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL
2014

NORTHEASTERN UNIVERSITY/BOSTON, USA

OCTOBER 1-3, 2014

http://ifl2014.github.io

We are pleased to announce that the 26th edition of the IFL series
will be held at Northeastern University in Boston, USA. The symposium
will be held from 1st to 3rd of October 2014.

Scope
-----

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 2014 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.

Following the IFL tradition, IFL 2014 will use a post-symposium review
process to produce the formal proceedings. All participants of IFL
2014 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:

http://www.sigplan.org/Resources/Policies/Republication

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.

Submission Details
------------------

Submission deadline draft papers: September 1
Notification of acceptance for presentation: September 5
Early registration deadline: September 10
Late registration deadline: September 17
Submission deadline for pre-symposium proceedings: September 24
26th IFL Symposium: October 1-3
Submission deadline for post-symposium proceedings: December 15
Notification of acceptance for post-symposium proceedings: January 31 2015
Camera-ready version for post-symposium proceedings: March 15 2015

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 can be found at:

http://www.acm.org/sigs/sigplan/authorInformation.htm

Topics
------

IFL welcomes submissions describing practical and theoretical work as
well as submissions describing applications and tools in the context
of functional programming. If you are not sure whether your work is
appropriate for IFL 2014, please contact the PC chair at
samth@cs.indiana.edu. Topics of interest include, but are not limited
to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications

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.

Programme committee
-------------------

Sam Tobin-Hochstadt, Indiana University (Chair)
Rinus Plasmeijer, Radboud University Nijmegen (Co-Chair)
Atze Dijkstra, Utrecht University
Colin Runciman, University of York
Graham Hutton, University of Nottingham
Mary Sheeran, Chalmers University of Technology
Patricia Johann, Appalachian State University
Matthew Fluet, Rochester Institute of Technology
Josef Svenningsson, Chalmers University of Technology
Malgorzata Biernacka, University of Wroclaw
Peter Achten, Radboud Univerity Nijmegen
Laura Castro, University of A Coru–a
Hai Paul Liu, Intel Labs
Kathryn Gray, Cambridge University
Lars Bergstrom, Mozilla Research
Lindsey Kuper, Indiana University
Nicolas Wu, Oxford
T. Stephen Strickland, University of Maryland
Xavier Clerc, INRIA


Venue
-----

The 26th IFL will be held in association with the College of Computer
and Information Science at Northeastern University. It can be reached
quickly and easily by public transport.

Related Resources

NSDI 2017   14th USENIX Symposium on Networked Systems Design and Implementation
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
CIAA 2017   22nd International Conference on Implementation and Application of Automata
SEMAPRO 2017   The Eleventh International Conference on Advances in Semantic Processing
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
LSFA 2017   12th Workshop on Logical and Semantic Frameworks, with Applications
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
SERecSys 2017   2nd ICDM Workshop on Semantics-Enabled Recommender Systems
SLE 2017   10th ACM SIGPLAN International Conference on Software Language Engineering
APLAS 2017   15th Asian Symposium on Programming Languages and Systems