[plt-scheme] CFP IFL 2006, Budapest, Sep 4-6, 2006

From: HORVATH Zoltan (hz at inf.elte.hu)
Date: Mon Feb 13 06:40:08 EST 2006

                        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/

                   		    Hosted by the
                   Department of Programming Languages and Compilers of
                   the Faculty of Informatics at Eötvös Loránd 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.

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 
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 (University 
of Bonn, Germany) Zoltán Horváth        (University Eötvös Loránd, Budapest, 
Hungary) (Chair)
Tamás Kozsik          (University Eötvös Loránd, Budapest, Hungary)
Hans-Wolfgang Loidl   (University Ludwig-Maximilians, Munich, Germany)
Frédéric Loulergue    (University of Orléans, France)
Rita Loogen           (University Philipps, Marburg, Germany)
Simon Marlow          (Microsoft Research, Cambridge, UK)
Marco Morazan         (Seton Hall University, NJ, USA)
Yolanda Ortega-Mallén (University Complutense, Madrid, Spain)
Rinus Plasmeijer      (University of Nijmegen, The Netherlands) Jaroslav 
Poruban      (Technical University of Kosice, Slovakia)
Anna Soós             (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án Horváth, Viktória Zsók
             Department of Programming Languages and Compilers
             Faculty of Informatics
             Eötvös Loránd University, Budapest, Hungary

Further information
             Website: http://plc.inf.elte.hu/ifl2006/
             E-mail:  ifl2006 at inf.elte.hu

Posted on the users mailing list.