<br><font size=2 face="sans-serif">
CALL FOR PAPERS </font><font size=3>
</font>
<br><font size=2 face="sans-serif">
Trends in Functional Programming 2007 </font><font size=3>
</font>
<br><font size=2 face="sans-serif">
New York, USA</font><font size=3>
</font>
<br><font size=2 face="sans-serif">
April 2-4, 2007
</font><font size=3> </font>
<br><font size=2 face="sans-serif">
http://cs.shu.edu/tfp2007/</font><font size=3>
</font>
<br>
<br>
<br><font size=2 face="sans-serif">The symposium on Trends in Functional
Programming (TFP) is an international forum </font><font size=3>
</font>
<br><font size=2 face="sans-serif">for researchers with interests in all
aspects of functional programming languages, </font><font size=3>
</font>
<br><font size=2 face="sans-serif">focusing on providing a broad view of
current and future trends in Functional </font><font size=3>
</font>
<br><font size=2 face="sans-serif">Programming. It aspires to be a lively
environment for presenting the latest </font><font size=3>
</font>
<br><font size=2 face="sans-serif">research results through acceptance
by extended abstracts. A formal post-symposium </font><font size=3>
</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.
</font><font size=3> </font>
<br>
<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><font size=3>
</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><font size=3> </font>
<br>
<br><font size=2 face="sans-serif">The TFP symposium is the successor to
the successful series of Scottish Functional </font><font size=3>
</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><font size=3>
</font>
<br><font size=2 face="sans-serif">(co-located with ICFP and GPCE), and
in Nottingham, UK in 2006 </font><font size=3> </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><font size=3> </font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">
SCOPE
OF THE SYMPOSIUM </font><font size=3> </font>
<br>
<br>
<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><font size=3>
</font>
<br><font size=2 face="sans-serif">categories. High-quality articles are
solicited in any of these categories: </font><font size=3>
</font>
<br>
<br>
<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><font size=3> </font>
<br><font size=2 face="sans-serif"> Project
Articles descriptions of recently started new
projects</font><font size=3> </font>
<br><font size=2 face="sans-serif"> Evaluation
Articles what lessons can be drawn from a finished
project </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Overview
Articles summarizing work with respect to a
trendy subject </font><font size=3> </font>
<br>
<br>
<br><font size=2 face="sans-serif">Articles must be original and not submitted
for simultaneous publication to any other </font><font size=3>
</font>
<br><font size=2 face="sans-serif">forum. They may consider any aspect
of functional programming: theoretical, </font><font size=3>
</font>
<br><font size=2 face="sans-serif">implementation-oriented, or more experience-oriented.
Applications of functional </font><font size=3> </font>
<br><font size=2 face="sans-serif">programming techniques to other languages
are also within the scope of the symposium. </font><font size=3>
</font>
<br>
<br><font size=2 face="sans-serif">Articles on the following subject areas
are particularly welcomed:</font>
<br>
<br><font size=2 face="sans-serif"> o Dependently Typed Functional
Programming </font><font size=3> </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><font size=3> </font>
<br><font size=2 face="sans-serif"> o Functional Programming
and Security </font><font size=3> </font>
<br><font size=2 face="sans-serif"> o Functional Programming
and Mobility </font><font size=3> </font>
<br><font size=2 face="sans-serif"> o Functional Programming
to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications</font><font size=3>
</font>
<br><font size=2 face="sans-serif"> o Functional Languages
for Telecommunications Applications </font><font size=3> </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><font size=3> </font>
<br><font size=2 face="sans-serif"> o Functional GRIDs </font><font size=3>
</font>
<br><font size=2 face="sans-serif"> o Functional Programming
Ideas in Imperative or Object-Oriented Settings (and the converse)</font><font size=3>
</font>
<br><font size=2 face="sans-serif"> o Interoperability with
Imperative Programming Languages </font><font size=3> </font>
<br><font size=2 face="sans-serif"> o Novel Memory Management
Techniques </font><font size=3> </font>
<br><font size=2 face="sans-serif"> o Parallel/Concurrent
Functional Languages</font><font size=3> </font>
<br><font size=2 face="sans-serif"> o Program Transformation
Techniques </font><font size=3> </font>
<br><font size=2 face="sans-serif"> o Empirical Performance
Studies </font><font size=3> </font>
<br><font size=2 face="sans-serif"> o Abstract/Virtual Machines
and Compilers for Functional Languages </font><font size=3>
</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><font size=3> </font>
<br>
<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><font size=3>
</font>
<br><font size=2 face="sans-serif">the TFP 2007 program chair, Marco T.
Morazan, at tfp2007@shu.edu.</font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">
BEST
STUDENT PAPER AWARD </font><font size=3> </font>
<br>
<br>
<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.
</font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">
SUBMISSION
AND DRAFT PROCEEDINGS </font><font size=3> </font>
<br>
<br>
<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><font size=3>
</font>
<br><font size=2 face="sans-serif">abstracts are to be completed to full
papers before the symposium for publication in </font><font size=3>
</font>
<br><font size=2 face="sans-serif">the draft proceedings and on-line. </font><font size=3>
</font>
<br>
<br>
<br><font size=2 face="sans-serif">The submission must clearly indicate
to which category it belongs to: research, position, </font><font size=3>
</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><font size=3>
</font>
<br><font size=2 face="sans-serif">Submission procedures will be posted
on the TFP 2007 website as the submission deadline is</font><font size=3>
</font>
<br><font size=2 face="sans-serif">reached. </font><font size=3>
</font>
<br>
<br><font size=2 face="sans-serif">The papers in the draft proceedings
will also be made available on-line under the following </font><font size=3>
</font>
<br><font size=2 face="sans-serif">conditions, with which all authors are
asked to agree: </font><font size=3> </font>
<br>
<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><font size=3>
</font>
<br><font size=2 face="sans-serif"> all rights therein are
maintained by the authors or by other </font><font size=3>
</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><font size=3>
</font>
<br><font size=2 face="sans-serif"> this information will
adhere to the terms and constraints invoked by </font><font size=3>
</font>
<br><font size=2 face="sans-serif"> each author's copyright.
These works may not be reposted without the </font><font size=3>
</font>
<br><font size=2 face="sans-serif"> explicit permission of
the copyright holder. </font><font size=3> </font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">
POST-SYMPOSIUM REFEREEING AND
PUBLICATION</font>
<br>
<br>
<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><font size=3>
</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><font size=3>
</font>
<br><font size=2 face="sans-serif">papers, over all categories, will be
selected for publication. Papers will be judged on their </font><font size=3>
</font>
<br><font size=2 face="sans-serif">contribution to the research area with
appropriate criteria applied to each category of paper. </font><font size=3>
</font>
<br>
<br><font size=2 face="sans-serif">Student papers will be given extra feedback
by the Program Committee in order to assist those </font><font size=3>
</font>
<br><font size=2 face="sans-serif">unfamiliar with the publication process.
</font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">
IMPORTANT DATES </font><font size=3>
</font>
<br>
<br>
<br><font size=2 face="sans-serif"> Abstract
Submission: February 1, 2007 </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Notification
of Acceptance: February 20, 2007 </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Registration
Deadline: March 2, 2007 </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Camera Ready
Full Paper Due: March 9, 2007 </font><font size=3> </font>
<br><font size=2 face="sans-serif"> TFP Symposium:
April 2-4, 2007 </font><font size=3> </font>
<br>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">
PROGRAMME
COMMITTEE </font><font size=3> </font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif"> John Clements
California Polytechnic
State University, USA </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Marko van
Eekelen Radboud
Universiteit Nijmegen, The Netherlands </font><font size=3>
</font>
<br><font size=2 face="sans-serif"> Benjamin
Goldberg New York
University, USA </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Kevin Hammond
University of St.
Andrews, UK</font><font size=3> </font>
<br><font size=2 face="sans-serif"> Patricia
Johann Rutgers University,
USA </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Hans-Wolfgang
Loidl Ludwig-Maximilians Universität München,
Germany </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Rita Loogen
Philipps-Universität
Marburg, Germany </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Greg Michaelson
Heriot-Watt University,
UK </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Marco T.
Morazán (Chair) Seton Hall University, USA </font><font size=3>
</font>
<br><font size=2 face="sans-serif"> Henrik Nilsson
University of Nottingham,
UK </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Chris Okasaki
United States Military
Academy at West Point, USA </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Rex Page
University of Oklahoma, USA </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Ricardo
Pena Universidad
Complutense de Madrid, Spain </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Benjamin
C. Pierce University of Pennsylvania, USA </font><font size=3>
</font>
<br><font size=2 face="sans-serif"> John Reppy
University of Chicago,
USA </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Ulrik P.
Schultz University
of Southern Denmark, Denmark </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Clara Segura
Universidad Complutense
de Madrid, Spain </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Jocelyn
Sérot Université
Blaise Pascal, France </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Zhong Shao
Yale University,
USA </font>
<br><font size=2 face="sans-serif"> Olin Shivers
Georgia Institute
of Technology, USA </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Phil Trinder
Heriot-Watt University,
UK </font><font size=3> </font>
<br><font size=2 face="sans-serif"> David Walker
Princeton University,
USA </font><font size=3> </font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">
ORGANIZATION
</font><font size=3> </font>
<br>
<br>
<br><font size=2 face="sans-serif"> Symposium
Chair: Henrik Nilsson,
University of Nottingham, UK </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Programme
Chair: Marco T.
Morazan, Seton Hall University, USA </font><font size=3> </font>
<br><font size=2 face="sans-serif"> Treasurer:
Greg Michaelson, Heriot-Watt University, UK </font><font size=3>
</font>
<br><font size=2 face="sans-serif"> Local Arrangements:
Marco T. Morazan, Seton Hall University, USA
</font><font size=3> </font>
<br>
<br>
<br>
<br><font size=2 face="sans-serif">
SPONSORS </font><font size=3> </font>
<br>
<br>
<br><font size=2 face="sans-serif"> The Department
of Mathematics and Computer Science, Seton Hall University </font><font size=3>
</font>
<br>
<br><font size=2 face="sans-serif"> The Department
of Computer Science, The City College of New York </font><font size=3>
</font>
<br>
<br><font size=2 face="sans-serif"> The Center
for Algorithms and Interactive Scientific Software of The City College
of New York </font><font size=3> </font>
<br>
<br><font size=2 face="sans-serif"> The Grove
School of Engineering of The City College of New York</font>
<br>
<br>
<br><font size=2 face="sans-serif">We are actively looking for additional
TFP sponsors, who may, for example, help to </font><font size=3>
</font>
<br><font size=2 face="sans-serif">subsidise attendance by research students.
If you or your organisation might be </font><font size=3>
</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><font size=3> </font>
<br><font size=2 face="sans-serif">do not hesitate to contact the Program
Chair, Marco T. Morazan, or the Symposium Chair, </font><font size=3>
</font>
<br><font size=2 face="sans-serif">Henrik Nilsson. Your students will be
grateful! </font><font size=3> </font>
<br>
<br><font size=2 face="sans-serif"><br>
************************************************************************************<br>
Dr. Marco T. Morazan<br>
TFP 2007<br>
Program Committee Chair<br>
http://cs.shu.edu/tfp2007/</font>