From: IFL 2009 Date: 2009-01-16T02:08:48+09:00 Subject: IFL 2009: Call for Papers --=_alternative 005E46638525753F_= Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable Call for Papers=20 IFL 2009 Seton Hall University SOUTH ORANGE, NJ, USA http://tltc.shu.edu/blogs/projects/IFL2009/ The 21st IFL symposium, IFL 2009, will be held for the first time in the=20 USA. The hosting institution is Seton Hall=20 University in South Orange, NJ, USA and the symposium dates are September=20 23-25, 2009. It is our goal to make IFL a regular event held in the USA. The goal of the IFL symposia is to bring=20 together researchers actively engaged in the=20 implementation and application of functional and function-based=20 programming languages. IFL 2009 will be a venue for=20 researchers to present and discuss new ideas and concepts, work in=20 progress, and publication-ripe results related to=20 the implementation and application of functional languages and=20 function-based programming. Following the IFL tradition, IFL 2009 will use a post-symposium review=20 process to produce a formal proceedings which we=20 expect to be published by Springer in the Lecture Notes in Computer=20 Science series. All participants in IFL 2009 are=20 invited to submit either a draft paper or and extended abstract describing = work to be presented at the symposium.=20 These submissions will be screened by the program committee chair to make=20 sure they are within the scope of IFL and will=20 appear in the draft proceedings distributed at the symposium. Submissions=20 appearing in the draft proceedings are not=20 peer-reviewed publications. After the symposium, authors will be given the = opportunity to incorporate the feedback from=20 discussions at the symposium and will be invited to submit a revised full=20 arcticle for the formal review process. These=20 revised submissions will be reviewed by the program committee using=20 prevailing academic standards to select the best=20 articles that will appear in the formal proceedings. TOPICS IFL welcomes submissions describing practical and theoretical as well as=20 submissions describing applications and tools.=20 If you are not sure if your work is appropriate for IFL 2009, please=20 contact the PC chair at ifl2009@shu.edu. Topics of=20 interest include, but are not limited to: language concepts=20 type checking=20 contracts compilation techniques=20 staged compilation runtime function specialization runtime code generation=20 partial evaluation=20 (abstract) interpretation=20 generic programming techniques=20 automatic program generation=20 array processing=20 concurrent/parallel programming=20 concurrent/parallel program execution=20 functional programming and embedded systems=20 functional programming and web applications=20 functional programming and security=20 novel memory management techniques=20 runtime profiling and performance measurements=20 debugging and tracing=20 virtual/abstract machine architectures=20 validation and verification of functional programs=20 tools and programming techniques=20 PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts=20 to be published in the draft proceedings and to=20 present them at the symposium. All contributions must be written in=20 English, conform to the Springer-Verlag LNCS series=20 format and not exceed 16 pages. The draft proceedings will appear as a=20 technical report of the Department of Mathematics=20 and Computer Science of Seton Hall University. IMPORTANT DATES Registration deadline August 15,=20 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 January 15, 2010 PROGRAM COMMITTEE Peter Achten University of Nijmegen, The Netherlands Jost Berthold Philipps-Universit=E4t 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 Toyota Technological Institute at=20 Chicago, 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,=20 Sweden Patricia Johann University of Strathclyde, UK Yukiyoshi Kameyama University of Tsukuba, Japan Marco T. Moraz=E1n (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=F3ria Zs=F3k E=F6tv=F6s Lor=E1nd University, = Hungary PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the=20 symposium every year. The honored article is selected=20 by the program committee based on the submissions received for the formal=20 review process. The prize carries a cash award=20 equivalent to 150 euros. --=_alternative 005E46638525753F_=--