seton hall university

TFP 2007 Home

Draft Proceedings

Schedule and Program

Call for Papers
(text version)

Important Dates

Program Committee

Symposium Organization

Submissions

Accomodations

Registration

Participant List

Directions

Contact

. Call for Papers .

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 articles presented at the symposium for publication in a high-profile volume.

TFP 2007 is co-hosted by Seton Hall University and The City College of New York (CCNY) and will be held in New York, USA, April 2-4, 2007 at the CCNY campus.

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 (co-located with IFL), in Munich, Germany in 2004, in Tallinn, Estonia in 2005 (co-located with ICFP and GPCE), and in Nottingham, UK in 2006 (co-located with Types). For further general information about TFP please see the TFP homepage at http://cs.shu.edu/tfp2007.

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 welcomed:

  • Dependently Typed Functional Programming
  • Validation and Verification of Functional Programs
  • Debugging for Functional Languages
  • Functional Programming and Security
  • Functional Programming and Mobility
  • Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications
  • Functional Languages for Telecommunications Applications
  • Functional Languages for Embedded Systems
  • Functional Programming Applied to Global Computing
  • Functional GRIDs
  • Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse)
  • Interoperability with Imperative Programming Languages
  • Novel Memory Management Techniques
  • Parallel/Concurrent Functional Languages
  • 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 2007 program chair, Marco T. Morazán, at tfp2007@shu.edu.

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 prize for the best student paper is awarded each year.

Submission and Draft Proceedings

Acceptance of articles for presentation at the symposium is based on the review of extended abstracts (6 to 10 pages in length) by the program committee. Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings and on-line.

The submission must clearly indicate to 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 can be found at the TFP 2007 website. Submission procedures will be posted on the TFP 2007 website as the submission deadline is reached.

The papers in the draft proceedings will also be made available on-line under the following conditions, with which all authors are asked to agree:

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Post-Symposium Refereeing and Publication

In addition to the draft symposium proceedings, we intend to continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. All TFP authors will be invited to submit revised papers after the symposium. These will be refereed using normal conference standards and a subset of the best papers, over all categories, will be selected for publication. Papers will be judged on their contribution to the research area with appropriate criteria applied to each category of paper.

Student papers will be given extra feedback by the Program Committee in order to assist those unfamiliar with the publication process.

Important Dates

Abstract Submission11:59pm EST on February 1, 2007
Notification of AcceptanceFebruary 20, 2007
Registration Deadline11:59pm EST on March 2, 2007
Camera Ready Full Paper Due11:59pm EST on March 9, 2007
TFP SymposiumApril 2-4, 2007
PC Student Feedback ReportsApril 20, 2007
Review Process Submission Deadline11:59pm EDT on May 4, 2007
Notification of Acceptance/RejectionJune 26, 2007
Camera Ready Papers11:59pm EDT on July 20, 2007

Sponsors

We are actively looking for additional TFP sponsors, who may, for example, help to subsidise attendance by research students. If you or your organisation 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 Program Chair, Marco T. Morazán, or the Symposium Chair, Henrik Nilsson. Your students will be grateful!





The 2007 TFP symposium is made possible, in part, by the generous support of the following sponsors: