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=0.0 required=5.0 tests=none 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 70380BB84 for ; Tue, 26 Aug 2008 19:29:26 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsgCALbas0jAXQIniGdsb2JhbACSLwEBAQ8gpwkDgWg X-IronPort-AV: E=Sophos;i="4.32,271,1217800800"; d="scan'208";a="14280778" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Aug 2008 19:29:06 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m7QHT6WR010440 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 26 Aug 2008 19:29:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiwBAADas0iTxcgJomdsb2JhbACSLwEBAQEBCAUGCRGnCQOBaA X-IronPort-AV: E=Sophos;i="4.32,271,1217800800"; d="scan'208";a="28520191" Received: from hestia.herts.ac.uk ([147.197.200.9]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Aug 2008 19:29:05 +0200 Received: from [147.197.215.113] (helo=tucana.herts.ac.uk) by hestia.herts.ac.uk with esmtp (Exim 3.22 #1) id 1KY2Ll-00063f-00 for caml-list@inria.fr; Tue, 26 Aug 2008 18:29:01 +0100 Received: from obelix.feis.herts.ac.uk ([147.197.236.7] helo=obelix) by tucana.herts.ac.uk with esmtp (Exim 4.44) id 1KY2Lk-0003KW-QA for caml-list@inria.fr; Tue, 26 Aug 2008 18:29:00 +0100 Date: Tue, 26 Aug 2008 18:29:00 +0100 From: Sven-Bodo Scholz To: caml-list@inria.fr Subject: Final CFP and extended deadline IFL 2008 Message-ID: <20080826172859.GF10945@herts.ac.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.13 (2006-08-11) X-M-UH-MailScanner-Information: UH-M-mail X-UH-MailScanner: No Virus detected X-UH-MailScanner-Information: X-H-UH-MailScanner: No Virus detected X-UH-MailScanner-From: s.scholz@herts.ac.uk X-Miltered: at concorde with ID 48B43D62.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.01; compilation:01 runtime:01 suitability:01 lncs:01 verlag:01 lncs:01 12.:98 engaged:98 12.:98 14.:98 23.:98 2009:98 2009:98 cfp:01 abstract:01 ******************************************************************************** * * FINAL CALL FOR PAPERS -- EXTENDED DEADLINE!! * CALL FOR PARTICIPATION * * 20th International Symposium on the * Implementation and Application of Functional Languages * IFL 2008 * 10-12.Sept 2008, Hatfield UK * * http://events.sac-home.org/ifl2008/ * ******************************************************************************** UPDATED DEADLINES: * Submission for draft proceedings: NOW 1. Sept * Early Registration: NOW 2. Sept Please note, that the draft proceedings do NOT require full papers; extended abstracts will be considered too. ******************************************************************************** The aim of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. They provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc. related primarily but not exclusively to the implementation and application of functional languages. Formal proceedings are produced after the symposium, so that authors can incorporate the feedback from discussions at the symposium in their published papers. Topics ====== Topics of interest include, but are not limited to: * language concepts * type checking * compilation techniques * (abstract) interpretation * generic programming techniques * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * functional programming on embedded systems * functional programming on multi-cores/ many-cores * heap management * runtime profiling * performance measurements * debugging and tracing * (abstract) machine architectures * verification * formal aspects * tools and programming techniques Papers on applications or tools demonstrating the suitability of novel ideas in any of the above areas and contributions on related theoretical work are also welcomed. The change of the symposium name adding the term application, introduced in 2004, is to reflect the broader scope IFL has gained over the years. Paper Submissions ================= Prospective authors are encouraged to submit papers to be published in the draft proceedings and to present them at the symposium. All contributions 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 School of Computer Science of the University of Hertfordshire. Attendees of IFL 2008 will have the opportunity to submit a revised version of their paper for post-symposium reviewing. As in previous years, we hope that selected papers will be published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) Series. The Peter Landin Prize ====================== Since 2002 every year the Peter Landin Prize of 150 GBP is awarded to the best paper presented at the symposium, as selected by the program committee. Important Dates =============== * Submission for draft proceedings: NOW 1. Sept. * Early Registration: NOW 2. Sept. * Symposium: 10-12. September * Submission for post-refereeing: 14. November * Notification of acceptance / rejection: 23. January 2009 * Submission of a camera ready version: 20. February 2009 Contact ======= For further details see or contact us by email: events sac-home.org