This is the second 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: [EMAIL PROTECTED]
http://www-i2.informatik.rwth-aachen.de/ifl2000
This invitation is being sent out to participants of previous
workshops and to other researchers who we thought might be
interested. The announcement will also be sent to comp.lang.functional
and other appropriate newsgroups. Please forward 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
* debugging and tracing
* 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.
Special Erlang Session
----------------------
The purpose of this session is to bring together researchers in the
field of functional programming with industrial users on the
programming language Erlang. It will feature talks and demonstrations
of product examples written in Erlang.
This session is sponsored by Ericsson Computer Science Laboratory and
free of charge for the participants. For contributions and more
information contact:
Thomas Arts
Computer Science Lab Phone: +46 8 7273000
�L2/UAB/F/R Fax: +46 8 7275775
Ericsson Utvecklings AB [EMAIL PROTECTED]
Box 1505, SE-125 25 �lvsj�
Sweden
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
should be submitted by email to [EMAIL PROTECTED] and
conform to the LNCS format.
The draft proceedings will be published as a Technical Report of the
Computer Science Department.
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
-----
Jun 27th - Aug 1st 2000:Registration
Aug 7th 2000:Submission for Draft Proceedings
Sept 4th - Sept 7th 2000:Workshop
Fees and Accommodation
----------------------
The workshop fee is EUR 130,- and includes lunch on all days of the
workshop, a copy of the draft proceedings, and a social event.
For accommodation, we have arranged a special discount in the hotel
ibis Aachen Normaluhr, in the centre of Aachen.
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)
Sponsors
--------
IFL2000 is generously sponsored by
Ericsson Eurolab
Deutschland GmbH debis Systemhaus Aachen
The workshop is organised in cooperation with GI Fachgruppe 2.1.4.
Location
--------
The workshop will be held in Schloss Rahe, a 18th century castle in
Aachen-Laurensberg. The castle is now used as business and conference
site.
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
Grannus 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. For
information on how to get to Aachen see the Aachen Tourist Service at
the URL http://www.aachen-tourist.de/.
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-Westf�lische
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.
Registration
------------
Registration is now open through a web form at at the following URL:
http://www-i2.informatik.rwth-aachen.de/ifl2000/register.html
Organisation
------------
Markus Mohnen Pieter Koopman
Lehrstuhl f�r Informatik II Computing Science Institute
RWTH Aachen Nijmegen University
Germany The Netherlands
Contact Person
--------------
Markus Mohnen
Lehrstuhl f�r Informatik II Phone: +49-241/80-21240
RWTH Aachen Fax: +49-241/8888-217
D-52056 Aachen [EMAIL PROTECTED]
Germany
Further Information
-------------------
Full details of the workshop can be found at the following URL:
http://www-i2.informatik.rwth-aachen.de/ifl2000
