<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>
<br><font size=2 face="sans-serif">NEW: Abstract submission is now opened!
Link: http://cs.shu.edu/tfp2007/submissions.html</font>
<br>
<br><font size=2 face="sans-serif">NEW: Invited Talk: John McCarthy, Standford
University</font>
<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">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. </font>
<br>
<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 tfp2007@shu.edu.</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 <br>
<br>
************************************************************************************<br>
Dr. Marco T. Morazan<br>
TFP 2007<br>
Program Committee Chair<br>
http://cs.shu.edu/tfp2007/</font>