Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
CFP IFL 2006, Budapest, Sep 4-6, 2006
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: HORVATH Zoltan <hz@i...>
Subject: Registration open for IFL 2006, Budapest, Sep 4-6, 2006


                       !!! REGISTRATION IS NOW OPEN !!!

The registration site:

       *                  18th International Symposium on           *
       *   Implementation and Application of Functional Languages   *
       *                          IFL 2006                          *
       *                                                            *
       *                      September 4-6, 2006                   *
       *                       Budapest, Hungary                    *
       *                    *
       *                                                            *
       *                         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