IFL 2009: Third Call for Papers

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Call for Papers
IFL 2009
Seton Hall University
SOUTH ORANGE, NJ, USA
http://tltc.shu.edu/blogs/projects/IFL2009/


***** NEW *****

Registration is now opened!
Register at: http://tltc.shu.edu/blogs/projects/IFL2009/registration.html


Invited Speaker:

    Benjamin C. Pierce
    University of Pennsylvania
    Talk Title: How To Build Your Own Bidirectional Programming Language


Registration Fee:

          Students: US$325.00
    Non-students: US$375.00

*********


The 21st International Symposium on Implementation and Application of Functional Languages, IFL 2009, will be held
for the first time in the USA. The hosting institution is Seton Hall University in South Orange, NJ, USA and the
symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA and in
Europe. 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 2009 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 2009 will use a post-symposium review process to produce a formal proceedings which
will be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are
invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium.
These 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 arcticle for the formal review process. These
revised submissions will be reviewed by the program committee using prevailing academic standards to select the best
articles that will appear in the formal proceedings.


TOPICS

IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools.
If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at ifl2009@xxxxxxx. Topics of
interest include, but are not limited to:

 language concepts
 type checking
 contracts
 compilation techniques
 staged compilation
 runtime function specialization
 runtime code generation
 partial evaluation 
 (abstract) interpretation
 generic programming techniques
 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
 runtime profiling and performance measurements
 debugging and tracing
 virtual/abstract machine architectures
 validation and verification of functional programs  
 tools and programming techniques
 FP in Education


PAPER SUBMISSIONS

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 Mathematics
and Computer Science of Seton Hall University.


IMPORTANT DATES

Registration deadline                           August 15, 2009
Presentation submission deadline          August 15, 2009
IFL 2009 Symposium                            September 23-25, 2009
Submission for review process deadline  November 1, 2009
Notification Accept/Reject                     December 22, 2009
Camera ready version                           February 1, 2010


PROGRAM COMMITTEE

Peter Achten                University of Nijmegen, The Netherlands
Jost Berthold                Philipps-Universität Marburg, Germany
Andrew Butterfield         University of Dublin, Ireland
Robby Findler                Northwestern University, USA
Kathleen Fisher             AT&T Research, USA
Cormac Flanagan           University of California at Santa Cruz, USA
Matthew Flatt               University of Utah, USA
Matthew Fluet               Rochester Institute of Technology
, USA
Daniel Friedman            Indiana University, USA
Andy Gill                      University of Kansas, USA
Clemens Grelck             University of Amsterdam/Hertfordshire, The Netherlands/UK
Jurriaan Hage                Utrecht University, The Netherlands
Ralf Hinze                     Oxford University, UK
Paul Hudak                    Yale University, USA
John Hughes                  Chalmers University of Technology, Sweden
Patricia Johann               University of Strathclyde, UK
Yukiyoshi Kameyama       University of Tsukuba, Japan
Marco T. Morazán (Chair)  Seton Hall University, USA
Rex Page                       University of Oklahoma, USA
Fernando Rubio               Universidad Complutense de Madrid, Spain
Sven-Bodo Scholz            University of Hertfordshire, UK
Manuel Serrano               INRIA Sophia-Antipolis, France
Chung-chieh Shan           Rutgers University, USA
David Walker                 Princeton University, USA
Viktória Zsók                 Eötvös Loránd University, Hungary


PETER LANDIN PRIZE

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored 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.

_______________________________________________
Fedora-ocaml-list mailing list
Fedora-ocaml-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-ocaml-list

[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [KDE Users]

  Powered by Linux