<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 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>&nbsp;</div>
<div><u><font color="#0000cc"></font></u>&nbsp;</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. &nbsp; 
</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.&nbsp;</font><font face="sans-serif" size="2">
 &nbsp; 
<div></div></font></span>
<div><span class="e" id="q_10f3f39aea7e03ec_1"><font face="sans-serif" size="2">SCOPE OF THE SYMPOSIUM 
<div>&nbsp;</div>
<div></div></font><font face="sans-serif" size="2">The symposium recognizes that new trends may arise through various routes. As part&nbsp;of the Symposium's focus on trends we therefore identify the following five article&nbsp;</font>
 <font face="sans-serif" size="2">categories. High-quality articles are solicited in any of these categories:&nbsp;</font><font face="Tms Rmn">&nbsp; </font>
<div>&nbsp;</div>
<div><font face="sans-serif" size="2">Research Articles &nbsp; &nbsp; &nbsp;&nbsp; leading-edge, previously unpublished research work</font></div>
<div>Position Articles&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;on what new trends should or should not be&nbsp;<font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Project Articles&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;descriptions of recently started new projects</font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Evaluation Articles &nbsp; &nbsp; &nbsp; what lessons can be drawn from a finished project</font></div>
<div>Overview Articles &nbsp; &nbsp; &nbsp; &nbsp; summarizing work with respect to a trendy subject</div>
<div>&nbsp;</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,&nbsp; 
</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>&nbsp;</div>
<div><font face="sans-serif" size="2">Articles on the following subject areas are particularly welcomed:</font></div>
<div>&nbsp;</div>
<div>o Dependently Typed Functional Programming&nbsp;<font face="Tms Rmn">&nbsp; </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&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">o Empirical Performance Studies&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">o Abstract/Virtual Machines and Compilers for Functional Languages&nbsp;</font><font face="Tms Rmn">&nbsp; </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>&nbsp;</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>&nbsp;</div>
<div>&nbsp;</div></span></div>
<div>SUBMISSION AND DRAFT PROCEEDINGS</div>
<div>&nbsp;</div>
<div><font face="sans-serif" size="2">Acceptance of articles for presentation at the symposium is based on the review of&nbsp;extended abstracts (6 to 10 pages in length) by the program committee. Accepted&nbsp;</font><font face="sans-serif" size="2">
 abstracts are to be completed to full papers before the symposium for publication in&nbsp;</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>&nbsp;</div>
<div>&nbsp;</div>
<div><font face="sans-serif" size="2">POST-SYMPOSIUM REFEREEING AND PUBLICATION</font></div>
<div>&nbsp;</div>
<div>In addition to the draft symposium proceedings, we intend to continue the TFP tradition of&nbsp;publishing a high-quality subset of contributions in the Intellect series on Trends in&nbsp;<font face="sans-serif" size="2">Functional Programming.
</font>&nbsp;</div>
<div>&nbsp;</div>
<div>IMPORTANT DATES</div>
<div>&nbsp;</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&nbsp;</font><font face="Tms Rmn">&nbsp; </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>&nbsp;</div>
<div>&nbsp;</div>
<div><font face="sans-serif" size="2">PROGRAMME COMMITTEE</font></div>
<div>&nbsp;</div>
<div><font face="sans-serif" size="2">John Clements &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp; California Polytechnic State University, USA&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Marko van Eekelen&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Radboud Universiteit Nijmegen, The Netherlands&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Benjamin Goldberg&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;New York University, USA&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Kevin Hammond &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; University of St. Andrews, UK</font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Patricia Johann &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; Rutgers University, USA&nbsp;&nbsp;</font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Hans-Wolfgang Loidl&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Ludwig-Maximilians Universität München, Germany&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Rita Loogen&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Philipps-Universität Marburg, Germany&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Greg Michaelson &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Heriot-Watt University, UK&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Marco T. Morazán (Chair)&nbsp;&nbsp;&nbsp;&nbsp;Seton Hall University, USA&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Henrik Nilsson&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Nottingham, UK&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Chris Okasaki &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp; United States Military Academy at West Point, USA&nbsp;&nbsp;</font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Rex Page &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; University of Oklahoma, USA&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Ricardo Pena &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universidad Complutense de Madrid, Spain&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Benjamin C. Pierce&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;University of Pennsylvania, USA&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">John Reppy &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University of Chicago, USA&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Ulrik P. Schultz &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; University of Southern Denmark, Denmark&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Clara Segura &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universidad Complutense de Madrid, Spain&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Jocelyn Sérot &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Université Blaise Pascal, France&nbsp;&nbsp;</font><font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Zhong Shao &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Yale University, USA&nbsp;&nbsp;</font></div>
<div>Olin Shivers &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Georgia Institute of Technology, USA&nbsp;&nbsp;<font face="Tms Rmn"> </font></div>
<div><font face="sans-serif" size="2">Phil Trinder &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Heriot-Watt University, UK&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">David Walker &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Princeton University, USA&nbsp;</font><font face="Tms Rmn">&nbsp;</font></div>
<div><font face="Tms Rmn">&nbsp;</font></div>
<div>&nbsp;</div>
<div><font face="sans-serif" size="2">ORGANIZATION&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2"></font>&nbsp;</div>
<div><font face="sans-serif" size="2">Symposium Chair: &nbsp; &nbsp; &nbsp; &nbsp;Henrik Nilsson, University of Nottingham, UK&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Programme Chair: &nbsp; &nbsp; &nbsp; &nbsp;Marco T. Morazan, Seton Hall University, USA&nbsp;</font><font face="Tms Rmn">&nbsp; </font></div>
<div><font face="sans-serif" size="2">Treasurer: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Greg Michaelson, Heriot-Watt University, UK</font></div>
<div><font face="sans-serif" size="2">Local Arrangements: &nbsp; Marco T. Morazan, Seton Hall University, USA&nbsp;</font><font size="2">&nbsp;</font></div></span></div>