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