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.1 required=5.0 tests=AWL 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 32B54BC6B for ; Wed, 6 Jun 2007 11:05:53 +0200 (CEST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5695qc4008822 for ; Wed, 6 Jun 2007 11:05:53 +0200 Received: from [127.0.0.1] (localhost [127.0.0.1]) by yquem.inria.fr (Postfix) with ESMTP id B1EFCBC6B for ; Wed, 6 Jun 2007 11:05:52 +0200 (CEST) Message-ID: <4666788C.7010009@inria.fr> Date: Wed, 06 Jun 2007 11:04:12 +0200 From: Michel Mauny Reply-To: Michel.Mauny@inria.fr Organization: INRIA Rocquencourt User-Agent: Thunderbird 1.5.0.10 (X11/20070301) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Call for papers - IFL 2007 X-Enigmail-Version: 0.94.3.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 466678F0.004 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; mauny:01 mauny:01 freiburg:01 co-located:01 icfp:01 compilation:01 runtime:01 debugging:01 suitability:01 lncs:01 verlag:01 lncs:01 chakravarty:01 ensta:01 sheard:01 ********************************************************************** Announcement and Call for Papers for the 19th International Symposium on Implementation and Application of Functional Languages IFL 2007 27th-29th September 2007, Freiburg, Germany co-located with ICFP 2007 http://proglang.informatik.uni-freiburg.de/IFL2007/ ********************************************************************** The aim of the IFL symposium is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. The symposium provides 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. 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 * 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 welcome. The change of the symposium name adding the term "application", introduced in 2004, reflects the broader scope IFL has gained over the years. Contributions Prospective authors are encouraged to submit papers to be published in the draft proceedings and 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. Every attendee of IFL 2007 will have the opportunity to submit a revised version of their paper for post-symposium reviewing. As in previous years, selected papers will be published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) Series. Important Dates Submission for Draft Proceedings 31 August 2007 Early Registration Deadline 1 September 2007 Symposium 27-29 September 2007 Submission for post-refereeing 2 November 2007 Notification of acceptance / rejection 14 December 2007 Submission of camera-ready version 25 January 2008 Programme Committee Peter Achten Radboud University Nijmegen, The Netherlands Kenichi Asai Ochanomizu University, Japan Manuel Chakravarty The University of New South Wales, Australia Olaf Chitil (chair) University of Kent, UK Martin Erwig Oregon State University, Oregon, USA Marc Feeley Université de Montréal, Canada Martin Gasbichler Zühlke Engineering AG, Switzerland Kevin Hammond University of St. Andrews, Scotland Zoltán Horváth Eötvös Loránd University, Budapest, Hungary John Hughes Chalmers University of Technology, Sweden Ken Friis Larsen University of Copenhagen, Denmark Rita Loogen Philipps-Universität Marburg, Germany Michel Mauny ENSTA, France Sven-Bodo Scholz University of Hertfordshire, UK Clara Segura Universidad Complutense de Madrid, Spain Tim Sheard Portland State University, Oregon, USA Glenn Strong Trinity College, Dublin, Ireland Doaitse Swierstra Utrecht University, The Netherlands Malcolm Wallace The University of York, UK Local Organisation Markus Degen Universität Freiburg, Germany Peter Thiemann Universität Freiburg, Germany Stefan Wehr Universität Freiburg, Germany Further Information http://proglang.informatik.uni-freiburg.de/IFL2007/ -- Michel Mauny ENSTA (+33) 1 4552 5388 (ENSTA) (+33) 1 3963 5796 (INRIA)