<br><font size=2 face="sans-serif">Dear Colleagues,</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>
<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>
<br>
<br>
<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">http://cs.shu.edu/tfp2007/</font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp;</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. &nbsp; </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. &nbsp; &nbsp;</font>
<br>
<br><font size=2 face="sans-serif">SCOPE OF THE SYMPOSIUM </font>
<br><font size=2 face="sans-serif">&nbsp;</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 &nbsp;categories. High-quality
articles are solicited in any of these categories: &nbsp; </font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">Research Articles &nbsp; &nbsp; &nbsp;
&nbsp;leading-edge, previously unpublished research work</font>
<br><font size=2 face="sans-serif">Position Articles &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp;on what new trends should or should not be &nbsp; </font>
<br><font size=2 face="sans-serif">Project Articles &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; descriptions of recently started new projects </font>
<br><font size=2 face="sans-serif">Evaluation Articles &nbsp; &nbsp; &nbsp;
what lessons can be drawn from a finished project</font>
<br><font size=2 face="sans-serif">Overview Articles &nbsp; &nbsp; &nbsp;
&nbsp; summarizing work with respect to a trendy subject</font>
<br><font size=2 face="sans-serif">&nbsp;</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, &nbsp;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">&nbsp;</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;</font>
<br><font size=2 face="sans-serif">o Dependently Typed Functional Programming
&nbsp; </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
&nbsp; </font>
<br><font size=2 face="sans-serif">o Empirical Performance Studies &nbsp;
</font>
<br><font size=2 face="sans-serif">o Abstract/Virtual Machines and Compilers
for Functional Languages &nbsp; </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">&nbsp;</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>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">SUBMISSION AND DRAFT PROCEEDINGS</font>
<br><font size=2 face="sans-serif">&nbsp;</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 &nbsp;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">&nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">POST-SYMPOSIUM REFEREEING AND PUBLICATION</font>
<br><font size=2 face="sans-serif">&nbsp;</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>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">IMPORTANT DATES</font>
<br><font size=2 face="sans-serif">&nbsp;</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
&nbsp; </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">&nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">PROGRAMME COMMITTEE</font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">John Clements &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;California
Polytechnic State University, USA &nbsp; </font>
<br><font size=2 face="sans-serif">Marko van Eekelen &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Radboud Universiteit
Nijmegen, The Netherlands &nbsp; </font>
<br><font size=2 face="sans-serif">Benjamin Goldberg &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;New York University,
USA &nbsp; </font>
<br><font size=2 face="sans-serif">Kevin Hammond &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;University of St. Andrews, UK </font>
<br><font size=2 face="sans-serif">Patricia Johann &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp;Rutgers University, USA &nbsp; </font>
<br><font size=2 face="sans-serif">Hans-Wolfgang Loidl &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Ludwig-Maximilians Universität
München, Germany &nbsp; </font>
<br><font size=2 face="sans-serif">Rita Loogen &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Philipps-Universität
Marburg, Germany &nbsp; </font>
<br><font size=2 face="sans-serif">Greg Michaelson &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Heriot-Watt University,
UK &nbsp; </font>
<br><font size=2 face="sans-serif">Marco T. Morazán (Chair) &nbsp; &nbsp;
&nbsp; &nbsp;Seton Hall University, USA &nbsp; </font>
<br><font size=2 face="sans-serif">Henrik Nilsson &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp;University of Nottingham, UK &nbsp; </font>
<br><font size=2 face="sans-serif">Chris Okasaki &nbsp; &nbsp; &nbsp; &nbsp;
&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">Rex Page &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Oklahoma, USA &nbsp; </font>
<br><font size=2 face="sans-serif">Ricardo Pena &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Universidad
Complutense de Madrid, Spain &nbsp; </font>
<br><font size=2 face="sans-serif">Benjamin C. Pierce &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University of Pennsylvania,
USA &nbsp; </font>
<br><font size=2 face="sans-serif">John Reppy &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;University
of Chicago, USA &nbsp; </font>
<br><font size=2 face="sans-serif">Ulrik P. Schultz &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp;University of Southern Denmark, Denmark &nbsp; </font>
<br><font size=2 face="sans-serif">Clara Segura &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Universidad
Complutense de Madrid, Spain &nbsp; </font>
<br><font size=2 face="sans-serif">Jocelyn Sérot &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Université
Blaise Pascal, France &nbsp; </font>
<br><font size=2 face="sans-serif">Zhong Shao &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Yale
University, USA &nbsp;</font>
<br><font size=2 face="sans-serif">Olin Shivers &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Georgia
Institute of Technology, USA &nbsp; </font>
<br><font size=2 face="sans-serif">Phil Trinder &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Heriot-Watt
University, UK &nbsp; </font>
<br><font size=2 face="sans-serif">David Walker &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Princeton
University, USA &nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">ORGANIZATION &nbsp; </font>
<br><font size=2 face="sans-serif">&nbsp;</font>
<br><font size=2 face="sans-serif">Symposium Chair: &nbsp; &nbsp; &nbsp;
&nbsp;Henrik Nilsson, University of Nottingham, UK &nbsp; </font>
<br><font size=2 face="sans-serif">Programme Chair: &nbsp; &nbsp; &nbsp;
&nbsp;Marco T. Morazan, Seton Hall University, USA &nbsp; </font>
<br><font size=2 face="sans-serif">Treasurer: &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;Greg Michaelson, Heriot-Watt University,
UK</font>
<br><font size=2 face="sans-serif">Local Arrangements: &nbsp; &nbsp; &nbsp;
&nbsp;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>