<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><a href=http://cs.shu.edu/tfp2007/><font size=2 color=blue face="sans-serif"><u>http://cs.shu.edu/tfp2007/</u></font></a><a href=http://tltc.shu.edu/tfp2007/><font size=2 color=blue face="sans-serif"><u>
</u></font></a>
<br><font size=2 face="sans-serif">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
OR</font>
<br><a href=http://tltc.shu.edu/tfp2007/><font size=2 color=blue><u>http://tltc.shu.edu/tfp2007/</u></font></a>
<br><font size=3>&nbsp;</font>
<br><font size=3>&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, &nbsp;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 &nbsp;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; &nbsp;</font>
<br><font size=2 face="sans-serif">&nbsp;</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>
<br><font size=2 face="sans-serif">and will be held in New York, USA, April
2-4, 2007 at the CCNY campus.&nbsp; &nbsp; &nbsp;</font>
<br><font size=2 face="sans-serif">SCOPE OF THE SYMPOSIUM &nbsp;</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&nbsp;of the Symposium's focus
on trends we therefore identify the following five article&nbsp;</font><font size=3>
</font><font size=2 face="sans-serif">categories. High-quality articles
are solicited in any of these categories:&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font><font size=3>&nbsp;</font>
<br><font size=3>&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=3>Position Articles&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;on
what new trends should or should not be&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">Project Articles&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;descriptions
of recently started new projects</font><font size=3 face="Tms Rmn"> </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=3>Overview Articles &nbsp; &nbsp; &nbsp; &nbsp; summarizing
work with respect to a trendy subject</font>
<br><font size=3>&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; &nbsp;implementation-oriented,
or more experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium. &nbsp;</font>
<br><font size=3>&nbsp;</font>
<br><font size=2 face="sans-serif">Articles on the following subject areas
are particularly welcomed:</font>
<br><font size=3>&nbsp;</font>
<br><font size=3>o Dependently Typed Functional Programming&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">o Validation and Verification of Functional
Programs</font>
<br><font size=3>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><font size=3 face="Tms Rmn">
</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=3>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><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">o Empirical Performance Studies&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">o Abstract/Virtual Machines and Compilers
for Functional Languages&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">o New Implementation Strategies</font>
<br><font size=3>o any new emerging trend in the functional programming
area</font>
<br><font size=3>&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 </font><a href=mailto:tfp2007@shu.edu><font size=2 color=blue face="sans-serif"><u>&nbsp;tfp2007@shu.edu</u></font></a><font size=2 face="sans-serif">.</font>
<br><font size=3>&nbsp;</font>
<br><font size=3>&nbsp;</font>
<br><font size=3>SUBMISSION AND DRAFT PROCEEDINGS</font>
<br><font size=3>&nbsp;</font>
<br><font size=2 face="sans-serif">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; abstracts
are to be completed to full papers before the symposium for publication
in&nbsp;the draft proceedings and on-line. Further details can be found
at the TFP 2007 website.</font><font size=3> </font>
<br><font size=3>&nbsp;</font>
<br><font size=3>&nbsp;</font>
<br><font size=2 face="sans-serif">POST-SYMPOSIUM REFEREEING AND PUBLICATION</font>
<br><font size=3>&nbsp;</font>
<br><font size=3>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><font size=2 face="sans-serif">Functional
Programming. </font><font size=3>&nbsp;</font>
<br><font size=3>&nbsp;</font>
<br><font size=3>IMPORTANT DATES</font>
<br><font size=3>&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><font size=3 face="Tms Rmn">&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=3>&nbsp;</font>
<br><font size=3>&nbsp;</font>
<br><font size=2 face="sans-serif">PROGRAMME COMMITTEE</font>
<br><font size=3>&nbsp;</font>
<br><font size=2 face="sans-serif">John Clements &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp; California Polytechnic State University,
USA&nbsp;</font><font size=3 face="Tms Rmn">&nbsp; </font>
<br><font size=2 face="sans-serif">Marko van Eekelen&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Radboud
Universiteit Nijmegen, The Netherlands&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">Benjamin Goldberg&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;New
York University, USA&nbsp;</font><font size=3 face="Tms Rmn">&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><font size=3 face="Tms Rmn">
</font>
<br><font size=2 face="sans-serif">Patricia Johann &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; Rutgers University, USA&nbsp;&nbsp;</font><font size=3 face="Tms Rmn">
</font>
<br><font size=2 face="sans-serif">Hans-Wolfgang Loidl&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Ludwig-Maximilians
Universität München, Germany&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">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 size=3 face="Tms Rmn">&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><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">Marco T. Morazán (Chair)&nbsp;&nbsp;&nbsp;&nbsp;Seton
Hall University, USA&nbsp;</font><font size=3 face="Tms Rmn">&nbsp; </font>
<br><font size=2 face="sans-serif">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 size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">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 size=3 face="Tms Rmn"> </font>
<br><font size=2 face="sans-serif">Rex Page &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; University
of Oklahoma, USA&nbsp;</font><font size=3 face="Tms Rmn">&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><font size=3 face="Tms Rmn">&nbsp; </font>
<br><font size=2 face="sans-serif">Benjamin C. Pierce&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;University
of Pennsylvania, USA&nbsp;</font><font size=3 face="Tms Rmn">&nbsp; </font>
<br><font size=2 face="sans-serif">John Reppy &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; University
of Chicago, USA&nbsp;</font><font size=3 face="Tms Rmn">&nbsp; </font>
<br><font size=2 face="sans-serif">Ulrik P. Schultz &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; University of Southern Denmark,
Denmark&nbsp;</font><font size=3 face="Tms Rmn">&nbsp; </font>
<br><font size=2 face="sans-serif">Clara Segura &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universidad Complutense
de Madrid, Spain&nbsp;</font><font size=3 face="Tms Rmn">&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;&nbsp;</font><font size=3 face="Tms Rmn"> </font>
<br><font size=2 face="sans-serif">Zhong Shao &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Yale
University, USA&nbsp;&nbsp;</font>
<br><font size=3>Olin Shivers &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Georgia Institute of Technology,
USA&nbsp;&nbsp;</font><font size=3 face="Tms Rmn"> </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><font size=3 face="Tms Rmn">&nbsp; </font>
<br><font size=2 face="sans-serif">David Walker &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Princeton University,
USA&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;</font>
<br><font size=3 face="Tms Rmn">&nbsp;</font>
<br><font size=3>&nbsp;</font>
<br><font size=2 face="sans-serif">ORGANIZATION&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=3>&nbsp;</font>
<br><font size=2 face="sans-serif">Symposium Chair: &nbsp; &nbsp; &nbsp;
&nbsp;Henrik Nilsson, University of Nottingham, UK&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">Programme Chair: &nbsp; &nbsp; &nbsp;
&nbsp;Marco T. Morazan, Seton Hall University, USA&nbsp;</font><font size=3 face="Tms Rmn">&nbsp;
</font>
<br><font size=2 face="sans-serif">Treasurer: &nbsp; &nbsp; &nbsp; &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; 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://tltc.shu.edu/tfp2007/<br>
http://cs.shu.edu/tfp2007/</font>