Symposium on Trends in Functional Programming

This is the official web-site for the annual Symposium on Trends in Functional Programming (TFP), formerly known as the Scottish Functional Programming Workshop (SFP). TFP is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. It is designed to be a platform for novel and upcoming research, combined with a post-event refereeing process and a formal publication of selected papers as a book. In particular we encourage young researchers to present their work at TFP. In recognition of the extra effort spent in giving polished presentations the programme committee of TFP each year gives out a Best Student Paper award. To learn more about structure, history and directions of the series, see the on-line constitution of TFP, or check out the sections below. In particular, information on individual workshops/symposia can be found here. A review of volumes 1 and 2 of the TFP proceedings can be found in the 2003 issue of the JFP 13(4):823-824. More information on the TFP proceedings, published as books by Intellect, is also available. From TFP10 (LNCS 6546) and TFP11 (LNCS 7193) onwards, the proceedings of TFP will be published in Springer's LNCS series.

News

NOTE

Next TFP: The Fifteenth Symposium on Trends in Functional Programming will be held in Soesterberg, the Netherlands, May 26-28, 2014 (PC Chair: Jurriaan Hage).

The Sixteenth Symposium on Trends in Functional Programming will be held at Inria Sophia-Antipolis, France, in 2015 (PC Chair: Manuel Serrano).

The proceedings of TFP12 will be published as volume 7829 in Springer's LNCS series. Proceedings of previous instances have been published as LNCS 7193 (TFP11) and LNCS 6546 (TFP10).

Check out this facebook page for news about TFP.

History of TFP

Central Scotland has been very influential in the development of functional programming, with notable contributions including the design, development and implementation of SASL, Standard ML and Haskell. At present there are internationally recognised research groups at the University of Edinburgh, University of Glasgow, Heriot-Watt University and the University of St Andrews, investigating a variety of theoretical and practical aspects of functional programming. The Scottish Functional Programming Workshops draw on the strengths of these and other Scottish centres, and are the worthy successor to the highly-successful series of Glasgow Functional Programming Workshops which ran from 1988 to 1998 (Bibtex entries for almost all GlaFP papers).

Scope of the Symposia

The scope of the TFP symposia covers all aspects of functional programming, including but not limited to theory, applications, architectures and implementations, parallel programming and types. TFP is intended to be a venue for publication of papers both describing new research results and identifying new or long-term trends.

Why "Symposium" rather than "Workshop"?

TFP falls somwhere between a workshop and a conference: attendance is open, talk abstracts (but not usually draft papers) are vetted, final papers (submitted after the symposium) are refereed and a selection of publishable papers chosen. However papers are not expected to be as complete or polished as for a conference publication. We feel the "symposium" title describes this middle ground of formality, and reflects our intention to publish a high-quality body of new and leading-edge research.

TFP Steering Committee

The TFP steering committee deals with the long term planning of the series and provides help for each year's programme and local chairs in organising the symposium.

Information for Authors

When preparing a paper for submission to a TFP symposium, please check the call for papers for any style guides and page limits. Since 2010 we are publishing the final proceedings with Springer. Check their information for LNCS authors page to download style files and templates (eg. llncs2e.zip). We recommend to use these style files already for the draft papers to minimise necessary reformatting.

Previous TFP Symposia

Starting with TFP10, proceedings are published by Springer and indexed via the Springer Link pages. Prior to that, proceedings have been published by Intellect, and a list is available via DBLP and more recently at TFP07, TFP08, TFP09.

Lists of all papers in past GlaFP/SFP/TFP Symposia are available here:

Here is a list of links to previous SFP/TFP Symposia and Workshops:

Other Functional Programming Events

This is an incomplete list. In addition to the events listed below, there are also occasional Latin American conferences on functional programming, workshops on languges including Haskell and SML. Functional programming papers are also published at venues including the European Symposium on Programming (ESOP), the ACM Symposium on Principles of Programming Languages (POPL), the ACM Conference on Programming Languages and Implementation (PLDI). Please contact us if your event is not listed here and you would like it to be added.

Some Common Functional Programming Languages