<br><font size=2 face="sans-serif">         
      CALL FOR PAPERS </font>
<br><font size=2 face="sans-serif">           
    Trends in Functional Programming 2007 </font>
<br><font size=2 face="sans-serif">           
 New York, USA</font>
<br><font size=2 face="sans-serif">           
  April 2-4, 2007 </font>
<br><font size=2 face="sans-serif">           
<br><font size=2 face="sans-serif">         
<br><font size=2 face="sans-serif">         
<br><font size=2 face="sans-serif">The symposium on Trends in Functional
Programming (TFP) is an international forum </font>
<br><font size=2 face="sans-serif">for researchers with interests in all
aspects of functional programming languages,  </font>
<br><font size=2 face="sans-serif">focusing on providing a broad view of
current and future trends in Functional  </font>
<br><font size=2 face="sans-serif">Programming. It aspires to be a lively
environment for presenting the latest  </font>
<br><font size=2 face="sans-serif">research results through acceptance
by extended abstracts. A formal post-symposium  </font>
<br><font size=2 face="sans-serif">refereeing process then selects the
best articles presented at the symposium for </font>
<br><font size=2 face="sans-serif">publication in a high-profile volume.
<br><font size=2 face="sans-serif">TFP 2007 is co-hosted by Seton Hall
University and The City College of New York (CCNY) </font>
<br><font size=2 face="sans-serif">and will be held in New York, USA, April
2-4, 2007 at the CCNY campus. </font>
<br><font size=2 face="sans-serif">The TFP symposium is the successor to
the successful series of Scottish Functional  </font>
<br><font size=2 face="sans-serif">Programming Workshops. Previous TFP
symposia were held in Edinburgh, Scotland in </font>
<br><font size=2 face="sans-serif">2003 (co-located with IFL), in Munich,
Germany in 2004, in Tallinn, Estonia in 2005  </font>
<br><font size=2 face="sans-serif">(co-located with ICFP and GPCE), and
in Nottingham, UK in 2006  </font>
<br><font size=2 face="sans-serif">(co-located with Types). For further
general information about TFP please see the </font>
<br><font size=2 face="sans-serif">TFP homepage at http://cs.shu.edu/tfp2007/
. </font>
<br><font size=2 face="sans-serif">           
<br><font size=2 face="sans-serif">The symposium recognizes that new trends
may arise through various routes. As part  </font>
<br><font size=2 face="sans-serif">of the Symposium's focus on trends we
therefore identify the following five article  </font>
<br><font size=2 face="sans-serif">categories. High-quality articles are
solicited in any of these categories: </font>
<br><font size=2 face="sans-serif">        Research
Articles        leading-edge, previously unpublished
research work</font>
<br><font size=2 face="sans-serif">        Position
Articles           on what new trends should or
should not be </font>
<br><font size=2 face="sans-serif">        Project
Articles             descriptions of recently
started new projects</font>
<br><font size=2 face="sans-serif">        Evaluation
Articles      what lessons can be drawn from a finished
project </font>
<br><font size=2 face="sans-serif">        Overview
Articles         summarizing work with respect to a
trendy subject </font>
<br><font size=2 face="sans-serif">Articles must be original and not submitted
for simultaneous publication to any other  </font>
<br><font size=2 face="sans-serif">forum. They may consider any aspect
of functional programming: theoretical,  </font>
<br><font size=2 face="sans-serif">implementation-oriented, or more experience-oriented.
Applications of functional  </font>
<br><font size=2 face="sans-serif">programming techniques to other languages
are also within the scope of the symposium. </font>
<br><font size=2 face="sans-serif">Articles on the following subject areas
are particularly welcomed:</font>
<br><font size=2 face="sans-serif">    o Dependently Typed Functional
Programming </font>
<br><font size=2 face="sans-serif">    o Validation and Verification
of Functional Programs</font>
<br><font size=2 face="sans-serif">    o Debugging for Functional
Languages </font>
<br><font size=2 face="sans-serif">    o Functional Programming
and Security </font>
<br><font size=2 face="sans-serif">    o Functional Programming
and Mobility </font>
<br><font size=2 face="sans-serif">    o Functional Programming
to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications</font>
<br><font size=2 face="sans-serif">    o Functional Languages
for Telecommunications Applications </font>
<br><font size=2 face="sans-serif">    o Functional Languages
for Embedded Systems </font>
<br><font size=2 face="sans-serif">    o Functional Programming
Applied to Global Computing </font>
<br><font size=2 face="sans-serif">    o Functional GRIDs </font>
<br><font size=2 face="sans-serif">    o Functional Programming
Ideas in Imperative or Object-Oriented Settings (and the converse)</font>
<br><font size=2 face="sans-serif">    o Interoperability with
Imperative Programming Languages </font>
<br><font size=2 face="sans-serif">    o Novel Memory Management
Techniques </font>
<br><font size=2 face="sans-serif">    o Parallel/Concurrent
Functional Languages</font>
<br><font size=2 face="sans-serif">    o Program Transformation
Techniques </font>
<br><font size=2 face="sans-serif">    o Empirical Performance
Studies </font>
<br><font size=2 face="sans-serif">    o Abstract/Virtual Machines
and Compilers for Functional Languages </font>
<br><font size=2 face="sans-serif">    o New Implementation Strategies</font>
<br><font size=2 face="sans-serif">    o any new emerging trend
in the functional programming area </font>
<br><font size=2 face="sans-serif">If you are in doubt on whether your
article is within the scope of TFP, please contact  </font>
<br><font size=2 face="sans-serif">the TFP 2007 program chair, Marco T.
Morazan, at tfp2007@shu.edu.</font>
<br><font size=2 face="sans-serif">           
<br><font size=2 face="sans-serif">TFP traditionally pays special attention
to research students, acknowledging that </font>
<br><font size=2 face="sans-serif">students are almost by definition part
of new subject trends. A prize for the best  </font>
<br><font size=2 face="sans-serif">student paper is awarded each year.
<br><font size=2 face="sans-serif">           
<br><font size=2 face="sans-serif">Acceptance of articles for presentation
at the symposium is based on the review of  </font>
<br><font size=2 face="sans-serif">extended abstracts (6 to 10 pages in
length) by the program committee. Accepted  </font>
<br><font size=2 face="sans-serif">abstracts are to be completed to full
papers before the symposium for publication in  </font>
<br><font size=2 face="sans-serif">the draft proceedings and on-line. </font>
<br><font size=2 face="sans-serif">The submission must clearly indicate
to which category it belongs to: research, position, </font>
<br><font size=2 face="sans-serif">project, evaluation, or overview paper.
It should also indicate whether the main author </font>
<br><font size=2 face="sans-serif">or authors are research students. Formatting
details can be found at the TFP 2007 website.</font>
<br><font size=2 face="sans-serif">Submission procedures will be posted
on the TFP 2007 website as the submission deadline is</font>
<br><font size=2 face="sans-serif">reached. </font>
<br><font size=2 face="sans-serif">The papers in the draft proceedings
will also be made available on-line under the following  </font>
<br><font size=2 face="sans-serif">conditions, with which all authors are
asked to agree: </font>
<br><font size=2 face="sans-serif">    The documents distributed
by this server have been provided by the</font>
<br><font size=2 face="sans-serif">    contributing authors as
a means to ensure timely dissemination of </font>
<br><font size=2 face="sans-serif">    scholarly and technical
work on a noncommercial basis. Copyright and </font>
<br><font size=2 face="sans-serif">    all rights therein are
maintained by the authors or by other </font>
<br><font size=2 face="sans-serif">    copyright holders, notwithstanding
that they have offered their</font>
<br><font size=2 face="sans-serif">    works here electronically.
It is understood that all persons copying </font>
<br><font size=2 face="sans-serif">    this information will
adhere to the terms and constraints invoked by </font>
<br><font size=2 face="sans-serif">    each author's copyright.
These works may not be reposted without the </font>
<br><font size=2 face="sans-serif">    explicit permission of
the copyright holder. </font>
<br><font size=2 face="sans-serif">           
<br><font size=2 face="sans-serif">In addition to the draft symposium proceedings,
we intend to continue the TFP tradition of  </font>
<br><font size=2 face="sans-serif">publishing a high-quality subset of
contributions in the Intellect series on Trends in  </font>
<br><font size=2 face="sans-serif">Functional Programming. All TFP authors
will be invited to submit revised papers after the  </font>
<br><font size=2 face="sans-serif">symposium. These will be refereed using
normal conference standards and a subset of the best  </font>
<br><font size=2 face="sans-serif">papers, over all categories, will be
selected for publication. Papers will be judged on their  </font>
<br><font size=2 face="sans-serif">contribution to the research area with
appropriate criteria applied to each category of paper. </font>
<br><font size=2 face="sans-serif">Student papers will be given extra feedback
by the Program Committee in order to assist those  </font>
<br><font size=2 face="sans-serif">unfamiliar with the publication process.
<br><font size=2 face="sans-serif">           
            Important DATES </font>
