TFP 2006

Seventh Symposium on

Trends in Functional Programming

University of Nottingham, UK, 19 - 21 April, 2006

Co-located with Types 2006 and the Spring School on Datatype-Generic Programming 2006

Invited Speaker:

Simon Peyton Jones

(Jointly with Types 2006)

The programme is now available!

Arrival Notes for Residential Delegates

The Symposium on Trends in Functional Programming (TFP) 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. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts. A formal post-symposium refereeing process then selects the best papers presented at the symposium for publication in a high-profile volume.

TFP 2006 is going to be held in Nottingham, UK, 19 - 21 April, hosted by the School of Computer Science and Information Technology, the University of Nottingham. Note that this is significantly earlier in the year than past TFPs that generally were held in August - September. TFP 2006 is co-located with Types 2006 (18 - 21 April) and the Spring School on Datatype-Generic Programming (24 - 27 April).

The TFP symposium is the successor to the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh, Scotland in 2003, in Munich, Germany in 2004, and in Tallinn, Estonia in 2005 (co-located with ICFP and GPCE). For further general information about TFP, see

TFP 2006 is an -affiliated event.

Call For Papers (Closed)

TFP submissions 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. See the call for papers for further details, or contact the programme chair.

Acceptance to the symposium is by extended abstracts of between 6 and 10 pages. Accepted abstracts are to be completed to full papers before the symposium for publication in the local symposium proceedings and on-line. Additionally, all TFP authors will be invited to submit revised versions of their TFP contributions for post-symposium publication. These will be reviewed to normal conference standards, and a subset of the best papers over all categories will be selected for publication. Past TFP post-symposium proceedings have been published by Intellect in the series Trends in Functional Programming, and the aim for TFP 2006 is to do the same.

See the call for papers and instructions for authors for further details.


The programme for TFP 2006 is available here. Some details are still to be announced, but for the most part, we do not expect any major changes.

Important Dates

     Deadline for abstract submission:   17 February, 2006
Notification of acceptance: 3 March, 2006
Registration deadline: 17 March, 2006
Camera-ready copy of full paper: 24 March, 2006
TFP Symposium: 19 - 21 April, 2006
Student paper feedback: 31 May, 2006
Submission of papers for post-proceedings: 14 July, 2006
Notification of acceptance: 25 September, 2006


TFP 2006 is co-located with Types 2006 (to be held 18 - 21 April). To take advantage of the synergies offered by these two complementary events, we will invite a number of joint keynote speakers, hold joint sessions on topics of mutual interest, such as dependently typed functional programming, and run common social events. The schedule will be arranged so that participants may freely move between parallel sessions of the two events.

Participants are kindly asked to register for their "main" event. For those participants who are interested, specific co-registration options (e.g. TFP proceedings for Types participants, extra conference days for TFP participants) can be chosen on the registration page of the main event in question.

TFP 2006 and Types 2006 are immediately followed by the Spring School on Datatype-Generic Programming 2006 (24 - 27 April), which should be of direct interest to many of the TFP and Types Participants.

Location and Travel

TFP 2006 will be held on the Jubilee Campus of the University of Nottingham, in The Exchange, right next to the School of Computer Science and IT (campus map). The Jubilee Campus has won many awards for its design and environmental features, and is located close to both the beautiful University Park Main Campus and historical Wollaton Hall and Deer Park. The Nottingham City Centre is just a short bus ride away.

Nottingham is centrally located in the UK, and is easily reachable by all forms of transport, see how to get here. The Jubilee Campus is about 30 minutes by taxi from Nottingham East Midlands airport , which has direct scheduled flights to many European destinations. Those without a direct flight should be able to make the journey with a single change, or may prefer to fly to Birmingham, Manchester, London Stansted or London Heathrow airports and then take the train to Nottingham. If you will be flying to Nottingham please, book your ticket as soon as possible, as most of the carriers are budget airlines whose cheap flights are very popular. Online timetables and booking are available for most flights, via the above links or try amadeus.

Registration and Accommodation

Early registration is closed.

We strongly encourage our participants to stay in university accommodation on the Jubilee Campus, right next to the conference venue, as we believe this will contribute to productive social interaction (campus map). The rooms are modern and have a high standard. Additionally, as the on-campus accommodation includes both breakfast and dinner, the rate is very competitive.

Click here to register.

TFP 2006 is an affiliated event of the project of the European Union, which means that participants from APPSEM sites and subsites can use funds from this project to cover their participation; contact your site leader for further details.

The TFP Organisers are grateful to the APPSEM coordinators for making this possible.

Arrival Notes for Residential Delegates

All residential delegats, i.e. people who have opted for university accommodation, are staying in Newark Hall on the Jubilee Campus (see map). If you are a residential delegate, please make your way to Newark Hall upon your arrival in Nottingham. A member of staff will be on duty until 1 AM to check you in. If you think there is a risk you may arrive really late, after 1 AM, please let us know, and we will try to make suitable arrangements to help you.

Note that dinner is included for residential delegates from the night of your arrival, but please keep the dinner time in mind (see the programme).


     Symposium Chair:   Marko van Eekelen,   Radboud University Nijmegen, NL
Programme Chair: Henrik Nilsson, University of Nottingham, UK
Treasurer: Greg Michaelson, Heriot-Watt University, UK
Local Arrangements: Joel Wright, University of Nottingham, UK

Programme Committee

Kenichi Asai Ochanomizu University
Gilles Barthes INRIA, Sophia Antipolis
Olaf Chitil University of Kent
Catherine Dubois IIE, Evry
Marko van Eekelen Radboud Universiteit Nijmegen
Jeremy Gibbons Oxford University
Kevin Hammond University of St Andrews
Zoltán Horváth Eötvös Loránd University
Frank Huch Christian-Albrechts-University of Kiel
Johan Jeuring Universiteit Utrecht
Greg Michaelson Heriot-Watt University
Henrik Nilsson University of Nottingham
Ricardo Peña Universidad Complutense de Madrid
Morten Rhiger Roskilde University
Colin Runciman University of York
Carsten Schürmann IT University of Copenhagen
Zhong Shao Yale University
Phil Trinder Heriot-Watt University

Last updated 3 May 2006.