IFL 2002 Announcement

Ricardo Pe~na ricardo@sip.ucm.es
Thu, 11 Apr 2002 17:59:23 +0200

(Apologies for multiple postings)


                         IFL 2002
              14th International Workshop on the

                  September 16 - 18, 2002

Important dates

       Registration deadline: July 30th, 2002
       Submission deadline  : August 26th, 2002

       further details      : http://dalila.sip.ucm.es/ifl02

Scope of IFL 2002

The aim of the workshop is to bring together researchers and
users actively engaged in the implementation and application of 
functional programming languages to discuss results and new 
directions of research.

The workshop is intended to 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 of functional or function-based
languages. A not necessarily exhaustive list of topics includes 

       language concepts 
       type checking 
       compilation techniques 
       (abstract) interpretation 
       automatic program generation 
       (abstract) machine architectures 
       array processing 
       concurrent/parallel programming and program execution 
       heap management 
       runtime profiling and performance measurements 
       debugging and tracing 
       verification of functional programs
       tools and programming techniques 

Contributions on applications of functional programming, e.g., in
teaching, or on theoretical work in any of the above areas are also


All attendees are encouraged to submit papers to be published in
the draft proceedings and to give presentations at the workshop.
Submitted papers must be written in English, conform to the LNCS
format (available at: http://www.springer.de/comp/lncs/authors.html)
and not exceed 16 pages.

Papers should be submitted by August 26th as postscript or pdf files
using the submission page of the workshop accessible through

After the workshop, we intend to publish a high-quality subset of
contributions in the Springer LNCS series. All speakers attending the
workshop are invited to submit a paper. Papers for the LNCS proceedings
will be refereed according to normal conference standards.

Ricardo Pe~na          e-mail: ricardo@sip.ucm.es
Departamento Sistemas Informaticos y Programacion
Facultad de Informatica
Universidad Complutense de Madrid, 28040 MADRID
Ph: (+ 34) 91 394 4313    FAX: (+ 34) 91 394 4602