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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id EAECABC0A for ; Thu, 7 Jun 2007 12:52:57 +0200 (CEST) Received: from mx6.kent.ac.uk (mx6.kent.ac.uk [129.12.21.37]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l57AqvlC007150 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 7 Jun 2007 12:52:57 +0200 Received: from apophis.ukc.ac.uk ([129.12.4.11]) by mx6.kent.ac.uk with esmtps (TLSv1:AES256-SHA:256) (Exim 4.62) (envelope-from ) id 1HwFbj-0001xG-4d; Thu, 07 Jun 2007 11:52:47 +0100 Received: from myrtle.ukc.ac.uk ([129.12.3.176] ident=exim) by apophis.ukc.ac.uk with esmtps (TLSv1:AES256-SHA:256) (Exim 4.66) (envelope-from ) id 1HwFbi-0001Rf-VU; Thu, 07 Jun 2007 11:52:47 +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 1HwFbi-0006rT-NU; Thu, 07 Jun 2007 11:52:46 +0100 Message-ID: <4667E37E.5060209@kent.ac.uk> Date: Thu, 07 Jun 2007 11:52:46 +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 discorde with ID 4667E389.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 debugging:01 suitability:01 lncs:01 verlag:01 lncs:01 chakravarty:01 mauny:01 ensta:01 sheard:01 markus: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/