Revised submissions

June 20th, 2011

Update: Submission website has been closed as of 25th June.

All TFP authors who presented their work in the symposium are invited to sent updated versions of their submissions. These will we refereed and a subset of them will be accepted for publication in Springer LNCS series.

These updated versions should not exceed 16 pages, including references.

Submission website is open until 24th June for updating papers. Click here for more information.

TFP 2011 Photos

May 26th, 2011

Some pictures from the event have been uploaded to the website.

Link: TFP 2011 Photos

Programme

April 29th, 2011

The programme for the 12th International Symposium on Trends in Functional Programming is now available here.

Submission website

March 23rd, 2011

You can send your full papers or extended abstracts through the Easychair website. Please follow the guidelines provided here.

Update: Submission of new abstracts or papers is closed from April 4. Authors will be able to update their already submitted papers after the acceptance notification date.

Registration and Accommodation

March 4th, 2011

Registration fees have been set. Some hotels offer special rates for TFP attendants. See the Accommodation Page for details.

Call for Papers

December 15th, 2010

The Call for Papers for the TFP 2011 is available as a PDF document and as a Plain Text File.

Invited speaker

December 14th, 2010

In this TFP edition, an invited talk will be given by Neil Mitchell, who finished his PhD thesis on ‘Transformation and Analysis of Functional Programs’ at the University of York, England, and is currently working for the Standard Chartered Bank. The title of the talk is ‘Finding functions from types’, and will be about the Hoogle tool.

Flyer for TFP 2011

September 1st, 2010

A flyer for promotion of the TFP 2011 Symposium is now available here.

Submission dates

September 1st, 2010

Paper submission dates for the TFP 2011 Symposium have been set. See the Important Dates section.

Presentation

June 7th, 2010

The 12th International Symposium on Trends in Functional Programming (TFP’11) will be held at the Faculty of Computer Science of Complutense University of Madrid. It is colocated with the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA’11). This collocation could make such a gathering a very interesting event and will allow researchers from the two communities to exchange ideas.

Symposium organizer: Ricardo Peña (Computing Science Department, Complutense University of Madrid).

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, as a Springer Lecture Notes in Computer Science volume, as they were for the TFP 2010 selected papers.

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, and in Oklahoma (USA) in 2010.  For further general information about TFP please see the TFP homepage .

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:

  • Dependently typed functional programming
  • Validation and verification of functional programs
  • Debugging for functional languages
  • Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc.
  • Functional languages for reasoning about imperative/object-oriented programs
  • Interoperability with imperative programming languages
  • Novel memory management techniques
  • Program transformation techniques
  • Empirical performance studies
  • Abstract/virtual machines and compilers for functional languages
  • New implementation strategies
  • 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 2011 program chair, Ricardo Peña, at tfp2011 at easychair.org.

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.