The 2012 Symposium on Trends in Functional Programming (TFP 2012) will be held at the University of St Andrews on June 12-14, 2012.

The Symposium will be co-located with a number of exciting events including a workshop on 75 Years of Lambda-Calculus, the first International Workshop on Trends in Functional Programming in Education (TFPIE), an Erlang Factory Lite, and the SICSA Summer School on Types and Programming Languages.

TFP 2012 is sponsored by Erlang Solutions Ltd. and the Scottish Informatics and Computer Science Alliance (SICSA)

Key Dates

March 26th, 2012         Submission of draft papers

April 4th, 2012             Acceptance of papers for presentation at the symposium

June 12-14, 2012      Symposium

July 20th, 2012             Submission of revised papers for final proceedings

Sept. 28th, 2012          Notification of acceptance into final proceedings

Oct. 26th, 2012          Camera-ready papers

A Week of Functional Programming in St Andrews!

June 11                    International Workshop on Trends in Functional Programming in Education (TFPIE)

June 12-14               TFP 2012

June 14                    Technical workshop on Patterns for Multicore (ParaPhrase/Release Projects)

June 15                    Erlang Tutorials and Erlang Factory Lite

June 15                    Workshop on 75 Years of Lambda Calculus

Preceded by

June 7-9                  SICSA Summer School on Types and Programming Languages


Registration is now open. Note that we have a limited amount of University accommodation (ensuite) available on a first-come, first-served basis at 55/night. This must be booked by April 11th at the latest, using the residential option of the TFP registration form. This covers the nights of Mon June 11 to Wed June 13 (single occupancy, en-suite, including breakfast). An additional night's accommodation for (Thu June 14) can be booked at the same time. All other accommodation must be booked direct with the provider.

Symposium Objectives

The symposium is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area of functional programming. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below), described in draft papers submitted prior to the symposium. A formal post-symposium refereeing process then selects a subset of the articles presented at the symposium and submitted for formal publication. Following the publications of the TFP 2010 (LNCS 6546) and TFP 2011 proceedings, the refereed proceedings will be published in the Springer Lecture Notes in Computer Science series.

The TFP symposium is the heir of the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh (Scotland) in 2003, in Munich (Germany) in 2004, in Tallinn (Estonia) in 2005, in Nottingham (UK) in 2006, in New York (USA) in 2007, in Nijmegen (The Netherlands) in 2008, in Komarno (Slovakia) in 2009, in Oklahoma (USA) in 2010, and in Madrid (Spain) in 2011.  For further general information about TFP please see the TFP homepage .

Keynote Speaker

The keynote address will be given by Prof. David Turner, Professor emeritus at Middlesex University and at the University of Kent, inventor of Miranda, KRC and SASL, on the history of functional programming languages. David's talk can be found on YouTube . The slides can be found here .

Scope of the Symposium

The symposium recognizes that new trends may arise through various routes. As part of the Symposium’s focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:

Research Articles:

leading-edge, previously unpublished research work

Position Articles:

on what new trends should or should not be

Project Articles:

descriptions of recently started new projects

Evaluation Articles:

what lessons can be drawn from a finished project

Overview Articles:

summarizing work with respect to a trendy subject

Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium.

Articles on the following subject areas are particularly welcome:

  1. Functional programming and multicore/manycore computing

  2. Functional programming in the cloud

  3. High performance functional computing

  4. Extra-functional (behavioural) properties of functional programs

  5. Dependently typed functional programming

  6. Validation and verification of functional programs

  7. Using functional techniques to verify/reason about imperative/object-oriented programs

  8. Debugging for functional languages

  9. Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc.

  10. Interoperability with imperative programming languages

  11. Novel memory management techniques

  12. Program transformation techniques

  13. Empirical performance studies

  14. Abstract/virtual machines and compilers for functional languages

  15. New implementation strategies

  16. Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2012 program chair, Hans-Wolfgang Loidl.

Best Student Paper Award

TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year.

Submissions and Draft Proceedings

Acceptance of articles for presentation at the symposium is based on a lightweight peer review process of extended abstracts (6 to 10 pages in length) or full papers (16 pages). Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings.

The submission must clearly indicate which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. Formatting details and submission procedures will be posted on this site as the submission deadline is approaching.

A selection of revised papers will be published in Springer's Lecture Notes in Computer Science series

The EAPLS Best Paper Award for TFP'12 is sponsored by the European Association for Programming Languages and Systems.

Symposium Organisation

Kevin Hammond              General Chair

Hans-Wolfgang Loidl       Programme Chair

Edwin Brady                    Local Arrangements

Vladimir Janjic

Programme Committee

Peter Achten,                                  Radboud University Nijmegen, The Netherlands

Jost Berthold,                                  University of Copenhagen, Denmark

Edwin Brady,                                  University of St. Andrews, UK

Matthias Blume,                             Google, USA

Clemens Grelck,                             University of Amsterdam, Netherlands

Kevin Hammond,                            University of St. Andrews, UK

Graham Hutton,                              University of Nottingham, UK

Patricia Johann,                              University of Strathclyde

Hans-Wolfgang Loidl (PC Chair),     Heriot-Watt University, UK

Jay McCarthy,                                  Brigham Young University, Utah, USA

Rex Page,                                        University of Oklahoma, USA

Ricardo Peña,                                  Complutense University of Madrid, Spain

Kostis Sagonas,                               Uppsala University, Sweden

Manuel Serrano,                               INRIA Sophia Antipolis, France

Mary Sheeran,                                 Chalmers University, Gøteborg, Sweden

Nikhil Swamy,                                   Microsoft Research, Redmond, USA

Phil Trinder,                                      Heriot-Watt University, UK

Wim A Vanderbauwhede,                University of Glasgow, UK

Marko van Eekelen,                         Radboud University Nijmegen, The Netherlands

David Van Horn,                              Northeastern University, USA

Malcolm Wallace,                            Standard Chartered Bank, UK

Viktoria Zsok,                                 Eötvos Löránd University, Budapest, Hungary

2012 Symposium on Trends in Functional Programming