TFP 2004
Fifth Symposium on
Trends in Functional Programming


November 25-26th 2004,
Ludwig-Maximilians University, Munich, Germany

Sights of Munich

The Symposium on Trends in Functional Programming is an international forum for researchers with interests in all aspects of functional programming languages. It succeeds TFP03 in Edinburgh and continues the Scottish Functional Programming Workshop series from 1999-2002. Papers on all aspects of functional programming are welcomed, be they theoretical, implementation-oriented, or experience papers. The venue for this year's symposium will be Ludwig-Maximilians University in central Munich.


By unanimous vote the following paper has been selected for the Best Student Paper Award:

Proof Support for General Type Classes, Ron van Kesteren, Marko van Eekelen, Maarten de Mol
The deadline for the camera-ready version of the paper is April 18th, 2005. A list of accepted papers is online now.


Papers on any aspect of functional programming are welcomed. Papers on the following subject areas are particularly welcome:


As with the previous instances of TFP and SFP, we intend to publish a high-quality subset of contributions in the Intellect Trends in Functional Programming series. All speakers attending the workshop are invited to submit a paper for the draft proceedings. Revised papers will be refereed after the symposium according to normal conference standards for publication by Intellect. This implies (among other things) that:

For details on the proceedings, see the proceedings page. The programme for TFP04 is available online.


Registration and Local Information

To register for TFP, please us the TFP04 Registration page. For participants of TFP04 we have reserved rooms in two nearby hotels. You need to contact the hotel directly to book a room for the dates of your stay in Munich. Please, visit the accomodation page for more details.

Details on how to get to the conference venue etc, are posted on the local information page.

Previous Events

The previous instance of TFP was held in Edinburgh 2003 and continues the Scottish Functional Programming Workshop series with previous meetings at Stirling (2001), St. Andrews (2000), and Stirling (1999). The TFP series strives to combine an active workshop environment for presenting latest research, with a formal post-symposium refereeing process and the publication of a high-profile proceedings (see past proceedings). For a review of past TFP proceedings, see the July 2003 issue of the JFP 13(4):823-824 at. Sponsorship funding available to us will be used to reduce registration rates for PhD students, who present proof of affiliation in advance of the symposium.

More details are posted on a separate page about TFP proceedings.

Program Committee



TFP is supported this year by the APPSEM II Thematic Network and the Mobile Resource Guarantees project, funded by the IST programme of the European Union.



Maintained by Hans-Wolfgang Loidl. Last modified: Thu Apr 21 20:36:36 2005 Stardate: [-29]3823.87