From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: **** X-Spam-Status: No, score=4.8 required=5.0 tests=AWL,HTML_MESSAGE, HTML_MIME_NO_HTML_TAG,LONGWORDS,MAILTO_TO_SPAM_ADDR,MIME_HTML_ONLY, SPF_SOFTFAIL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 0C9F0BBAF for ; Thu, 13 Aug 2009 16:14:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYGABC8g0qVltEVmWdsb2JhbACCVQGWWhMDgSABAQEBAQgLCgcTqQGIA4hNhBkF X-IronPort-AV: E=Sophos;i="4.43,374,1246831200"; d="scan'208";a="34366063" Received: from smtp.shu.edu (HELO mta01.shu.edu) ([149.150.209.21]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Aug 2009 16:14:15 +0200 Importance: Normal X-Priority: 3 (Normal) In-Reply-To: References: Subject: IFL 2009: Final Call for Papers and Participation MIME-Version: 1.0 From: IFL 2009 Sender: Marco T Morazan To: caml-list@yquem.inria.fr Cc: fedora-ocaml-list@redhat.com Message-ID: Date: Thu, 13 Aug 2009 10:14:12 -0400 X-Mailer: Lotus Domino Web Server Release 7.0.4 March 23, 2009 X-MIMETrack: Serialize by Notes Server on MAIL13A/SHU(Release 7.0.4|March 23, 2009) at 08/13/2009 10:14:12 AM, Serialize complete at 08/13/2009 10:14:12 AM, Itemize by Notes Server on MAIL13A/SHU(Release 7.0.4|March 23, 2009) at 08/13/2009 10:14:12 AM, Serialize by Router on MTA01/SHU(Release 7.0.2FP2|May 14, 2007) at 08/13/2009 10:14:14 AM, Serialize complete at 08/13/2009 10:14:14 AM Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Content-Type: text/html; charset=ISO-8859-1 X-Spam: no; 0.00; compilation:01 staged:01 compilation:01 runtime:01 runtime:01 lncs:01 findler:01 flatt:01 ralf:01 hinze:01 hudak:01 2009:98 2009:98 blogs:98 blogs:98

Call for Papers and Participation
IFL 2009
Seton Hall U= niversity
South Orange, NJ, USA
http://tltc.shu.edu/blog= s/projects/IFL2009/

Register at: h= ttp://tltc.shu.edu/blogs/projects/IFL2009/registration.html


= ***** NEW *****

Registration and talk submission deadline fast appro= aching: August 23, 2009


***************


The 21st Inte= rnational Symposium on Implementation and Application of Functional Languag= es, IFL 2009, will be held
for the first time in the USA. The hosting i= nstitution is Seton Hall University in South Orange, NJ, USA and the
sy= mposium dates are September 23-25, 2009. It is our goal to make IFL a regul= ar 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 <= br>application of functional and function-based programming languages. IFL = 2009 will be a venue for researchers to
present and discuss new ideas a= nd concepts, work in progress, and publication-ripe results related to the =
implementation and application of functional languages and function-bas= ed programming.

Following the IFL tradition, IFL 2009 will use a pos= t-symposium review process to produce a formal proceedings which
will b= e published by Springer in the Lecture Notes in Computer Science series. Al= l participants in IFL 2009 are
invited to submit either a draft paper o= r 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 pro= ceedings distributed at the symposium. Submissions appearing in the draft p= roceedings are not
peer-reviewed publications. After the symposium, aut= hors will be given the opportunity to incorporate the feedback from
dis= cussions at the symposium and will be invited to submit a revised full arct= icle for the formal review process. These
revised submissions will be r= eviewed by the program committee using prevailing academic standards to sel= ect the best
articles that will appear in the formal proceedings.

Invited Speaker:

    Benjamin C. Pierce
&nbs= p;   University of Pennsylvania
    Talk Title:= How To Build Your Own Bidirectional Programming Language


TOPICS=

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

 language concepts
 type checking
 contract= s
 compilation techniques
 staged compilation
 run= time function specialization
 runtime code generation
 par= tial evaluation 
 (abstract) interpretation
 generic= programming techniques
 automatic program generation
 ar= ray processing
 concurrent/parallel programming
 concurre= nt/parallel program execution
 functional programming and embedded= systems
 functional programming and web applications
 fu= nctional programming and security
 novel memory management techniq= ues
 runtime profiling and performance measurements
 debu= gging and tracing
 virtual/abstract machine architectures
&nbs= p;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
pres= ent them at the symposium. All contributions must be written in English, co= nform 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.

<= br>IMPORTANT DATES

Registration deadline    &nbs= p;            &= nbsp; August 23, 2009
Presentation submission deadline   =      August 23, 2009
IFL 2009 Symposium  &= nbsp;           &nbs= p;       September 23-25, 2009
Submission = for review process deadline  November 1, 2009
Notification Accept/R= eject           &nbs= p;  December 22, 2009
Camera ready version    &= nbsp;           &nbs= p;   February 1, 2010


PROGRAM COMMITTEE

Peter A= chten           &nbs= p;  University of Nijmegen, The Netherlands
Jost Berthold &nbs= p;           Philipps-Uni= versit=E4t Marburg, Germany
Andrew Butterfield    &n= bsp;   University of Dublin, Ireland
Robby Findler  =            Northwestern U= niversity, USA
Kathleen Fisher       =     AT&T Research, USA
Cormac Flanagan  &nb= sp;        University of California at S= anta Cruz, USA
Matthew Flatt       &n= bsp;     University of Utah, USA
Matthew Fluet =             Toyota T= echnological Institute at Chicago, USA
Daniel Friedman   =         Indiana University, USA
Andy = Gill            = ;     University of Kansas, USA
Clemens Grelck =            University of = Amsterdam/Hertfordshire, The Netherlands/UK
Jurriaan Hage  &nb= sp;          Utrecht Universit= y, The Netherlands
Ralf Hinze       &= nbsp;        Oxford University, UK
Pa= ul Hudak           &= nbsp;    Yale University, USA
John Hughes  &nbs= p;            Chalme= rs University of Technology, Sweden
Patricia Johann   &nb= sp;       University of Strathclyde, UK
Yu= kiyoshi Kameyama        University of Ts= ukuba, Japan
Marco T. Moraz=E1n (Chair)  Seton Hall University, USA=
Rex Page          &nb= sp;       University of Oklahoma, USA
Fern= ando Rubio           = ; Universidad Complutense de Madrid, Spain
Sven-Bodo Scholz  &= nbsp;       University of Hertfordshire, UKManuel Serrano          = ;  INRIA Sophia-Antipolis, France
Chung-chieh Shan   = ;       Rutgers University, USA
David Walk= er            &= nbsp; Princeton University, USA
Vikt=F3ria Zs=F3k    = ;         E=F6tv=F6s Lor=E1nd Unive= rsity, Hungary


PETER LANDIN PRIZE

The Peter Landin Prize = is awarded to the best paper presented at the symposium every year. The hon= ored article is selected
by the program committee based on the submissi= ons received for the formal review process. The prize carries a cash award =
equivalent to 150 euros.

=