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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id CB5DEBC69 for ; Mon, 6 Aug 2007 13:17:03 +0200 (CEST) Received: from mx5.kent.ac.uk (mx5.kent.ac.uk [129.12.21.36]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l76BH2fj011244 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 6 Aug 2007 13:17:03 +0200 Received: from hathor.ukc.ac.uk ([129.12.4.12]) by mx5.kent.ac.uk with esmtps (TLSv1:AES256-SHA:256) (Exim 4.62) (envelope-from ) id 1II0Zd-00037u-Da; Mon, 06 Aug 2007 12:16:33 +0100 Received: from myrtle.ukc.ac.uk ([129.12.3.176] ident=exim) by hathor.ukc.ac.uk with esmtps (TLSv1:AES256-SHA:256) (Exim 4.66) (envelope-from ) id 1II0Zd-0006uQ-7e; Mon, 06 Aug 2007 12:16:33 +0100 Received: from myrtle.ukc.ac.uk ([129.12.3.176] ident=oc) by myrtle.ukc.ac.uk with esmtp (Exim 4.66) (envelope-from ) id 1II0Zd-0000L7-0h; Mon, 06 Aug 2007 12:16:33 +0100 Message-ID: <46B70310.2070809@kent.ac.uk> Date: Mon, 06 Aug 2007 12:16:32 +0100 From: Olaf Chitil User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.7.12) Gecko/20060227 X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: IFL 2007: Symposium on Implementation and Application of Functional Languages Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-UKC-Mail-System: No virus detected X-UKC-SpamCheck: X-UKC-MailScanner-From: o.chitil@kent.ac.uk X-Miltered: at concorde with ID 46B7032E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; freiburg:01 co-located:01 icfp:01 compilation:01 runtime:01 suitability:01 lncs:01 verlag:01 lncs:01 chakravarty:01 mauny:01 ensta:01 sheard:01 markus:01 freiburg:01 ********************************************************************** Call for Papers and Participation 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/ ********************************************************************** ==> Submission for Draft Proceedings 31 August 2007 ==> Early Registration & Hotel Deadline 1 September 2007 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 * 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 Hotel 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/