From: Markus Mohnen
Subject: Invitation to IFL2000
Date: 
Message-ID: <87mqbt$of3$1@cantaloupe.srv.cs.cmu.edu>
This is the first invitation and call for contributions to the


                     12th INTERNATIONAL WORKSHOP
                                on the
                IMPLEMENTATION of FUNCTIONAL LANGUAGES
                              (IFL2000)
=======================================================================

                            to be held at
                             RWTH Aachen
                           Aachen, Germany
              Monday, Sept 4th - Thursday, Sept 7th 2000

               email: ·······@informatik.rwth-aachen.de
           http://www-i2.informatik.rwth-aachen.de/ifl2000
    
Please forward this invitation to anyone who you think might be
interested in attending the workshop.

      
The IFL workshops are 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
programming languages to discuss new results and new directions of
research.

Workshop Topics
---------------

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

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 and not exceed 16
pages. Paper submission will be possible through a web form; the
details will be given at a later date.

The draft proceedings will be published as a Technical Report of the
Computer Science Department of RWTH Aachen.
  
We expect to follow the lead of the three last IFL workshops in
publishing a high-quality subset of contributions in the Springer LNCS
series. All speakers attending the workshop will be invited to submit
a paper. Papers for the LNCS proceedings will be refereed according to
normal conference standards.
  
Dates
-----

            Aug 1 2000: End of Registration
            Aug 7 2000: Submission for Draft Proceedings
Sept 4th-Sept 7th 2000: Workshop
    
Accommodation and Fees
----------------------

Due to pending industrial sponsors, fees and accommodation is not yet
fixed. We estimate that the conference fee including everything will
be about EUR 320,-.
    
Previous IFL Workshops
----------------------
    
Lochem (1999), London (1998), St. Andrews (1997), Bonn (1996),
Bastad (1995), Norwich (1994), Nijmegen (1993), Aachen (1992),
Southampton (1991), Nijmegen (1990), Nijmegen (1989)
    
Location
--------

Aachen is located in the western part of Germany, immediately at the
borders to The Netherlands and Belgium. Like many other German cities,
it was founded by the Romans about 2000 years ago. The Roman name
Aquis Grana comes from the name of the Celtic god of water and healing
Granus and hints at the thermal springs found in Aachen. During the
reign of Charlemagne, it was the capital of the German Empire. In 936,
Aachen became the place of coronation for the Roman Kings of German
Nation, a tradition which lasted for 600 years.  Today, Aachen is a
medium sized town with a beautiful historic town centre.

RWTH Aachen (aka Aachen University of Technology) was founded as a
Polytechnikum in 1870 with considerable support from local
industry. It became a Technische Hochschule (Institute of Technology)
in 1880 and was established in 1948 as Rheinisch-Westfaelische
Technische Hochschule Aachen (RWTH), the Institute of Technology of
the State of Nordrhein-Westfalen in the new Federal Republic of
Germany. In the late 1960s, RWTH expanded into a full university by
the addition of Faculties of Medicine, Humanities and Economics.
      
Organisation
------------
    
Markus Mohnen                  Pieter Koopman                
Lehrstuhl f. Informatik II     Computing Science Institute   
RWTH Aachen                    Nijmegen University           
Germany                        The Netherlands               

Contact Person
--------------
   
Markus Mohnen
Lehrstuhl f. Informatik II
RWTH Aachen
D-52056 Aachen, Germany

Phone: +49-241/80-21240
Fax:   +49-241/8888-217
email: ·······@informatik.rwth-aachen.de
    
	
Further Information
-------------------

Full details of the workshop will be provided at the following URL:

	   http://www-i2.informatik.rwth-aachen.de/ifl2000