TFP 2005
Sixth Symposium on Trends in Functional Programming

Friday September 23 - Saturday September 24, 2005, Tallinn, Estonia




The 2005 Symposium on Trends in Functional Programming TFP 2005 was co-located with ICFP 2005 and GPCE 2005 in the historic city of Tallinn, Estonia.

The 2005 Symposium on Trends in Functional Programming (TFP '05) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. Previous TFP symposia were held in Edinburgh, Scotland, in 2003, in Munich, Germany in 2004, as successors to the successful series of Scottish Functional Programming Workshops 1999-2001.

TFP aims to combine a lively environment for presenting the latest research results with a formal post-symposium refereeing process leading to the publication by Intellect of a high-profile volume containing a selection of the best papers presented at the symposium. A review of previous TFP proceedings can be found in the July 2003 issue of the Journal of Functional Programming, 13(4):823-824.

Submission to Formal Reviewed Proceedings is closed!

Acceptance to the symposium has been based upon extended abstracts of at least 6 and at most 10 pages. Full papers can be submitted for the symposium proceedings.

·         papers for the formal reviewed symposium proceedings must adhere to the formatting instructions using the tfp05symp.cls style file (for the formal reviewed submission you have to use the book option instead of the tfpsymp option, use no page numbers, submit pdf); papers must not exceed 16 pages.

Continuing the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming submitted papers are refereed to the normal standards and a subset of the best papers will be selected for publication by Intellect, see e.g the third publication of the series:Trends

 in Functional Programming 3.

This implies (among other things) that:

·         the paper is written in English.

·         the paper is well written.

·         the topic of the paper should be stated clearly.

·         the submission should clearly indicate to which paper category it belongs: a research, position, project, evaluation or overview paper; it should also clearly indicate whether the paper is a student paper (i.e. first author is a student).

·         for research papers, the approach to solving the problem should be outlined clearly and a detailed discussion of the solution must be given.

·         the work is properly compared with relevant related work.

·         there is an abstract, introduction and conclusion.

·         for research papers, the conclusion should summarise the problem, the solution, and how the work solves the problem.

·         All categories of papers are required to have technical content.

·         papers submitted for publication by Intellect must conform to formatting and any other instructions provided by the Programme Chair.

Papers will be judged on their contribution to the research area, with different criteria applying to different categories of paper, as appropriate.

Significant Dates

Submission of extended abstracts:                Wednesday 13th July 2005

Notification of acceptance:                             Friday 22th July 2005

Early registration deadline:                             Friday 29th July 2005

Submission of full papers:                              Friday  2nd September 2005 (strict deadline)

Symposium at Tallinn, Estonia:                      Friday 23rd-Saturday 24th Sept. 2005

Feedback to student papers:                          Friday 28th October 2005

Submission for formal proceedings:             Friday 9th December 2005 (strict deadline)

PC-Review deadline:                                      Friday 27th January 2006  (strict deadline)

Online PC-meeting:                                        Monday 30st January 2006 – Wednesday 8th February 2006

Notification of acceptance:                             Friday 10th February 2006

Camera-ready version:                                  Friday 10th March 2006    (strict deadline)

TFP 2006

The next TFPwas in Nottingham early in the year 2006. Check out the web-site of TFP06. TFP2007 will be in New York, organized by Marco Morazan.

TFP05 On-line Pre-review Proceedings, Programme and minutes

It was an inspiring symposium with 47 participants from 4 continents and 13 different countries. In fact we had 9 participants both from England and from The Netherlands, 7 from Estonia, 4 from Denmark and Scotland, 3 from Japan, 2 from Germany, Ireland and the USA and 1 from Australia, France, Poland, Spain and Sweden. If you want to get an impression from what went on you can have a look at the programme, which includes the minutes of the questions.

The on-line proceedings of TFP05 are available for your reference. These are proceedings for which submission was based upon abstract submission. The formal post-conference reviewed proceedings will be published by Intellect in a later stage. More information on the process towards these proceedings can be found near the end of this page.

Best Student Paper Award

TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. The TFP05 best student paper award (i.e. for the best paper with a student as first author) acknowledges more formally the special attention TFP has for students. The 2004 award was given to Ron van Kesteren for the paper entitled: “Proof Support for General Type Classes”.

In order to enhance the quality of student submissions, student papers will be given the option of a feedback on their submission to the symposium proceedings. This feedback is intended for authors who are less familiar with a formal publication process and will provide general qualitative feedback on the submission, but will not give a grade or ranking.

Call For Papers / Submission for Tallinn Proceedings

The third and final call for papers was distributed via email. Submission of abstracts is closed now. Acceptance to the symposium has been based upon extended abstracts. 30 submissions have been accepted. Accepted abstracts are to be completed to full papers for publication in the proceedings that will be available at the symposium in Tallinn. The full workshop papers will have to adhere to the proceedings guidelines as stated below on this page. The submission site is now closed for the full papers for the symposium.


The Symposium recognises that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five categories of paper. High-quality papers are solicited in any of these categories:


leading-edge, previously unpublished research work


on what new trends should or should not be


descriptions of recently started new projects, likely part of a new trend


what lessons can be drawn from a finished project;  how does that influence new trends?


summarizing work that is going on with respect to a trendy subject

Papers must be original, and not submitted for simultaneous publication in any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Also applications of functional programming techniques to other languages may be considered.

Papers on the following new and emerging subject areas are particularly welcome:

·         functional programming and security

·         functional programming and mobility

·         functional programming applied to global computing

·         functional languages for embedded systems

·         telecommunications applications in functional languages

·         functional GRIDs

·         validation and verification of functional programs

·         functional languages for reasoning about imperative/object-oriented programs

·         interoperability with imperative programming languages

·         dependently typed functional programming

·         any new emerging trend in the functional programming area

If you are in doubt on whether your paper is within the scope of TFP, please contact the TFP '05 program chair, Marko van Eekelen,

Registration and Local Information

For all info on the venue of TFP 2005 see the joint local information page with GPCE 2005 and ICFP 2005.

Previous Events

Details of the TFP remit and past symposia may be found at


Symposium chair:                  Kevin Hammond, School of Computer Science, University of St Andrews.

Program chair:                        Marko van Eekelen, Institute for Computing and Information Sciences, Radboud University Nijmegen

Local arrangements chair:      Tarmo Uustalu, Institute of Cybernetics, Tallinn

Treasurer:                               Greg Michaelson, School of Mathematical & Computer Sciences, Heriot-Watt University Edinburgh

Program Committee

Andrew Butterfield,                 Trinity College Dublin

Gaétan Hains,                         Université d'Orleans

Therese Hardin,                      Université Paris VI

Kevin Hammond,                    St Andrews University

John Hughes,                         Chalmers University

Graham Hutton,                      University of Nottingham

Hans-Wolfgang Loidl,             Ludwig-Maximilians-University Munich

Rita Loogen,                            Philipps-University Marburg

Greg Michaelson,                   Heriot-Watt University Edinburgh

John O'Donnell,                      University of Glasgow

Ricardo Peña,                         Universidad Complutense de Madrid

Rinus Plasmeijer,                   Radboud University Nijmegen

Claus Reinke,                         Canterbury, UK

Sven Bodo Scholz,                 University of Hertfordshire

Doaitse Swierstra,                  Utrecht University

Phil Trinder,                             Heriot-Watt University Edinburgh

Tarmo Uustalu,                       Institute of Cybernetics, Tallinn


We are actively looking for additional TFP sponsors, who may help to subsidise attendance by research students, for example. If you or your organization might be willing to sponsor TFP, or if you know someone who might be willing to do so, please do not hesitate to contact the Symposium chair: Kevin Hammond. Your students will be grateful!

Maintained by Marko van Eekelen. Last modified: Wed 21 09 12:05:23 2005