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

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:

Glasgow Functional Programming Workshops (1988-1998) (Bibtex)
Scottish Functional Programming Workshops (1999-2001) (Bibtex)
Symposia on Trends in Functional Programming (2003-2009) (Bibtex)
For more recent publications see the direct link to Springer's LNCS pages

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

1st Scottish Functional Programming Workshop
University of Stirling, Bridge of Allan, Scotland
August 29th to September 1st, 1999.
Table of Contents, Bibtex entries for the papers in the proceedings.
2nd Scottish Functional Programming Workshop
University of St Andrews, Scotland,
July 26th to 28th, 2000.
Table of Contents
3rd Scottish Functional Programming Workshop,
University of Stirling, Bridge of Allan, Scotland
August 22nd to 24th, 2001
Table of Contents, Bibtex entries for the papers in the proceedings.
TFP'03 Symposium on Trends in Functional Programming,
Edinburgh, Scotland
September 11th to 12th, 2003
Table of contents, Bibtex.
TFP'04 Symposium on Trends in Functional Programming,
Munich, Germany
November 25-26, 2004
Table of contents, Bibtex
TFP'05 Symposium on Trends in Functional Programming,
Tallinn, Estonia,
September 23-24, 2005
Table of contents, Bibtex.
TFP'06 Symposium on Trends in Functional Programming
Nottingham, England,
April 19-21, 2006.
Table of contents, Bibtex.
TFP'07 Symposium on Trends in Functional Programming
New York City, USA,
April 2-4, 2007.
Table of contents, Bibtex.
TFP'08 Symposium on Trends in Functional Programming
Nijmegen, The Netherlands,
May 26-28, 2008.
Table of contents, Bibtex.
TFP'09 Symposium on Trends in Functional Programming
Komarno, Slovakia, June 2-4 2009,
organised by Eotvos Lorand University of Sciences (ELTE), Budapest.
Table of contents, Bibtex.
TFP'10 Symposium on Trends in Functional Programming
University of Oklahoma, Oklahoma City, USA, May 17-19, 2010.
LNCS 6546, DOI: 10.1007/978-3-642-22941-1.
Table of contents, Bibtex.
TFP'11: Symposium on Trends in Functional Programming
Universidad Complutense de Madrid, Madrid, Spain, May 16-18, 2011.
LNCS 7193, Table of contents
TFP'12: Symposium on Trends in Functional Programming
St Andrews, Scotland, June 12-14, 2012.
LNCS 7829, DOI: 10.1007/978-3-642-40447-4, Table of contents
TFP'13: Symposium on Trends in Functional Programming
Brigham Young University, Utah, May 14-16 2013
PC Chair: Jay McCarthy.
LNCS 8322, DOI: 10.1007/978-3-642-45340-3
TFP14: Fifteenth Symposium on Trends in Functional Programming
Soesterberg, the Netherlands, May 26-28, 2014.
PC Chair: Jurriaan Hage).
LNCS 8843, DOI: 10.1007/978-3-319-14675-1
TFP15: Sixteenth Symposium on Trends in Functional Programming,
Inria Sophia-Antipolis, France, June 3-5, 2015.
PC Chair: Manuel Serrano.
LNCS 9547, DOI: 10.1007/978-3-319-39110-6
TFP16: Seventeenth Symposium on Trends in Functional Programming,
the University of Maryland, MD, USA, June 8-10, 2016.
PC Chair: David van Horn.
LNCS 10447, DOI: 10.1007/978-3-030-14805-8
TFP17: Eighteenth Symposium on Trends in Functional Programming ,
the University of Kent, June 19-22, 2017.
PC Chairs: Scott Owens and Meng Wang.
LNCS 10788, DOI: 10.1007/978-3-319-89719-6
TFP18: Nineteenth Symposium on Trends in Functional Programming,
Chalmers University of Technology, Gothenburg, Sweden, 11-13 June 2018.
PC Chairs: Michal Palka, Magnus Myreen.
LNCS 11457, DOI: 10.1007/978-3-030-18506-0
TFP19: Twentieth Symposium on Trends in Functional Programming, University of British Columbia, Vancouver, Canada, June 12-14, 2019.
PC Chair: Ronald Garcia
LNCS 12053, ISBN 978-3-030-47146-0, DOI: 10.1007/978-3-030-47147-7
TFP20: Twentyfirst Symposium on Trends in Functional Programming (co-located with the Lambda Days) Krakow, 13-14th Februaru, 2020.
PC Chair: John Hughes
LNCS 12222, ISBN 978-3-030-57761-2, DOI: 10.1007/978-3-030-57761-2
TFP21: Trends in Functional Programming (co-located with the Lambda Days), Krakow, 17-19th February, 2021.
PC Chair: Viktória Zsók
LNCS 12834
TFP22: Trends in Functional Programming 17-18 March 2022, Online.
PC chairs: Wouter Swierstra, Nicolas Wu.
LNCS 13401. ISBN : 978-3-031-21313-7.
TFP23: Trends in Functional Programming 12-15 January 2023, UMass Boston, Boston, MA, USA.
PC chair: Stephen Chang.
TFP24: Trends in Functional Programming Seton Hall University, South Orange, NJ, USA, 9-12 January 2024.
PC Chair: Jason Hemann.

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.

International Conference on Functional Programming (ICFP)
The primary conference for researchers in functional programming, a successor to the conferences on Lisp and Functional Programming and on Functional Programming and Computer Architecture, alternating between Europe and the US, and with a number of attached workshops. Please follow this link to the ICFP home.
International Workshop on Implementations of Functional Languages (IFL)
This independent workshop covers a wider ground than its title suggests, being also concerned with applications and some theory. It is geographically located in Europe with an international audience, and publishes in the Springer Verlag LNCS series. Please follow this link to the IFL home.