<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; CALL FOR PAPERS </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; Trends in Functional Programming 2007 </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp;New York, USA</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; April 2-4, 2007 </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;http://tltc.shu.edu/tfp2007/</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; OR</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;http://cs.shu.edu/tfp2007/</font>
<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, &nbsp;</font>
<br><font size=2 face="sans-serif">focusing on providing a broad view of
current and future trends in Functional &nbsp;</font>
<br><font size=2 face="sans-serif">Programming. It aspires to be a lively
environment for presenting the latest &nbsp;</font>
<br><font size=2 face="sans-serif">research results through acceptance
by extended abstracts. A formal post-symposium &nbsp;</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 &nbsp;</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 &nbsp;</font>
<br><font size=2 face="sans-serif">(co-located with ICFP and GPCE), and
in Nottingham, UK in 2006 &nbsp;</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">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; SCOPE
<br><font size=2 face="sans-serif">The symposium recognizes that new trends
may arise through various routes. As part &nbsp;</font>
<br><font size=2 face="sans-serif">of the Symposium's focus on trends we
therefore identify the following five article &nbsp;</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">&nbsp; &nbsp; &nbsp; &nbsp; Research
Articles &nbsp; &nbsp; &nbsp;&nbsp; leading-edge, previously unpublished
research work</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Position
Articles &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; on what new trends should or
should not be </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Project
Articles &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; descriptions of recently
started new projects</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Evaluation
Articles &nbsp; &nbsp; &nbsp;what lessons can be drawn from a finished
project </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Overview
Articles &nbsp; &nbsp; &nbsp; &nbsp; 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 &nbsp;</font>
<br><font size=2 face="sans-serif">forum. They may consider any aspect
of functional programming: theoretical, &nbsp;</font>
<br><font size=2 face="sans-serif">implementation-oriented, or more experience-oriented.
Applications of functional &nbsp;</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">&nbsp; &nbsp; o Dependently Typed Functional
Programming </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Validation and Verification
of Functional Programs</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Debugging for Functional
Languages </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Functional Programming
and Security </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Functional Programming
and Mobility </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Functional Programming
to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Functional Languages
for Telecommunications Applications </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Functional Languages
for Embedded Systems </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Functional Programming
Applied to Global Computing </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Functional GRIDs </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Functional Programming
Ideas in Imperative or Object-Oriented Settings (and the converse)</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Interoperability with
Imperative Programming Languages </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Novel Memory Management
Techniques </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Parallel/Concurrent
Functional Languages</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Program Transformation
Techniques </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Empirical Performance
Studies </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o Abstract/Virtual Machines
and Compilers for Functional Languages </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; o New Implementation Strategies</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; 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 &nbsp;</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">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; BEST
<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 &nbsp;</font>
<br><font size=2 face="sans-serif">student paper is awarded each year.
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; SUBMISSION
<br><font size=2 face="sans-serif">Acceptance of articles for presentation
at the symposium is based on the review of &nbsp;</font>
<br><font size=2 face="sans-serif">extended abstracts (6 to 10 pages in
length) by the program committee. Accepted &nbsp;</font>
<br><font size=2 face="sans-serif">abstracts are to be completed to full
papers before the symposium for publication in &nbsp;</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 &nbsp;</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">&nbsp; &nbsp; The documents distributed
by this server have been provided by the</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; contributing authors as
a means to ensure timely dissemination of </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; scholarly and technical
work on a noncommercial basis. Copyright and </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; all rights therein are
maintained by the authors or by other </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; copyright holders, notwithstanding
that they have offered their</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; works here electronically.
It is understood that all persons copying </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; this information will
adhere to the terms and constraints invoked by </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; each author's copyright.
These works may not be reposted without the </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; explicit permission of
the copyright holder. </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; POST-SYMPOSIUM REFEREEING AND
<br><font size=2 face="sans-serif">In addition to the draft symposium proceedings,
we intend to continue the TFP tradition of &nbsp;</font>
<br><font size=2 face="sans-serif">publishing a high-quality subset of
contributions in the Intellect series on Trends in &nbsp;</font>
<br><font size=2 face="sans-serif">Functional Programming. All TFP authors
will be invited to submit revised papers after the &nbsp;</font>
<br><font size=2 face="sans-serif">symposium. These will be refereed using
normal conference standards and a subset of the best &nbsp;</font>
<br><font size=2 face="sans-serif">papers, over all categories, will be
selected for publication. Papers will be judged on their &nbsp;</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 &nbsp;</font>
<br><font size=2 face="sans-serif">unfamiliar with the publication process.
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Important DATES </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Abstract
Submission: February 1, 2007 </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Notification
of Acceptance: February 20, 2007 </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Registration
Deadline: March 2, 2007 </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Camera Ready
Full Paper Due: March 9, 2007 </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; TFP Symposium:
April 2-4, 2007 </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; PROGRAMME
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; John Clements
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;California
Polytechnic State University, USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Marko van
Eekelen &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Radboud
Universiteit Nijmegen, The Netherlands </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Benjamin
Goldberg &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;New
York University, USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Kevin Hammond
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of St. Andrews, UK</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Patricia
Johann &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Rutgers
University, USA &nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Hans-Wolfgang
Loidl &nbsp; &nbsp; &nbsp; &nbsp;Ludwig-Maximilians Universität
München, Germany </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Rita Loogen
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Philipps-Universität
Marburg, Germany </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Greg Michaelson
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Heriot-Watt
University, UK </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Marco T.
Morazán (Chair) &nbsp; &nbsp; &nbsp; &nbsp;Seton Hall University,
USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Henrik Nilsson
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Nottingham, UK </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Chris Okasaki
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;United
States Military Academy at West Point, USA &nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Rex Page
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;University of Oklahoma, USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Ricardo
Pena &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Universidad
Complutense de Madrid, Spain </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Benjamin
C. Pierce &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Pennsylvania, USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; John Reppy
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Chicago, USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Ulrik P.
Schultz &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Southern Denmark, Denmark </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Clara Segura
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Universidad
Complutense de Madrid, Spain </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Jocelyn
Sérot &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Université
Blaise Pascal, France &nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Zhong Shao
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Yale
University, USA &nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Olin Shivers
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;Georgia Institute of Technology, USA
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Phil Trinder
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;Heriot-Watt University, UK </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; David Walker
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Princeton
University, USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;ORGANIZATION </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Symposium
Chair: &nbsp; &nbsp; &nbsp; &nbsp;Henrik Nilsson, University of Nottingham,
UK </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Programme
Chair: &nbsp; &nbsp; &nbsp; &nbsp;Marco T. Morazan, Seton Hall University,
USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Treasurer:
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
Greg Michaelson, Heriot-Watt University, UK </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Local Arrangements:
&nbsp; Marco T. Morazan, Seton Hall University, USA </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; SPONSORS
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; The Department
of Mathematics and Computer Science, Seton Hall University </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; The Department
of Computer Science, The City College of New York </font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; The Center
for Algorithms and Interactive Scientific Software of The City College
of New York &nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; 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 &nbsp;</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, &nbsp;</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>