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@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! ************************************************************************************ Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/