[MLton] Trends in functional programming (TFP '07)

Tue Nov 21 07:05:30 PST 2006

[Apologies if you get this message multiple times]

************************************************************************ 
**********************************

                         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/