<br><font size=2 face="sans-serif">Dear Colleagues,</font><font size=3>
</font>
<br>
<br><font size=2 face="sans-serif">The abstract submission deadline, February
1, is quickly approaching. We hope to see you at TFP 2007 in New York.</font><font size=3>
</font>
<br>
<br>
<br><font size=2 face="sans-serif"><b><u>NEW</u></b>: Abstract submission
is now open! Link: http://cs.shu.edu/tfp2007/submissions.html</font>
<br>
<br><font size=2 face="sans-serif"><b><u>NEW</u></b>: Invited Talk: John
McCarthy, Standford University</font><font size=3> </font>
<br>
<br>
<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><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">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. </font><font size=3> </font>
<br><font size=2 face="sans-serif">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. </font><font size=3>
</font>
<br>
<br><font size=2 face="sans-serif">SCOPE OF THE SYMPOSIUM </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">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: </font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">Research Articles
leading-edge, previously unpublished research work</font><font size=3>
</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><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">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. </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">Articles on the following subject areas
are particularly welcomed:</font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<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><font size=3> </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><font size=3>
</font>
<br><font size=2 face="sans-serif">o any new emerging trend in the functional
programming area</font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </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 the TFP 2007 program
chair, Marco T. Morazan, at tfp2007@shu.edu.</font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">SUBMISSION AND DRAFT PROCEEDINGS</font><font size=3>
</font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">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. Further details can be found at the
TFP 2007 website. </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">POST-SYMPOSIUM REFEREEING AND PUBLICATION</font><font size=3>
</font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">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.
</font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">IMPORTANT DATES</font><font size=3>
</font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<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>
<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>
<br><font size=2 face="sans-serif">TFP Symposium: April 2-4, 2007</font><font size=3>
</font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">PROGRAMME COMMITTEE</font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<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>
<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>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<br><font size=2 face="sans-serif">ORGANIZATION </font><font size=3> </font>
<br><font size=2 face="sans-serif"> </font><font size=3> </font>
<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>
<br><font size=2 face="sans-serif"><br>
<br>
<br>
************************************************************************************<br>
Dr. Marco T. Morazan<br>
TFP 2007<br>
Program Committee Chair<br>
http://cs.shu.edu/tfp2007/</font>