Second Call for Papers: TFP 2007, New York, USA

TFP 2007 tfp2007 at
Sun Dec 31 09:54:24 EST 2006

                        CALL FOR PAPERS     
                Trends in Functional Programming 2007     
                           New York, USA   
                            April 2-4, 2007     

The symposium on Trends in Functional Programming (TFP) is an 
international forum     
for researchers with interests in all aspects of functional programming 
focusing on providing a broad view of current and future trends in 
Programming. It aspires to be a lively environment for presenting the 
research results through acceptance by extended abstracts. A formal 
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 
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 .     

                                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 

        Research Articles        leading-edge, previously unpublished 
research work
        Position Articles        on what new trends should or should not 
        Project Articles        descriptions of recently started new 
        Evaluation Articles        what lessons can be drawn from a 
finished project   
        Overview Articles        summarizing work with respect to a trendy 

Articles must be original and not submitted for simultaneous publication 
to any other     
forum. They may consider any aspect of functional programming: 
implementation-oriented, or more experience-oriented. Applications of 
programming techniques to other languages are also within the scope of the 

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

                                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. 
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   

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.     


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, 
        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, 
        Benjamin C. Pierce        University of Pennsylvania, USA     
        John Reppy                University of Chicago, USA     
        Ulrik P. Schultz                University of Southern Denmark, 
        Clara Segura                Universidad Complutense de Madrid, 
        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     


        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   


        The Department of Mathematics and Computer Science, Seton Hall 

        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
-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Glasgow-haskell-users mailing list