From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 F24A5BC84 for ; Wed, 30 Mar 2005 17:50:15 +0200 (CEST) Received: from mail.cs.tcd.ie (relay.cs.tcd.ie [134.226.32.56]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2UFoFEE004427 for ; Wed, 30 Mar 2005 17:50:15 +0200 Received: from mail.cs.tcd.ie (localhost [127.0.0.1]) by relay.cs.tcd.ie (Postfix) with ESMTP id 59007BDC; Wed, 30 Mar 2005 16:50:15 +0100 (IST) Received: from [127.0.0.1] (pc788.cs.tcd.ie [134.226.47.19]) by mail.cs.tcd.ie (Postfix) with ESMTP id 40FD3BD6; Wed, 30 Mar 2005 16:50:15 +0100 (IST) Message-ID: <424ACAB2.6070206@cs.tcd.ie> Date: Wed, 30 Mar 2005 16:50:11 +0100 From: Andrew Butterfield User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206) X-Accept-Language: en-us, en MIME-Version: 1.0 To: haskell@haskell.org, clean-list@science.ru.nl, caml-list@yquem.inria.fr Subject: IFL'05 - preliminary CFP Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 424ACAB7.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; cfp:01 compilation:01 heap:01 runtime:01 debugging:01 suitability:01 lncs:01 matthias:01 blume:01 loulergue:01 xii:01 val:01 rinus:01 universiteit:01 thiemann:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: [as ever, apologies if you get this more than once] = Preliminary Call for Participation = Announcement and Call for Papers for the 17th International Workshop on the Implementation and Application of Functional Languages (IFL'05) September 19th-21st, 2005, Dublin, Ireland. Website: http://www.cs.tcd.ie/ifl05 E-mail: ifl05@cs.tcd.ie == Scope and Topics == The IFL workshops form a tradition that has lasted for nearly two decades. The aim of these workshops 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. Topics of interest include, but are not limited to * language concepts * type checking * compilation techniques * generic programming techniques * (abstract) interpretation * automatic program generation * (abstract) machine architectures * formal aspects * array processing * concurrent/parallel programming * concurrent/parallel program execution * heap management * runtime profiling * performance measurements * debugging and tracing * verification * tools and programming techniques Papers on applications 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 workshop name adding the term "application", introduced in 2004, is to reflect the broader scope IFL has gained over recent years. == Contributions == Prospective authors are encouraged to submit papers to be published in the draft proceedings (published as a technical report of the Department of Computer Science of the University of Dublin) and to give presentations at the workshop. All contributions must be written in English, conform to the Springer-Verlag LNCS series format, and not exceed 16 pages. http://www.springer.de/comp/authors/index.html or http://www.springeronline.com/ sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html Papers must be submitted by August 26th as postscript or pdf files through the workshop web page at http://www.cs.tcd.ie/ifl05/. All participants who give presentations at the workshop are invited to submit revised versions of their papers for the post-workshop proceedings. They will be refereed by the program committee according to normal conference standards. == Important Dates == * Jul 8th, 2005 Campus Accommodation deadline * Aug 7th, 2005 Registration deadline * Aug 26th, 2005 Submission deadline for draft proceedings * Sep 19th, 2005 Workshop starts in the morning * Sep 20th, 2005 Afternoon excursion and banquet dinner * Sep 21st, 2005 Workshop ends in the evening * Nov 7th, 2005 Submission deadline for post-refereeing process * Dec 16th, 2005 Notification of acceptance/rejection * Feb 3rd, 2006 Camera-ready papers due == Program Committee == * Matthias Blume, Toyota Technological Institute, Chicago, USA * Andrew Butterfield, (Chair) Trinity College Dublin, Ireland. * Clemens Grelck, University of Lubeck, Germany. * Zoltan Horvath, Eotvos Lorand University, Hungary. * Frank Huch, University of Kiel, Germany. * Joe Kiniry, National University of Ireland, Dublin. * Hans-Wolfgang Loidl, University of Munich, Germany. * Frederic Loulergue, University of Paris XII, Val de Marne, France. * Simon Marlow, Microsoft Research, Cambridge, UK * Marco T. Morazan, Seton Hall University, NJ, USA. * Barak Pearlmutter, National University of Ireland, Maynooth. * Rinus Plasmeijer, Radboud Universiteit Nijmegen, Netherlands. * Peter Thiemann, University of Freiburg, Germany. * German Vidal, Technical University of Valencia, Spain. * others to be confirmed == Workshop Organization == Andrew Butterfield, Department of Computer Science, University of Dublin. == Further Information == Website: http://www.cs.tcd.ie/ifl05 E-mail: ifl05@cs.tcd.ie -- ----------------------------------------------------------------------- Andrew Butterfield Tel: +353-1-608-2517 Fax: +353-1-677-2204 Department of Computer Science, O'Reilly Insititute Trinity College, University of Dublin, Ireland. Head of Foundations and Methods Research Group Course Director, B.A. (Mod.) Information & Communications Technology http://www.cs.tcd.ie/Andrew.Butterfield/ -----------------------------------------------------------------------