[TYPES/announce] Trends in Functional Programming 2007 -- First Call for Papers

[Patricia Johann]

                        CALL FOR PAPERS
                 Trends in Functional Programming 2007
                                    New York, USA
                                     April 2-4, 2007
                  http://tltc.shu.edu/tfp2007/
                         OR
                  http://cs.shu.edu/tfp2007/


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:

     o Dependently Typed Functional Programming
     o Validation and Verification of Functional Programs
     o Debugging for Functional Languages
     o Functional Programming and Security
     o Functional Programming and Mobility
     o Functional Programming to Animate/Prototype/Implement Systems from
       Formal or Semi-Formal Specifications
     o Functional Languages for Telecommunications Applications
     o Functional Languages for Embedded Systems
     o Functional Programming Applied to Global Computing
     o Functional GRIDs
     o Functional Programming Ideas in Imperative or Object-Oriented
       Settings (and the converse)
     o Interoperability with Imperative Programming Languages
     o Novel Memory Management Techniques
     o Parallel/Concurrent Functional Languages
     o Program Transformation Techniques
     o Empirical Performance Studies
     o Abstract/Virtual Machines and Compilers for Functional Languages
     o New Implementation Strategies
     o 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. Morazan, at tfp2007 at 
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 Submission: February 1, 2007
         Notification of Acceptance: February 20, 2007
         Registration Deadline: March 2, 2007
         Camera Ready Full Paper Due: March 9, 2007
         TFP Symposium: April 2-4, 2007




                                 PROGRAMME COMMITTEE



John Clements             California Polytechnic State University, USA
Marko van Eekelen         Radboud Universiteit Nijmegen, The Netherlands
Benjamin Goldberg         New York University, USA
Kevin Hammond             University of St. Andrews, UK
Patricia Johann           Rutgers University, USA
Hans-Wolfgang Loidl       Ludwig-Maximilians Universit?t M?nchen, Germany
Rita Loogen               Philipps-Universit?t Marburg, Germany
Greg Michaelson           Heriot-Watt University, UK
Marco T. Moraz?n (Chair)  Seton Hall University, USA
Henrik Nilsson            University of Nottingham, UK
Chris Okasaki             United States Military Academy at West Point, USA
Rex Page                  University of Oklahoma, USA
Ricardo Pena              Universidad Complutense de Madrid, Spain
Benjamin C. Pierce        University of Pennsylvania, USA
John Reppy                University of Chicago, USA
Ulrik P. Schultz          University of Southern Denmark, Denmark
Clara Segura              Universidad Complutense de Madrid, Spain
Jocelyn S?rot             Universit? Blaise Pascal, France
Zhong Shao                Yale University, USA
Olin Shivers              Georgia Institute of Technology, USA
Phil Trinder              Heriot-Watt University, UK
David Walker              Princeton University, USA



                 ORGANIZATION


Symposium Chair:        Henrik Nilsson, University of Nottingham, UK
Programme Chair:        Marco T. Morazan, Seton Hall University, USA
Treasurer:              Greg Michaelson, Heriot-Watt University, UK
Local Arrangements:     Marco T. Morazan, Seton Hall University, USA




                                 SPONSORS


The Department of Mathematics and Computer Science, Seton Hall University

The Department of Computer Science, The City College of New York

The Center for Algorithms and Interactive Scientific Software of The City 
College of New York

The Grove School of Engineering of The City College of New York


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. Morazan, or the Symposium Chair, Henrik Nilsson. Your 
students will be grateful!