Version française
Home     About     Download     Resources     Contact us    
Browse thread
IFL 2009: Call for Papers and Participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: IFL 2009 <ifl2009@s...>
Subject: IFL 2009: Call for Papers and Participation
<FONT face="Default Sans Serif,Verdana,Arial,Helvetica,sans-serif" size=2><div>Call for Papers and Participation<br>IFL 2009<br>Seton Hall University<br>SOUTH ORANGE, NJ, USA<br><a class="moz-txt-link-freetext" href="http://tltc.shu.edu/blogs/projects/IFL2009/">http://tltc.shu.edu/blogs/projects/IFL2009/</a><br><br>Register at: <a class="moz-txt-link-freetext" href="http://tltc.shu.edu/blogs/projects/IFL2009/registration.html">http://tltc.shu.edu/blogs/projects/IFL2009/registration.html</a><br><br><br>***** NEW *****<br><br>Registration and talk submission extended to August 23, 2009! <br><br><br>***************<br><br><br>The 21st International Symposium on Implementation and Application of Functional Languages, IFL 2009, will be held <br>for the first time in the USA. The hosting institution is Seton Hall University in South Orange, NJ, USA and the <br>symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA and in <br>Europe. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and <br>application of functional and function-based programming languages. IFL 2009 will be a venue for researchers to <br>present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the <br>implementation and application of functional languages and function-based programming.<br><br>Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which <br>will be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are <br>invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. <br>These submissions will be screened by the program committee chair to make sure they are within the scope of IFL and will <br>appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not <br>peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from <br>discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These <br>revised submissions will be reviewed by the program committee using prevailing academic standards to select the best <br>articles that will appear in the formal proceedings.<br><br><br>Invited Speaker:<br><br>&nbsp;&nbsp;&nbsp; Benjamin C. Pierce<br>&nbsp;&nbsp;&nbsp; University of Pennsylvania<br>&nbsp;&nbsp;&nbsp; Talk Title: How To Build Your Own Bidirectional Programming Language<br><br><br>TOPICS<br><br>IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools. <br>If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at <a class="moz-txt-link-abbreviated" href="mailto:ifl2009@shu.edu">ifl2009@shu.edu</a>. Topics of <br>interest include, but are not limited to:<br><br>&nbsp;language concepts <br>&nbsp;type checking <br>&nbsp;contracts<br>&nbsp;compilation techniques <br>&nbsp;staged compilation<br>&nbsp;runtime function specialization<br>&nbsp;runtime code generation <br>&nbsp;partial evaluation&nbsp; <br>&nbsp;(abstract) interpretation <br>&nbsp;generic programming techniques <br>&nbsp;automatic program generation <br>&nbsp;array processing <br>&nbsp;concurrent/parallel programming <br>&nbsp;concurrent/parallel program execution <br>&nbsp;functional programming and embedded systems <br>&nbsp;functional programming and web applications <br>&nbsp;functional programming and security <br>&nbsp;novel memory management techniques <br>&nbsp;runtime profiling and performance measurements <br>&nbsp;debugging and tracing <br>&nbsp;virtual/abstract machine architectures <br>&nbsp;validation and verification of functional programs&nbsp;&nbsp; <br>&nbsp;tools and programming techniques <br>&nbsp;FP in Education<br><br><br>PAPER SUBMISSIONS<br><br>Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to <br>present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series <br>format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Mathematics <br>and Computer Science of Seton Hall University.<br><br><br>IMPORTANT DATES<br><br>Registration deadline&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; August 15, 2009<br>Presentation submission deadline&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; August 15, 2009<br>IFL 2009 Symposium&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; September 23-25, 2009<br>Submission for review process deadline&nbsp; November 1, 2009<br>Notification Accept/Reject&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; December 22, 2009<br>Camera ready version&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; February 1, 2010<br><br><br>PROGRAM COMMITTEE<br><br>Peter Achten&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Nijmegen, The Netherlands<br>Jost Berthold&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Philipps-Universität Marburg, Germany<br>Andrew Butterfield&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Dublin, Ireland<br>Robby Findler&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Northwestern University, USA<br>Kathleen Fisher&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; AT&amp;T Research, USA<br>Cormac Flanagan&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of California at Santa Cruz, USA<br>Matthew Flatt&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Utah, USA<br>Matthew Fluet&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Toyota Technological Institute at Chicago, USA<br>Daniel Friedman&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Indiana University, USA<br>Andy Gill&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Kansas, USA<br>Clemens Grelck&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Amsterdam/Hertfordshire, The Netherlands/UK<br>Jurriaan Hage&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Utrecht University, The Netherlands<br>Ralf Hinze&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Oxford University, UK<br>Paul Hudak&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Yale University, USA<br>John Hughes&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Chalmers University of Technology, Sweden<br>Patricia Johann&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Strathclyde, UK<br>Yukiyoshi Kameyama&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Tsukuba, Japan<br>Marco T. Morazán (Chair)&nbsp; Seton Hall University, USA<br>Rex Page&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Oklahoma, USA<br>Fernando Rubio&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universidad Complutense de Madrid, Spain<br>Sven-Bodo Scholz&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Hertfordshire, UK<br>Manuel Serrano&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; INRIA Sophia-Antipolis, France<br>Chung-chieh Shan&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Rutgers University, USA<br>David Walker&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Princeton University, USA<br>Viktória Zsók&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Eötvös Loránd University, Hungary<br><br><br>PETER LANDIN PRIZE<br><br>The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected <br>by the program committee based on the submissions received for the formal review process. The prize carries a cash award <br>equivalent to 150 euros.<br><br></div></FONT>