TFP 2003
TFP 2003
Fourth symposium on
Trends in Functional Programming

September 11th-12th 2003,
Edinburgh, Scotland

The Symposium on Trends in Functional Programming continues the Scottish Functional Programming Workshop series. These workshops bring together researchers with interests in all aspects of functional programming languages. Papers on all aspects of functional programming are welcomed, be they theoretical, implementation-oriented, or experience papers.

This year's workshop is co-located with the 15th International Workshop on the Implementation of Functional Languages (IFL '03)

Workshop Topics

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

The above list is not exhaustive. Papers on other topics are also welcome.

On-site proceedings

The on-site proceedings of the workshop can be found here.


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. Papers for the Intellect book will be refereed according to normal conference standards. This implies (among other things) that:


Aug 1st 2003: Registration deadline
Aug 22nd 2003: Submission for draft proceedings
Sept 11th - Sept 12th 2003: Workshop
Nov 14th 2003: Submission for referees process
Dec 19th 2003: Notification of acceptance/rejection
Jan 30th 2004: Camera-ready papers due
(PDFLaTeX source, PNG/PDF diagrams, BibTeX databases
required as a Gzipped TAR archive)


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.

Papers should conform to the TFP format and should be submitted as Adobe PDF files by email to the workshop chair, Stephen Gilmore <>.
Previous workshops

The TFP workshop series continues the Scottish Functional Programming Workshop series. The previous SFPW meetings were Stirling (2001), St. Andrews (2000), Stirling (1999).

Program Committee (provisional)

 Stephen Gilmore (Chair) The University of Edinburgh
 Kevin Hammond University of St Andrews
 Bruce McAdam Robert Gordon University
 Hans-Wolfgang Loidl Ludwig-Maximilians-Universität, München
 Greg Michaelson Heriot-Watt University
 John O'Donnell University of Glasgow
 Phil Trinder Heriot-Watt University

IFL and TFP are sponsored this year by the British Computer Society Formal Aspects of Computing Science special interest group. TFP has been supported this year by the Mobile Resource Guarantees project.



Web page maintained by Stephen Gilmore. Last modified: Tue Nov 18 15:32:26 GMT 2003