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.

Special issues of HOSC and COMLAN have published revised, best papers from TFP instances, most recently COMLAN: Computer Languages, Systems & Structures, Vol. 44 , Part B 2015.

News

NOTE

Next TFP: The next instance of Trends in Functional Programming (TFP25) will be held at Oxford University, U.K., 14-16 January 2025. PC Chair: Jeremy Gibbons.

List of previous TFP instances

The proceedings of TFP will be published in Springer's LNCS series. Proceedings of previous instances have been published as LNCS 9547 (TFP15), LNCS 8843 (TFP14), LNCS 8322 (TFP13), LNCS 7829 (TFP12), 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 high-quality papers is chosen. However papers in the draft proceedings 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.

TFP Best Student Paper

The Trends in Functional Programming (TFP) series is committed to providing a supportive platform for young researchers in the challenging process of publishing their first papers. We firmly believe that the quality of research publications is greatly enhanced by providing constructive feedback and, when necessary, extra guidance to the authors through the various stages of publication. Details on best paper awards are available here.

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. Bibliographic detail of the entire SFP/TFP series is available from this DBLP page.

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