<span class="q">
<div><font face="sans-serif" size="2">CALL FOR PAPERS</font></div>
<div><font face="sans-serif" size="2">Trends in Functional Programming 2007</font></div>
<div><font face="sans-serif" size="2">New York, USA</font></div>
<div><font face="sans-serif" size="2">April 2-4, 2007</font></div>
<div><font face="sans-serif" size="2">
<div><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://cs.shu.edu/tfp2007/" target="_blank">http://cs.shu.edu/tfp2007/</a><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://tltc.shu.edu/tfp2007/" target="_blank">
</a></div></font></div>
<div><font face="sans-serif" size="2"> OR</font></div>
<div><u><font color="#0000cc" size="2"><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://tltc.shu.edu/tfp2007/" target="_blank">http://tltc.shu.edu/tfp2007/</a></font></u></div>
<div><u><font color="#0000cc"></font></u> </div>
<div><u><font color="#0000cc"></font></u> </div>
<div><font face="sans-serif" size="2">The symposium on Trends in Functional Programming (TFP) is an international forum </font><font face="sans-serif" size="2">for researchers with interests in all aspects of functional programming languages,
</font><font face="sans-serif" size="2">focusing on providing a broad view of current and future trends in Functional </font><font face="sans-serif" size="2">Programming. It aspires to be a lively environment for presenting the latest
</font><font face="sans-serif" size="2">research results through acceptance by extended abstracts. A formal post-symposium </font><font face="sans-serif" size="2">refereeing process then selects the best articles presented at the symposium for publication in a high-profile volume.
</font><font face="Tms Rmn"></font></div><font face="sans-serif" size="2">
<p>TFP 2007 is co-hosted by Seton Hall University and The City College of New York (CCNY) </p></font><font face="sans-serif" size="2">and will be held in New York, USA, April 2-4, 2007 at the CCNY campus. </font><font face="sans-serif" size="2">
<div></div></font></span>
<div><span class="e" id="q_10f3f39aea7e03ec_1"><font face="sans-serif" size="2">SCOPE OF THE SYMPOSIUM
<div> </div>
<div></div></font><font face="sans-serif" size="2">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 </font>
<font face="sans-serif" size="2">categories. High-quality articles are solicited in any of these categories: </font><font face="Tms Rmn"> </font>
<div> </div>
<div><font face="sans-serif" size="2">Research Articles leading-edge, previously unpublished research work</font></div>
<div>Position Articles on what new trends should or should not be <font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Project Articles descriptions of recently started new projects</font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Evaluation Articles what lessons can be drawn from a finished project</font></div>
<div>Overview Articles summarizing work with respect to a trendy subject</div>
<div> </div>
<div><font face="sans-serif" size="2">Articles must be original and not submitted for simultaneous publication to any other </font><font face="sans-serif" size="2">forum. They may consider any aspect of functional programming: theoretical,
</font><font face="sans-serif" size="2">implementation-oriented, or more experience-oriented. Applications of functional </font><font face="sans-serif" size="2">programming techniques to other languages are also within the scope of the symposium.
</font></div>
<div> </div>
<div><font face="sans-serif" size="2">Articles on the following subject areas are particularly welcomed:</font></div>
<div> </div>
<div>o Dependently Typed Functional Programming <font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">o Validation and Verification of Functional Programs</font></div>
<div>o Debugging for Functional Languages</div>
<div><font face="sans-serif" size="2">o Functional Programming and Security</font></div>
<div><font face="sans-serif" size="2">o Functional Programming and Mobility</font></div>
<div><font face="sans-serif" size="2">o Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications</font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">o Functional Languages for Telecommunications Applications</font></div>
<div><font face="sans-serif" size="2">o Functional Languages for Embedded Systems</font></div>
<div>o Functional Programming Applied to Global Computing</div>
<div><font face="sans-serif" size="2">o Functional GRIDs</font></div>
<div><font face="sans-serif" size="2">o Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse)</font></div>
<div><font face="sans-serif" size="2">o Interoperability with Imperative Programming Languages</font></div>
<div><font face="sans-serif" size="2">o Novel Memory Management Techniques</font></div>
<div><font face="sans-serif" size="2">o Parallel/Concurrent Functional Languages</font></div>
<div><font face="sans-serif" size="2">o Program Transformation Techniques </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">o Empirical Performance Studies </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">o Abstract/Virtual Machines and Compilers for Functional Languages </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">o New Implementation Strategies</font></div>
<div>o any new emerging trend in the functional programming area</div>
<div> </div>
<div><font face="sans-serif" size="2">If you are in doubt on whether your article is within the scope of TFP, please contact </font><font face="sans-serif" size="2">the TFP 2007 program chair, Marco T. Morazan, at <a onclick="return top.js.OpenExtLink(window,event,this)" href="mailto:tfp2007@shu.edu" target="_blank">
tfp2007@shu.edu</a>.</font></div>
<div> </div>
<div> </div></span></div>
<div>SUBMISSION AND DRAFT PROCEEDINGS</div>
<div> </div>
<div><font face="sans-serif" size="2">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 </font><font face="sans-serif" size="2">
abstracts are to be completed to full papers before the symposium for publication in </font><font face="sans-serif" size="2">the draft proceedings and on-line. Further details can be found at the TFP 2007 website.</font>
</div>
<div><span class="e" id="q_10f3f39aea7e03ec_3">
<div> </div>
<div> </div>
<div><font face="sans-serif" size="2">POST-SYMPOSIUM REFEREEING AND PUBLICATION</font></div>
<div> </div>
<div>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 <font face="sans-serif" size="2">Functional Programming.
</font> </div>
<div> </div>
<div>IMPORTANT DATES</div>
<div> </div>
<div><font face="sans-serif" size="2">Abstract Submission: February 1, 2007</font></div>
<div><font face="sans-serif" size="2">Notification of Acceptance: February 20, 2007</font></div>
<div><font face="sans-serif" size="2">Registration Deadline: March 2, 2007 </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Camera Ready Full Paper Due: March 9, 2007</font></div>
<div><font face="sans-serif" size="2">TFP Symposium: April 2-4, 2007</font></div>
<div> </div>
<div> </div>
<div><font face="sans-serif" size="2">PROGRAMME COMMITTEE</font></div>
<div> </div>
<div><font face="sans-serif" size="2">John Clements California Polytechnic State University, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Marko van Eekelen Radboud Universiteit Nijmegen, The Netherlands </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Benjamin Goldberg New York University, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Kevin Hammond University of St. Andrews, UK</font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Patricia Johann Rutgers University, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Hans-Wolfgang Loidl Ludwig-Maximilians Universität München, Germany </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Rita Loogen Philipps-Universität Marburg, Germany </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Greg Michaelson Heriot-Watt University, UK </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Marco T. Morazán (Chair) Seton Hall University, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Henrik Nilsson University of Nottingham, UK </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Chris Okasaki United States Military Academy at West Point, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Rex Page University of Oklahoma, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Ricardo Pena Universidad Complutense de Madrid, Spain </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Benjamin C. Pierce University of Pennsylvania, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">John Reppy University of Chicago, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Ulrik P. Schultz University of Southern Denmark, Denmark </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Clara Segura Universidad Complutense de Madrid, Spain </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Jocelyn Sérot Université Blaise Pascal, France </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Zhong Shao Yale University, USA </font></div>
<div>Olin Shivers Georgia Institute of Technology, USA <font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Phil Trinder Heriot-Watt University, UK </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">David Walker Princeton University, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="Tms Rmn"> </font></div>
<div> </div>
<div><font face="sans-serif" size="2">ORGANIZATION </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2"></font> </div>
<div><font face="sans-serif" size="2">Symposium Chair: Henrik Nilsson, University of Nottingham, UK </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Programme Chair: Marco T. Morazan, Seton Hall University, USA </font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Treasurer: Greg Michaelson, Heriot-Watt University, UK</font></div>
<div><font face="sans-serif" size="2">Local Arrangements: Marco T. Morazan, Seton Hall University, USA </font><font size="2"> </font></div></span></div>