From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA07346; Mon, 15 Mar 2004 22:11:01 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA09289 for ; Mon, 15 Mar 2004 22:10:57 +0100 (MET) Received: from sunsvr01.isp.mu-luebeck.de (sunsvr01.isp.mu-luebeck.de [141.83.118.89]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2FLAtHd025914 for ; Mon, 15 Mar 2004 22:10:56 +0100 Received: from localhost (localhost [127.0.0.1]) by sunsvr01.isp.mu-luebeck.de (Postfix) with ESMTP id A661A147EF; Mon, 15 Mar 2004 22:10:54 +0100 (MET) Received: from sunsvr01.isp.mu-luebeck.de ([127.0.0.1]) by localhost (sunsvr01 [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 02416-07; Mon, 15 Mar 2004 22:10:47 +0100 (MET) Received: from isp.uni-luebeck.de (sunclt03 [141.83.118.128]) by sunsvr01.isp.mu-luebeck.de (Postfix) with ESMTP id 6FE46147E2; Mon, 15 Mar 2004 22:10:47 +0100 (MET) Message-ID: <40561BD7.FB56CC@isp.uni-luebeck.de> Date: Mon, 15 Mar 2004 22:10:47 +0100 From: Clemens Grelck Organization: University of Luebeck X-Mailer: Mozilla 4.8C-CCK-MCD [en] (X11; U; SunOS 5.8 sun4u) X-Accept-Language: en, de-DE MIME-Version: 1.0 To: skeletons@inf.ed.ac.uk, haskell@haskell.org, caml-announce@inria.fr, eapls@jiscmail.ac.uk, clean-list@cs.kun.nl, curry@informatik.rwth-aachen.de, sac-list@informatik.uni-kiel.de Subject: [Caml-list] CfP: IFL'04 16th International Workshop on Implementation and Application of Functional Languages References: <3F2FD6F7.D2DBEEF3@isp.uni-luebeck.de> <3F41CED1.F8048C32@isp.uni-luebeck.de> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new at isp.uni-luebeck.de X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; clemens:01 ifl:01 engaged:99 runtime:01 debugging:01 broader:01 ifl:01 lncs:01 springer:01 lncs:01 refereed:01 2004:99 hotel:99 2004:99 2005:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 141 Please apologize of you receive multiple copies. ------------------------------------------------------------------------ Announcement and Call for Papers for the 16th International Workshop on Implementation and Application of Functional Languages (IFL'04) September 8th -- 10th, 2004, Luebeck, Germany ------------------------------------------------------------------------ Scope and Topics ---------------- The IFL workshops form a tradition that has lasted for over a decade. 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 - (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 welcome. The change of the workshop name adding the term "application" 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 Institute of Computer Science and Applied Mathematics of the University of Kiel) and to give presentations at the workshop. All contributions must be written in English, conform to the Springer-Verlag LNCS series format (see: http://www.springer.de/comp/authors/index.html) and not exceed 16 pages. Papers must be submitted by August 20th as postscript or pdf files through the workshop web page at http://www.isp.uni-luebeck.de/ifl04/index.htm. Following the IFL tradition since 1996, we intend to publish a high-quality subset of contributions in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series. All participants who gave a presentation at the workshop are invited to submit a revised version of their paper for the post-workshop proceedings. They will be refereed by the program committee according to normal conference standards. Important Dates --------------- Jul 15th, 2004 Hotel reservation deadline Jul 31st, 2004 Registration deadline Aug 20th, 2004 Submission deadline for draft proceedings Sep 8th, 2004 Workshop starts Oct 29th, 2004 Submission deadline for post-refereeing process Dec 10th, 2004 Notification of acceptance/rejection Jan 21st, 2005 Camera-ready papers due Program Committee ----------------- Matthias Blume (Toyota Technological Institute, Chicago, USA) Andrew Butterfield (Trinity College Dublin, Ireland) Manuel Chakravarty (University of New South Wales,Sydney,Australia) Clemens Grelck (chair)(University of Luebeck, Germany) Frank Huch (chair) (University of Kiel, Germany) Hans-Wolfgang Loidl (Ludwig-Maximilians-University, Munich, Germany) Frederique Loulergue (University of Paris XII, France) Simon Marlow (Microsoft Research, Cambridge, UK) Greg Michaelson (Heriot-Watt University, Edinburgh, UK) Yolanda Ortega-Mallen (University Complutense of Madrid, Spain) Rinus Plasmeijer (University of Nijmegen, The Netherlands) Colin Runciman (University of York, UK) Peter Thiemann (University of Freiburg, Germany) Phil Trinder (Heriot-Watt University, Edinburgh, UK) German Vidal (Technical University of Valencia, Spain) Workshop Organization --------------------- Clemens Grelck Frank Huch Institute of Software Technology Institute of Computer Science and Programming Languages and Applied Mathematics University of Luebeck, Germany University of Kiel, Germany Further Information ------------------- Website: http://www.isp.uni-luebeck.de/ifl04/index.htm E-mail: ifl04@isp.uni-luebeck.de ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners