From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id BF16CBB84 for ; Mon, 10 Jul 2006 15:38:50 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k6ADco5X027041 for ; Mon, 10 Jul 2006 15:38:50 +0200 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 PAA21424 for ; Mon, 10 Jul 2006 15:38:49 +0200 (MET DST) Received: from mx3.mail.elte.hu (mx3.mail.elte.hu [157.181.1.138]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k6ADcmXB019563 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 10 Jul 2006 15:38:49 +0200 Received: from mail.inf.elte.hu ([157.181.161.6]) by mx3.mail.elte.hu with esmtp (Exim) id 1FzvyF-0001SA-N2 from for ; Mon, 10 Jul 2006 15:38:44 +0200 Received: from mail.inf.elte.hu (localhost [127.0.0.1]) by mail.inf.elte.hu (Postfix) with SMTP id 06D2451F04 for ; Mon, 10 Jul 2006 15:38:46 +0200 (CEST) Received: by panda.inf.elte.hu (sSMTP sendmail emulation); Mon, 10 Jul 2006 15:38:43 +0200 Date: Mon, 10 Jul 2006 15:38:43 +0200 (CEST) From: HORVATH Zoltan To: caml-list@inria.fr Subject: IFL 2006: Paper submission and registration deadline approaching In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-ELTE-SpamScore: -0.1 X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=-0.1 required=5.9 tests=AWL,BAYES_50 autolearn=no SpamAssassin version=3.0.3 0.0 BAYES_50 BODY: Bayesian spam probability is 40 to 60% [score: 0.5000] -0.1 AWL AWL: From: address is in the auto white-list X-ELTE-VirusStatus: clean X-Miltered: at nez-perce with ID 44B2586A.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44B25868.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; compilers:01 compilation:01 runtime:01 debugging:01 suitability:01 lncs:01 verlag:01 lncs:01 matthias:01 blume:01 ralf:01 hinze:01 loulergue:01 rinus:01 thiemann:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 THIRD ANNOUNCEMENT and CALL FOR PAPERS !!! PAPER SUBMISSION AND REGISTRATION DEADLINE APPROACHING !!! The registration site: http://www.inf.elte.hu/rendezvenyek/ifl/registration.htm ************************************************************** * 18th International Symposium on * * Implementation and Application of Functional Languages * * IFL 2006 * * * * September 4-6, 2006 * * Budapest, Hungary * * http://plc.inf.elte.hu/ifl2006 * * * * Hosted by the * * Department of Programming Languages and Compilers of * * the Faculty of Informatics at Eotvos Lorand University * ************************************************************** --------- IMPORTANT DATES --------- * July 30th 2006 Registration deadline * Aug 4th 2006 Submission deadline for draft proceedings * Oct 24th 2006 Submission deadline for post-refereeing process * Dec 8th 2006 Notification of acceptance/rejection * Jan 31th 2007 Camera-ready papers ---------------------------------------------------------------- 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. IFL becomes symposium from 2006. Topics of interest include, but are not limited to: * language concepts * concurrent/parallel programming * type checking * concurrent/parallel program execution * compilation techniques * heap management * generic programming techniques * runtime profiling * (abstract) interpretation * performance measurements * automatic program generation * debugging and tracing * (abstract) machine architectures * verification * formal aspects * tools and programming techniques * array processing * demos of well working, useable tools and applications in functional languages 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. Prospective authors are encouraged to submit papers to be published in the draft proceedings and to give presentations at the workshop. All contributions must be written in English, conform to the Springer-Verlag LNCS series format. Attendees at IFL'06 will have an opportunity to submit a revised version of their paper for post-workshop reviewing. Selected papers will be published by Springer Verlag in the well-known Lecture Notes in Computer Science (LNCS) Series, as has been a long-standing tradition for the IFL. Programme Committee Matthias Blume Toyota Technological Institute, Chicago, USA Zoran Budimac University of Novi Sad, Serbia Andrew Butterfield Trinity College Dublin, Ireland Ralf Hinze University of Bonn, Germany Zoltan Horvath Eotvos Lorand University, Budapest, Hungary (Chair) Tamas Kozsik Eotvos Lorand University, Budapest, Hungary Hans-Wolfgang Loidl Ludwig-Maximilians-University Munich, Germany Rita Loogen Philipps-University Marburg, Germany Frederic Loulergue University of Orleans, France Simon Marlow Microsoft Research, Cambridge, UK Marco Morazan Seton Hall University, New Jersey, USA Yolanda Ortega-Mallen University Complutense of Madrid, Spain Rinus Plasmeijer Radboud University Nijmegen, The Netherlands Jaroslav Poruban Technical University of Kosice, Slovakia Anna Soos Babes-Bolyai University, Cluj-Napoca, Romania Doaitse Swierstra Utrecht University, The Netherlands Peter Thiemann University of Freiburg, Germany German Vidal Technical University of Valencia, Spain Symposium Organization Zoltan Horvath, Viktoria Zsok Department of Programming Languages and Compilers Faculty of Informatics Eotvos Lorand University, Budapest, Hungary Further information Web-site: http://www.inf.elte.hu/rendezvenyek/ifl/ E-mail: ifl2006@inf.elte.hu