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 18501BB81 for ; Mon, 13 Feb 2006 12:38:06 +0100 (CET) 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 k1DBc55Z021578 for ; Mon, 13 Feb 2006 12:38:05 +0100 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 MAA12244 for ; Mon, 13 Feb 2006 12:38:05 +0100 (MET) Received: from mx2.mail.elte.hu (mx2.mail.elte.hu [157.181.151.9]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k1DBc4vU021568 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 13 Feb 2006 12:38:04 +0100 Received: from mail.inf.elte.hu ([157.181.161.6]) by mx2.mail.elte.hu with esmtp (Exim) id 1F8c1r-0004NW-B4 from for ; Mon, 13 Feb 2006 12:38:03 +0100 Received: from mail.inf.elte.hu (localhost [127.0.0.1]) by mail.inf.elte.hu (Postfix) with SMTP id 3017751F04 for ; Mon, 13 Feb 2006 12:38:03 +0100 (CET) Received: by panda.inf.elte.hu (sSMTP sendmail emulation); Mon, 13 Feb 2006 12:38:01 +0100 Date: Mon, 13 Feb 2006 12:38:01 +0100 (CET) From: HORVATH Zoltan To: caml-list@inria.fr Subject: CFP IFL 2006, Budapest, Sep 4-6, 2006 Message-ID: MIME-Version: 1.0 Content-Type: MULTIPART/Mixed; BOUNDARY="-1247995487-1982092772-1139830625=:18105" Content-ID: X-ELTE-SpamScore: -2.1 X-ELTE-SpamCheck: no X-ELTE-SpamVersion: ELTE 2.0 X-ELTE-SpamCheck-Details: score=-2.1 required=5.9 tests=ALL_TRUSTED,AWL autolearn=no SpamAssassin version=3.0.3 -2.8 ALL_TRUSTED Did not pass through any untrusted hosts 0.7 AWL AWL: From: address is in the auto white-list X-ELTE-VirusStatus: clean X-Miltered: at concorde with ID 43F06F9D.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43F06F9C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; cfp:01 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 X-Attachments: cset="iso-8859-2" 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 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---1247995487-1982092772-1139830625=:18105 Content-Type: TEXT/PLAIN; CHARSET=iso-8859-2; FORMAT=flowed Content-Transfer-Encoding: QUOTED-PRINTABLE Content-ID: Announcement and Call for Papers 18th International Workshop on Implementation and Application of Functional Languages IFL 2006 September 4-6, 2006 Budapest, Hungary http://plc.inf.elte.hu/ifl2006/ =09=09 Hosted by the Department of Programming Languages and Compilers of the Faculty of Informatics at E=F6tv=F6s Lor=E1nd University =09--------- 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 decade= s.=20 The aim of these workshops is to bring together researchers actively engag= ed=20 in the implementation and application of functional and function-bas= ed=20 programming languages. They provide an open forum for researchers who wish = to=20 present and discuss new ideas and concepts, work in progress, prelimina= ry=20 results, etc. related primarily but not exclusively to the implementation a= nd=20 application of functional languages. 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 i= n any=20 of the above areas and contributions on related theoretical work are also= =20 welcomed. The change of the workshop name adding the term "application",=20 introduced in 2004, is to reflect the broader scope IFL has gained over rec= ent=20 years. Prospective authors are encouraged to submit papers to be published in = the=20 draft proceedings and to give presentations at the workshop. All contributions = must=20 be written in English, conform to the Springer-Verlag LNCS series format. Attendees at IFL'06 will have an opportunity to submit a revised= =20 version of their paper for post-workshop reviewing. Selected papers wi= ll=20 be published by Springer Verlag in the well-known Lecture Notes in Compute= r=20 Science (LNCS) Series, as has been a long-standing tradition for the = IFL=20 Workshops. Programme Committee Matthias Blume (Toyota Technological Institute, Chicago, USA) Zoran Budimac (University of Novi Sad, Serbia) Andrew Butterfield (Trinity College Dublin, Ireland) Ralf Hinze (Univers= ity=20 of Bonn, Germany) Zolt=E1n Horv=E1th (University E=F6tv=F6s Lor=E1nd= , Budapest,=20 Hungary) (Chair) Tam=E1s Kozsik (University E=F6tv=F6s Lor=E1nd, Budapest, Hungary) Hans-Wolfgang Loidl (University Ludwig-Maximilians, Munich, Germany) Fr=E9d=E9ric Loulergue (University of Orl=E9ans, France) Rita Loogen (University Philipps, Marburg, Germany) Simon Marlow (Microsoft Research, Cambridge, UK) Marco Morazan (Seton Hall University, NJ, USA) Yolanda Ortega-Mall=E9n (University Complutense, Madrid, Spain) Rinus Plasmeijer (University of Nijmegen, The Netherlands) Jaroslav=20 Poruban (Technical University of Kosice, Slovakia) Anna So=F3s (University Babes-Bolyai, Cluj, Romania) Doaitse Swierstra (University of Utrecht, The Netherlands) Peter Thieman (University of Freiburg, Germany) German Vidal (Technical University of Valencia, Spain) Workshop Organization Zolt=E1n Horv=E1th, Vikt=F3ria Zs=F3k Department of Programming Languages and Compilers Faculty of Informatics E=F6tv=F6s Lor=E1nd University, Budapest, Hungary Further information Website: http://plc.inf.elte.hu/ifl2006/ E-mail: ifl2006@inf.elte.hu ---1247995487-1982092772-1139830625=:18105--