[munich-lisp] First Call for Papers: TFP 2007, New York, USA

Tue Nov 21 14:16:33 UTC 2006

                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! 

************************************************************************************
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://cs.shu.edu/tfp2007/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/munich-lisp/attachments/20061121/fa18496f/attachment.html>