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.6 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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 174FDBC37 for ; Thu, 16 Jul 2009 16:23:20 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQRAD3VXkqVltEVgWdsb2JhbACCKSsBlTUTA4EcAQEWJKdIiA2IT4QLBQ X-IronPort-AV: E=Sophos;i="4.42,411,1243807200"; d="scan'208";a="29899618" Received: from smtp.shu.edu (HELO mta01.shu.edu) ([149.150.209.21]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Jul 2009 16:23:14 +0200 Importance: Normal X-Priority: 3 (Normal) In-Reply-To: References: Subject: IFL 2009: Third Call for Papers 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, 16 Jul 2009 10:23:09 -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 07/16/2009 10:23:09 AM, Serialize complete at 07/16/2009 10:23:09 AM, Itemize by Notes Server on MAIL13A/SHU(Release 7.0.4|March 23, 2009) at 07/16/2009 10:23:09 AM, Serialize by Router on MTA01/SHU(Release 7.0.2FP2|May 14, 2007) at 07/16/2009 10:23:14 AM, Serialize complete at 07/16/2009 10:23: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
IFL 2009
Seton = Hall University
SOUTH ORANGE, NJ, USA
http://tltc.shu.ed= u/blogs/projects/IFL2009/


***** NEW *****

Registratio= n is now opened!
Register at: http://tl= tc.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<= br>    Non-students: US$375.00

*********


T= he 21st International Symposium on Implementation and Application of Functi= onal Languages, IFL 2009, will be held
for the first time in the USA. T= he hosting institution is Seton Hall University in South Orange, NJ, USA an= d 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 implemen= tation and
application of functional and function-based programming lan= guages. IFL 2009 will be a venue for researchers to
present and discuss= new ideas and concepts, work in progress, and publication-ripe results rel= ated to the
implementation and application of functional languages and = function-based programming.

Following the IFL tradition, IFL 2009 wi= ll use a post-symposium review process to produce a formal proceedings whic= h
will be published by Springer in the Lecture Notes in Computer Scienc= e series. All participants in IFL 2009 are
invited to submit either a d= raft paper or an extended abstract describing work to be presented at the s= ymposium.
These submissions will be screened by the program committee c= hair to make sure they are within the scope of IFL and will
appear in t= he draft proceedings distributed at the symposium. Submissions appearing in= the draft proceedings are not
peer-reviewed publications. After the sy= mposium, authors will be given the opportunity to incorporate the feedback = from
discussions at the symposium and will be invited to submit a revis= ed full arcticle for the formal review process. These
revised submissio= ns will be reviewed by the program committee using prevailing academic stan= dards to select the best
articles that will appear in the formal procee= dings.


TOPICS

IFL welcomes submissions describing practic= al and theoretical work as well as submissions describing applications and = tools.
If you are not sure if your work is appropriate for IFL 2009, pl= ease contact the PC chair at ifl2009@shu.edu. Topics of
interest include= , but are not limited to:

 language concepts
 type che= cking
 contracts
 compilation techniques
 staged = compilation
 runtime function specialization
 runtime code = generation
 partial evaluation 
 (abstract) interpre= tation
 generic programming techniques
 automatic program= generation
 array processing
 concurrent/parallel progra= mming
 concurrent/parallel program execution
 functional = programming and embedded systems
 functional programming and web a= pplications
 functional programming and security
 novel m= emory management techniques
 runtime profiling and performance mea= surements
 debugging and tracing
 virtual/abstract machin= e architectures
 validation and verification of functional program= s  
 tools and programming techniques
 FP in Ed= ucation


PAPER SUBMISSIONS

Prospective authors are encoura= ged to submit papers or extended abstracts to be published in the draft pro= ceedings and to
present them at the symposium. All contributions must b= e 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 H= all University.


IMPORTANT DATES

Registration deadline&nbs= p;            &= nbsp;           &nbs= p; August 15, 2009
Presentation submission deadline   &nb= sp;      August 15, 2009
IFL 2009 Symposium&nbs= p;            &= nbsp;           &nbs= p;  September 23-25, 2009
Submission for review process deadline&nb= sp; November 1, 2009
Notification Accept/Reject    &= nbsp;           &nbs= p;    December 22, 2009
Camera ready version  &= nbsp;           &nbs= p;            Februa= ry 1, 2010


PROGRAM COMMITTEE

Peter Achten  &nbs= p;             = University of Nijmegen, The Netherlands
Jost Berthold   &= nbsp;            Phi= lipps-Universit=E4t Marburg, Germany
Andrew Butterfield   = ;      University of Dublin, Ireland
Robby Find= ler            =     Northwestern University, USA
Kathleen Fisher &nb= sp;           AT&T Re= search, USA
Cormac Flanagan       &nb= sp;   University of California at Santa Cruz, USA
Matthew Flat= t            &n= bsp;  University of Utah, USA
Matthew Fluet    =            Rochester Inst= itute of Technology, USA
Daniel Friedman     &= nbsp;      Indiana University, USA
Andy Gill &n= bsp;            = ;        University of Kansas, USA
Cl= emens Grelck          &nb= sp;  University of Amsterdam/Hertfordshire, The Netherlands/UK
Jurr= iaan Hage           =      Utrecht University, The Netherlands
Ralf Hinze&= nbsp;           &nbs= p;        Oxford University, UK
Paul = Hudak           &nbs= p;        Yale University, USA
John H= ughes           &nbs= p;      Chalmers University of Technology, Sweden<= br>Patricia Johann         &nb= sp;     University of Strathclyde, UK
Yukiyoshi Kame= yama       University of Tsukuba, Japan
Ma= rco T. Moraz=E1n (Chair)  Seton Hall University, USA
Rex Page =             &nb= sp;         University of Oklahoma,= USA
Fernando Rubio         = ;      Universidad Complutense de Madrid, SpainSven-Bodo Scholz         &nbs= p;  University of Hertfordshire, UK
Manuel Serrano   = ;            INRIA S= ophia-Antipolis, France
Chung-chieh Shan     &n= bsp;     Rutgers University, USA
David Walker  =             &nb= sp;  Princeton University, USA
Vikt=F3ria Zs=F3k   &= nbsp;           &nbs= p; E=F6tv=F6s Lor=E1nd University, Hungary


PETER LANDIN PRIZE
The Peter Landin Prize is awarded to the best paper presented at the s= ymposium every year. The honored article is selected
by the program com= mittee based on the submissions received for the formal review process. The= prize carries a cash award
equivalent to 150 euros.

=