From: IFL 2009 Date: 2009-05-30T01:24:23+09:00 Subject: IFL 2009: Second Call for Papers --=_alternative 005A16A1852575C5_= 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/ ** NEW ** Accomodations information available:=20 http://tltc.shu.edu/blogs/projects/IFL2009/accommodations.html Jane Street Capital has joined IFL 2009 as a sponsor ********* The 21st International Symposium on Implementation and Application of=20 Functional Languages, IFL 2009, will be held=20 for the first time in the USA. The hosting institution is Seton Hall=20 University in South Orange, NJ, USA and the=20 symposium dates are September 23-25, 2009. It is our goal to make IFL a=20 regular event held in the USA and in=20 Europe. The goal of the IFL symposia is to bring together researchers=20 actively engaged in the implementation and=20 application of functional and function-based programming languages. IFL=20 2009 will be a venue for researchers to=20 present and discuss new ideas and concepts, work in progress, and=20 publication-ripe results related to the=20 implementation and application of functional languages and function-based=20 programming. Following the IFL tradition, IFL 2009 will use a post-symposium review=20 process to produce a formal proceedings which=20 will be published by Springer in the Lecture Notes in Computer Science=20 series. All participants in IFL 2009 are=20 invited to submit either a draft paper or an extended abstract describing=20 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 work as well = as 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 FP in Education 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, 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=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 005A16A1852575C5_=--