[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[pept:48] CfP IFL 2001 call for papers



                         IFL 2001
              13th International Workshop on the
            IMPLEMENTATION OF FUNCTIONAL LANGUAGES

                        Stockholm
                          Sweden
                  September 24 - 26, 2001

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

             Registration deadline 1 August 2001
             Submission deadline  24 August 2001

            http://www.ericsson.se/cslab/ifl2001/
               email: thomas@cslab.ericsson.se

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


Scope of IFL 2001
-----------------

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.


Related event
-------------

The Erlang User Conference will take places on September 27,
directly after IFL and all IFL participants are invited to take
place in this event.


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, and not exceed 16 pages.
Papers should be submitted by August 24 as postscript by email to:
thomas@cslab.ericsson.se

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.


Thomas Arts
Ericsson
Computer Science Laboratory
Box 1505
125 25 Stockholm
Sweden