<br><font size=2 face="sans-serif">        Abstract
Submission: February 1, 2007 </font>
<br><font size=2 face="sans-serif">        Notification
of Acceptance: February 20, 2007 </font>
<br><font size=2 face="sans-serif">        Registration
Deadline: March 2, 2007 </font>
<br><font size=2 face="sans-serif">        Camera Ready
Full Paper Due: March 9, 2007 </font>
<br><font size=2 face="sans-serif">        TFP Symposium:
April 2-4, 2007 </font>
<br><font size=2 face="sans-serif">           
<br><font size=2 face="sans-serif">        John Clements
Polytechnic State University, USA </font>
<br><font size=2 face="sans-serif">        Marko van
Eekelen                Radboud
Universiteit Nijmegen, The Netherlands </font>
<br><font size=2 face="sans-serif">        Benjamin
Goldberg                New
York University, USA </font>
<br><font size=2 face="sans-serif">        Kevin Hammond
of St. Andrews, UK</font>
<br><font size=2 face="sans-serif">        Patricia
Johann                Rutgers
University, USA  </font>
<br><font size=2 face="sans-serif">        Hans-Wolfgang
Loidl        Ludwig-Maximilians Universität
München, Germany </font>
<br><font size=2 face="sans-serif">        Rita Loogen
Marburg, Germany </font>
<br><font size=2 face="sans-serif">        Greg Michaelson
University, UK </font>
<br><font size=2 face="sans-serif">        Marco T.
Morazán (Chair)        Seton Hall University,
USA </font>
<br><font size=2 face="sans-serif">        Henrik Nilsson
of Nottingham, UK </font>
<br><font size=2 face="sans-serif">        Chris Okasaki
States Military Academy at West Point, USA  </font>
<br><font size=2 face="sans-serif">        Rex Page
       University of Oklahoma, USA </font>
