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=HTML_MESSAGE,LONGWORDS, MAILTO_TO_SPAM_ADDR,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 51C85BB84 for ; Thu, 15 Jan 2009 18:09:30 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjkFALj8bkmVltEVmWdsb2JhbACCQS5YjwYCgTEBAQEBAQgLCgcRrxGGSoYThW4 X-IronPort-AV: E=Sophos;i="4.37,270,1231110000"; d="scan'208";a="19661241" Received: from mta01.shu.edu ([149.150.209.21]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jan 2009 18:09:29 +0100 From: IFL 2009 To: caml-list@yquem.inria.fr, ocaml-biz@orcaware.com Cc: fedora-ocaml-list@redhat.com Subject: IFL 2009: Call for Papers MIME-Version: 1.0 X-Mailer: Lotus Notes Release 7.0.3 September 26, 2007 Message-ID: Sender: Marco T Morazan Date: Thu, 15 Jan 2009 12:09:26 -0500 X-MIMETrack: Serialize by Router on MTA01/SHU(Release 7.0.2FP2|May 14, 2007) at 01/15/2009 12:09:29 PM, Serialize complete at 01/15/2009 12:09:29 PM Content-Type: multipart/alternative; boundary="=_alternative 005E3F708525753F_=" 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 staged:01 lncs:01 findler:01 flatt:01 This is a multipart message in MIME format. --=_alternative 005E3F708525753F_= 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 005E3F708525753F_= Content-Type: text/html; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable
Call for Papers
IFL 2009
Seton Hall University
SOUTH ORANGE, NJ, USA
http://tltc.shu.edu/blogs/projects/IFL2009/


The 21st IFL symposium, IFL 2009, wi= ll be held for the first time in the USA. The hosting institution is Seton Hall
University in South Orange, NJ, USA and the symposium dates are September 23-25, 2009. It is our goal to make IFL a
regular event held in the USA. The g= oal of the IFL symposia is to bring together researchers actively engaged in the
implementation and application of fu= nctional and function-based programming languages. IFL 2009 will be a venue for
researchers to present and discuss n= ew ideas and concepts, work in progress, and publication-ripe results related to
the implementation and application of functional languages and function-based programming.

Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which we
expect to be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are
invited to submit either a draft pap= er or and 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 proceedings dist= ributed at the symposium. Submissions appearing in the draft proceedings are not
peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from
discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These
revised submissions will be reviewed by the program committee using prevailing academic standards to select the best
articles that will appear in the for= mal proceedings.


TOPICS

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

 language concepts
 type checking
 contracts
 compilation techniques
 staged compilation
 runtime function specializatio= n
 runtime code generation
 partial evaluation  
 (abstract) interpretation
 generic programming techniques
 automatic program generation <= /font>
 array processing
 concurrent/parallel programming
 concurrent/parallel program ex= ecution
 functional programming and emb= edded systems
 functional programming and web applications
 functional programming and sec= urity
 novel memory management techni= ques
 runtime profiling and performa= nce measurements
 debugging and tracing
 virtual/abstract machine archi= tectures
 validation and verification of functional programs  
 tools and programming techniqu= es


PAPER SUBMISSIONS

Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to
present them at the symposium. All c= ontributions must be 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 Hall U= niversity.


IMPORTANT DATES

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


PROGRAM COMMITTEE

Peter Achten       &n= bsp;               University of Nijmegen, The Netherlands
Jost Berthold       &= nbsp;               Philipps-Universit=E4t Mar= burg, Germany
Andrew Butterfield     &nb= sp;       University of Dublin, Ireland
Robby Findler       &= nbsp;             Northwestern University, USA
Kathleen Fisher                   AT&T Research, USA
Cormac Flanagan              University of California at Santa Cruz, USA
Matthew Flatt       &= nbsp;                University of Utah, USA
Matthew Fluet       &= nbsp;               Toyota Technological Insti= tute at Chicago, USA
Daniel Friedman                 Indiana University, USA
Andy Gill                                University of Kansas, USA
Clemens Grelck                  University of Amsterdam/Hertfordsh= ire, The Netherlands/UK
Jurriaan Hage       &= nbsp;              Utrecht University, The Netherlands
Ralf Hinze       &nbs= p;                      = ;Oxford University, UK
Paul Hudak       &nbs= p;                   Yale Univers= ity, USA
John Hughes       &nb= sp;                Chalmers University of Technology, Sweden
Patricia Johann                    University of Strathclyde, UK
Yukiyoshi Kameyama     &nb= sp;  University of Tsukuba, Japan
Marco T. Moraz=E1n (Chair)  Set= on 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       &n= bsp;                 Princeton Universit= y, USA
Vikt=F3ria Zs=F3k     &nbs= p;                    E=F6tv=F6s Lo= r=E1nd University, Hungary


PETER LANDIN PRIZE

The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected
by the program committee based on the submissions received for the formal review process. The prize carries a cash award
equivalent to 150 euros.
--=_alternative 005E3F708525753F_=--