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=1.2 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 737DABC6B for ; Tue, 13 Mar 2007 17:32:18 +0100 (CET) Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.189]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2DGWHjf031677 for ; Tue, 13 Mar 2007 17:32:18 +0100 Received: by nf-out-0910.google.com with SMTP id a25so1312530nfc for ; Tue, 13 Mar 2007 09:32:17 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=googlemail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=XAV9FNoMlAIm52QznThWB5S6sZWFZCWebLrFba0q98PjXN2UiPCRCQxXw4lzJz56+y3E7L1KFYYjmdhIwsGq+MRxVgYCoi6mg9DSRplqtouZOXZbbj5ScjsE2GIpUphebbaJRWJM/Q1ni910KbyOgSr6d9GY4y7gwAyfrcsZtQQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=beta; h=received:message-id:date:from:reply-to:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=d1oYUGfdsEMGCcvchuXwsUTcgk6fu2ZSBzgnV7mDwVwRfjqHNJtmSBly8vhLdbvap26n+Dt55BFVG6oGyy5LfiOd5JkggVMKee70D38JsTS4twjNidraKFkMEacPDIe685qHvbZieqnrV+fhc5w6rBj234yw1wgw/prYJwhE80E= Received: by 10.78.203.13 with SMTP id a13mr417772hug.1173803536064; Tue, 13 Mar 2007 09:32:16 -0700 (PDT) Received: by 10.78.132.13 with HTTP; Tue, 13 Mar 2007 09:32:16 -0700 (PDT) Message-ID: <53ff55480703130932k5537923aoc7e0100a4967fd3a@mail.gmail.com> Date: Tue, 13 Mar 2007 11:32:16 -0500 From: "Matthew Fluet (ICFP Publicity Chair)" Reply-To: fluet@tti-c.org To: caml-list@inria.fr Subject: ICFP07 Final CFP & Note from the Program Chair MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 45F6D211.002 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 45F6D211.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; icfp:01 icfp:01 cfp:01 freiburg:01 authors':01 cfp:01 reviewer's:01 authors':01 encouraging:01 wadler:01 usepackage:01 2007,:98 07.:98 attitude:98 07.:98 Call for Papers ICFP 2007: International Conference on Functional Programming Freiburg, Germany, 1-3 October 2007 Important Dates ~~~~~~~~~~~~~~~ Submission: 11:00 6 April 2007, Samoa time (AST) Author response: 11:00 23 May to 11:00 25 May 2007 (AST) Notification: 8 June 2007 Final papers due: 20 July 2007 Note from the ICFP07 Program Chair As the April 6 deadline for ICFP approaches, we thought it might be useful to call potential authors' attention to several significant points in the Call for Papers, the full text of which can be found at http://icfp07.eecs.harvard.edu/cfp.html Experience Reports ~~~~~~~~~~~~~~~~~~ This year ICFP is soliciting a new category of paper: the Experience Report. An Experience Report is a short paper of 2--4 pages. Unlike a normal ICFP paper, it is not intended to add to the body of *knowledge* of the functional-programming community. Rather, each Experience Report will add to a body of published, refereed, citable *evidence* that functional programming really works--or will describe obstacles that prevented it from working. Double-blind review ~~~~~~~~~~~~~~~~~~~ A reviewer's attitude toward a submission may be affected, even unconsciously, by the identity of the author. Our reviewers want to be able to approach each submission without such involuntary reactions as ``Peyton Jones; he writes a good paper'' or ``Who are these people? I have never heard of them.'' We especially want to ensure that work submitted by newcomers to our community gets the same careful consideration and scrutiny as the work of our best-known people. We are therefore requesting that authors make it possible for their submissions to be reviewed without forcing the reviewers to know who the authors are. Once all reviews are written, identities will be revealed at the PC meeting. For authors, this process should be simple: * Omit authors' names from your title page (or list them as ``omitted for submission''), and when you cite your own work, please make it difficult to figure out exactly who you are, even if a reviewer might be able to make a good guess. * If your submission is supported by other material, such as a technical report containing lengthy proofs, please do not cite this material on the web---instead, submit a zip file including both your paper and the technical report. Detailed guidelines can be found at http://icfp07.eecs.harvard.edu/blind.html Firm length limit; no appendices ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The 12-page limit (for full papers) and 4-page limit (for Experience Reports) are *firm*. Papers exceeding these limits will be rejected summarily by the program chair. If an author wishes to include an appendix which would put the main submission over the limit, the appendix must be submitted as a separate document, in a zip file with the main submission. It is understood that the reviewers' only obligation is to read the main submission; material beyond the 12-page limit may well go unread. Other details ~~~~~~~~~~~~~ We are encouraging author-date citations (Peyton Jones and Wadler 1993) rather than the default numbered citations [27]. LaTeX users can \usepackage{natbib} and \bibliographystyle{plainnat}. The submission deadline is late morning Samoan time, but in many times zones