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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 0E495BB84 for ; Sat, 20 May 2006 21:46:29 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4KJkSaw014700 for ; Sat, 20 May 2006 21:46:28 +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 VAA12322 for ; Sat, 20 May 2006 21:46:27 +0200 (MET DST) Received: from mx3.mail.elte.hu (mx3.mail.elte.hu [157.181.1.138]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4KJkQuJ014696 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 20 May 2006 21:46:27 +0200 Received: from mail.inf.elte.hu ([157.181.161.6]) by mx3.mail.elte.hu with esmtp (Exim) id 1FhXP7-0004Us-Pi from for ; Sat, 20 May 2006 21:46:26 +0200 Received: from mail.inf.elte.hu (localhost [127.0.0.1]) by mail.inf.elte.hu (Postfix) with SMTP id 18FB751F04 for ; Sat, 20 May 2006 21:46:26 +0200 (CEST) Received: by panda.inf.elte.hu (sSMTP sendmail emulation); Sat, 20 May 2006 21:46:04 +0200 Date: Sat, 20 May 2006 21:46:04 +0200 (CEST) From: HORVATH Zoltan To: caml-list@inria.fr Subject: Registration open for IFL 2006, Budapest, Sep 4-6, 2006 In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-ELTE-SpamScore: 0.0 X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=0.0 required=5.9 tests=AWL autolearn=no SpamAssassin version=3.0.3 0.0 AWL AWL: From: address is in the auto white-list X-ELTE-VirusStatus: clean X-Miltered: at concorde with ID 446F7214.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 446F7212.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 SECOND ANNOUNCEMENT and CALL FOR PAPERS !!! REGISTRATION IS NOW OPEN !!! 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