<br><font size=2 face="sans-serif">        Ricardo
Pena                Universidad
Complutense de Madrid, Spain </font>
<br><font size=2 face="sans-serif">        Benjamin
C. Pierce                University
of Pennsylvania, USA </font>
<br><font size=2 face="sans-serif">        John Reppy
of Chicago, USA </font>
<br><font size=2 face="sans-serif">        Ulrik P.
Schultz                University
of Southern Denmark, Denmark </font>
<br><font size=2 face="sans-serif">        Clara Segura
Complutense de Madrid, Spain </font>
<br><font size=2 face="sans-serif">        Jocelyn
Sérot                Université
Blaise Pascal, France  </font>
<br><font size=2 face="sans-serif">        Zhong Shao
University, USA  </font>
<br><font size=2 face="sans-serif">        Olin Shivers
       Georgia Institute of Technology, USA
<br><font size=2 face="sans-serif">        Phil Trinder
       Heriot-Watt University, UK </font>
<br><font size=2 face="sans-serif">        David Walker
University, USA </font>
<br><font size=2 face="sans-serif">         
       ORGANIZATION </font>
<br><font size=2 face="sans-serif">        Symposium
Chair:        Henrik Nilsson, University of Nottingham,
UK </font>
<br><font size=2 face="sans-serif">        Programme
Chair:        Marco T. Morazan, Seton Hall University,
USA </font>
<br><font size=2 face="sans-serif">        Treasurer:
Greg Michaelson, Heriot-Watt University, UK </font>
<br><font size=2 face="sans-serif">        Local Arrangements:
  Marco T. Morazan, Seton Hall University, USA </font>
<br><font size=2 face="sans-serif">           
<br><font size=2 face="sans-serif">        The Department
of Mathematics and Computer Science, Seton Hall University </font>
<br><font size=2 face="sans-serif">        The Department
of Computer Science, The City College of New York </font>
<br><font size=2 face="sans-serif">        The Center
for Algorithms and Interactive Scientific Software of The City College
of New York  </font>
<br><font size=2 face="sans-serif">        The Grove
School of Engineering of The City College of New York</font>
<br><font size=2 face="sans-serif">We are actively looking for additional
TFP sponsors, who may, for example, help to </font>
<br><font size=2 face="sans-serif">subsidise attendance by research students.
If you or your organisation might be  </font>
<br><font size=2 face="sans-serif">willing to sponsor TFP, or if you know
someone who might be willing to do so, please </font>
<br><font size=2 face="sans-serif">do not hesitate to contact the Program
Chair, Marco T. Morazan, or the Symposium Chair,  </font>
<br><font size=2 face="sans-serif">Henrik Nilsson. Your students will be
grateful! </font>
<br><font size=2 face="sans-serif"><br>
Dr. Marco T. Morazan<br>
TFP 2007<br>
Program Committee Chair<br>