CfP: IFL'04 16th International Workshop on Implementation and Application of Functional Languages

From: Frank Huch <fhu_at_informatik.uni-kiel.de>
Date: Wed, 14 Jul 2004 18:24:45 +0200

We apologize if you receive multiple copies of this mail.

Please note, that the first deadlines will elapse soon!

 Sincerely,
   Clemens Grelck and Frank Huch
   IFL'04


------------------------------------------------------------------------
        Announcement, Call for Papers and Call for Participation

                               for the

                 16th International Workshop on
   Implementation and Application of Functional Languages (IFL'04)
          September 8th -- 10th, 2004, Luebeck, Germany

          http://www.isp.uni-luebeck.de/ifl04/index.htm
------------------------------------------------------------------------


Scope and Topics
----------------

The IFL workshops form a tradition that has lasted for over a
decade. 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
    - type checking
    - compilation techniques
    - (abstract) interpretation
    - automatic program generation
    - (abstract) machine architectures
    - formal aspects
    - array processing
    - concurrent/parallel programming
    - concurrent/parallel program execution
    - heap management
    - runtime profiling
    - performance measurements
    - debugging and tracing
    - verification
    - tools and programming techniques

Papers on applications demonstrating the suitability of novel ideas in
any of the above areas and contributions on related theoretical work
are also welcome. The change of the workshop name adding the term
"application" is to reflect the broader scope IFL has gained over recent
years.


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

Prospective authors are encouraged to submit papers to be published in
the draft proceedings (published as a technical report of the
Institute of Computer Science and Applied Mathematics of the
University of Kiel) and to give presentations at the workshop. All
contributions must be written in English, conform to the
Springer-Verlag LNCS series format (see:
http://www.springer.de/comp/authors/index.html) and not exceed 16
pages. Papers must be submitted by August 20th as postscript or pdf
files through the workshop web page at
http://www.isp.uni-luebeck.de/ifl04/index.htm.

Following the IFL tradition since 1996, a subset of high-quality
contributions will be published by Springer-Verlag in the well-known
Lecture Notes in Computer Science (LNCS) series. All participants
who gave a presentation at the workshop are invited to submit a
revised version of their paper for the post-workshop proceedings.
They will be refereed by the program committee according to normal
conference standards.


Important Dates
---------------

Jul 15th, 2004 Hotel reservation deadline
Jul 31st, 2004 Registration deadline
Aug 20th, 2004 Submission deadline for draft proceedings
Sep 8th, 2004 Workshop starts in the morning
Sep 9th, 2004 Excursion and banquet dinner
Sep 10th, 2004 Workshop ends in the evening
Sep 11th, 2004 Post-workshop excursion
Oct 29th, 2004 Submission deadline for post-refereeing process
Dec 10th, 2004 Notification of acceptance/rejection
Jan 21st, 2005 Camera-ready papers due


Program Committee
-----------------

Matthias Blume (Toyota Technological Institute, Chicago, USA)
Andrew Butterfield (Trinity College Dublin, Ireland)
Manuel Chakravarty (University of New South Wales,Sydney,Australia)
Clemens Grelck (chair)(University of Luebeck, Germany)
Frank Huch (chair) (University of Kiel, Germany)
Hans-Wolfgang Loidl (Ludwig-Maximilians-University, Munich, Germany)
Frederique Loulergue (University of Paris XII, France)
Simon Marlow (Microsoft Research, Cambridge, UK)
Greg Michaelson (Heriot-Watt University, Edinburgh, UK)
Yolanda Ortega-Mallen (University Complutense of Madrid, Spain)
Rinus Plasmeijer (University of Nijmegen, The Netherlands)
Colin Runciman (University of York, UK)
Peter Thiemann (University of Freiburg, Germany)
Phil Trinder (Heriot-Watt University, Edinburgh, UK)
German Vidal (Technical University of Valencia, Spain)


Workshop Organization
---------------------

Clemens Grelck Frank Huch
Institute of Software Technology Institute of Computer Science
  and Programming Languages and Applied Mathematics
University of Luebeck, Germany University of Kiel, Germany


Further Information
-------------------
Website: http://www.isp.uni-luebeck.de/ifl04/index.htm
E-mail: ifl04_at_isp.uni-luebeck.de

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Jul 15 2004 - 09:05:07 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:06 CEST