IFL'03 Call for Papers

[Phil Trinder]

(Apologies for multiple postings)

============================================================

                         IFL 2003
              15th International Workshop on the
            IMPLEMENTATION OF FUNCTIONAL LANGUAGES

                          Edinburgh
                          Scotland
                  September 8th - 10th, 2003
                http://www.macs.hw.ac.uk/~ifl03

=============================================================
Important dates
---------------

       Registration deadline: August       1st, 2003
       Submission deadline  : August      22nd, 2003
       Workshop             : September 8-10th, 2003

=============================================================


Scope of IFL 2003
-----------------

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
welcome. 

This year's workshop is co-located with the 4th International
Symposium on Trends in Functional Programming (TFP'03)
<http://homepages.inf.ed.ac.uk/stg/workshops/ISTFP/>.

Contributions
-------------

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/authors/index.html)
and not exceed 16 pages.

Papers should be submitted by August 22nd as postscript or pdf files
using the submission page of the workshop accessible through
http://www.macs.hw.ac.uk/~ifl03

After the workshop, a high-quality subset of contributions will be
published 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.


Greg Michaelson and Phil Trinder (Organizing Committee Chairs)
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS

E-mail: {greg,trinder}@macs.hw.ac.uk
Teleph: +44 (0)131 451 3435
Depart: +44 (0)131 451 3328
Fasmly: +44 (0)131 451 3327
Intrnt: http://www.macs.hw.ac.uk/~greg
        http://www.macs.hw.ac.uk/~trinder