From knauel@informatik.uni-tuebingen.de Mon Jun 11 21:52:00 2007 Return-Path: Received: from abbruchco.de ([unix socket]) by h8114.serverkompetenz.net (Cyrus v2.2.12) with LMTPA; Mon, 11 Jun 2007 21:52:00 +0200 X-Sieve: CMU Sieve 2.2 Received: from abbruchco.de (localhost.serverkompetenz.net [127.0.0.1]) by int.abbruchco.de (Postfix) with ESMTP id 9D52C80 for ; Mon, 11 Jun 2007 21:51:56 +0200 (CEST) X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on h8114.serverkompetenz.net X-Spam-Status: No, score=-0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.0 X-Spam-Level: Received: from mx4.informatik.uni-tuebingen.de (mx4.Informatik.Uni-Tuebingen.De [134.2.12.29]) by abbruchco.de (Postfix) with ESMTP id 8D05513 for ; Mon, 11 Jun 2007 21:51:56 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mx4.informatik.uni-tuebingen.de (Postfix) with ESMTP id 6AA77346B for ; Mon, 11 Jun 2007 21:51:56 +0200 (MEST) Received: from mx4.informatik.uni-tuebingen.de ([127.0.0.1]) by localhost (mx4.informatik.uni-tuebingen.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 5XQiZdvEqo-x for ; Mon, 11 Jun 2007 21:51:48 +0200 (MEST) Received: by mx4.informatik.uni-tuebingen.de (Postfix, from userid 5324) id 55C703481; Mon, 11 Jun 2007 21:51:47 +0200 (MEST) X-Original-To: knauel@informatik.uni-tuebingen.de Delivered-To: knauel@informatik.uni-tuebingen.de Received: from localhost (localhost [127.0.0.1]) by mx4.informatik.uni-tuebingen.de (Postfix) with ESMTP id CED6A346E; Mon, 11 Jun 2007 21:51:45 +0200 (MEST) Received: from mx4.informatik.uni-tuebingen.de ([127.0.0.1]) by localhost (mx4.informatik.uni-tuebingen.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id gkxE0Eqe6AkF; Mon, 11 Jun 2007 21:51:45 +0200 (MEST) Received: from www.scsh.net (bernard.Informatik.Uni-Tuebingen.De [134.2.12.122]) by mx4.informatik.uni-tuebingen.de (Postfix) with ESMTP id 995AC345B; Mon, 11 Jun 2007 21:51:44 +0200 (MEST) Received: by www.scsh.net (Postfix, from userid 3123) id 0DFDD5EDE; Mon, 11 Jun 2007 21:51:40 +0200 (MST) Old-Return-Path: X-Original-To: scsh-users@scsh.net Delivered-To: scsh-users@scsh.net Message-ID: <466DA74C.1050906@gasbichler.de> Date: Mon, 11 Jun 2007 21:49:32 +0200 From: Martin Gasbichler User-Agent: Thunderbird 2.0.0.0 (Windows/20070326) MIME-Version: 1.0 To: scsh-users@scsh.net Subject: IFL 2007: Symposium on Implementation and Application of Functional Languages Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: quoted-printable Resent-Message-ID: Resent-From: scsh-users@scsh.net X-Mailing-List: unarchived X-Loop: scsh-users@scsh.net List-Post: List-Help: List-Subscribe: List-Unsubscribe: Precedence: list Resent-Sender: scsh-users-request@scsh.net List-Id: List-Archive: Resent-Date: Mon, 11 Jun 2007 21:51:40 +0200 (MST) X-Spam: no; 0.00; martin:01 gasbichler:01 martin:01 gasbichler:01 ifl:01 2007:01 languages:01 languages:01 ifl:01 2007:01 researchers:99 researchers:99 include:01 checking:01 array:01 X-EJK: scsh Status: RO Content-Length: 4218 Lines: 112 [Sent on behalf of Olaf Chitil] ********************************************************************** 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=E9 de Montr=E9al, Canada Martin Gasbichler Z=FChlke Engineering AG, Switzerland Kevin Hammond University of St. Andrews, Scotland Zolt=E1n Horv=E1th E=F6tv=F6s Lor=E1nd University, Budapest, Hun= gary John Hughes Chalmers University of Technology, Sweden Ken Friis Larsen University of Copenhagen, Denmark Rita Loogen Philipps-Universit=E4t 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=E4t Freiburg, Germany Peter Thiemann Universit=E4t Freiburg, Germany Stefan Wehr Universit=E4t Freiburg, Germany Further Information http://proglang.informatik.uni-freiburg.de/IFL2007/