[clean-list] CALL FOR PAPERS TFP2007

[Marko van Eekelen]

                 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!   

_______________________________________________
TFP-AC mailing list
TFP-AC at list-serve.hw.ac.uk
https://list-serve.hw.ac.uk/mailman/listinfo/tfp-ac