IFL 2002
14th International Workshop on the
Implementation of Functional Languages
Madrid, Spain
September 16th - 18th, 2002
http://dalila.sip.ucm.es/ifl02/
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.
:
IFL 2003 will take place in Edinburgh. It will be co-located with
TFT 2004
(Fourth international symposium on Trends in Functional Programming)
IFL'02 Poster
Have a look at IFL02 photographs!!
The workshop and the reception wine will take place in the Medicine
Faculty , of the Universidad Complutense
de Madrid. The Medicine Faculty is located just in front of the
underground station Ciudad Universitaria (have a look at the
university map).
Here you
can have a look at the conference room, called room Schüller
Given an address, here you can find
photographs of most of the buildings placed in Madrid.
Tourism
Information , Madrid
public transports including Madrid
underground (the cheapest and fastest way for traveling in Madrid. Have
a look at its map ).
In order to arrive from the airport to the hotels, you can either take a
taxi (15-20 euros) or use the underground (1 euro). In the second case,
we suggest not to buy a single ticket, but one for 10 travels (called metrobus)
whose price is 5 euros. Please, notice that the underground close at 2 in the night. So, it is not recommended to use from the airport after 1, as maybe you could not arrive to your final destination.
On the afternoon of September the 17th, we will visit Segovia, a nice small city in the north-west of Madrid. The main attractions of the city are the
Roman Aqueduct, the Cathedral, the
Alcázar,
and ... the good food. Thus, the excursion will conclude with the workshop dinner in a typical restaurant of the city.
Have a look at the
programme
of the workshop, and also to the list of
participants.
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.
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. Papers should
be written conform to the LNCS
format and should be submitted as postscript (or pdf) by using the
automatic submission page (dealine already finished).
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. This implies (among other things) that:
-
the paper should be written in English
-
the paper is well written
-
topic of the paper should be stated clearly
-
the approach to solve the problem should be outlined clearly
-
a detailed discussion of the solution has to be given
-
the solution is compared with relevant related work
-
there is an abstract, introduction and conclusion.
-
the conclusion should summarise the problem, the solution, and how this
solves the problem.
-
the paper should not exceed 16 pages.
- the paper should
be written conform to the LNCS
format.
- the paper should be submitted as postscript (or pdf) by using the
automatic submission page.
IFL
2001 proceedings already published!. It is volume LNCS
2312 of Springer-Verlag.
| Aug 5th 2002: |
Registration deadline |
| Aug 26th 2002: |
Submission for draft proceedings |
| Sept 16th - Sept 18th 2002: |
Workshop |
| Nov 11th 2002: |
Submission for referees process (Strict deadline) |
| Dec 16th 2002: |
Notification of acceptance/rejection |
| Jan 20th 2003: |
Camera-ready papers |
Registration is over.
Stockholm (2001),
Aachen
(2000),
Lochem (1999),
London (1998), St. Andrews (1997), Bonn
(1996), Bastad (1995), Norwich
(1994), Nijmegen (1993), Aachen (1992), Southampton (1991), Nijmegen
(1990), Nijmegen (1989)
Peter Achten University of Nijmegen, The Netherlands
Thomas Arts (editor) Computer Science Laboratory of Ericcson, Sweden
Olaf Chitil University of York, UK
Marko Van Eekelen University of Nijmegen, The Netherlands
Kevin Hammond University of St Andrews, UK
John Hughes University of Chalmers, Sweden
Rita Loogen Philipps Universitat Marburg, Germany
Greg Michaelson Heriot-Watt University, UK
John O'Donnell University of Glasgow, UK
Ricardo Peña (main editor) Universidad Complutense de Madrid, Spain
Doaitse Swierstra University of Utrecht, The Netherlands
Phil Trinder Heriot-Watt University, UK
Tim Sheard Oregon Graduate Institute, USA
Sven-Bodo Scholz University of Kiel, Germany
