Dear Colleagues,
The abstract submission deadline, February
1, is quickly approaching. We hope to see you at TFP 2007 in New York.
NEW: Abstract submission
is now open! Link: http://cs.shu.edu/tfp2007/submissions.html
NEW: Invited Talk: John
McCarthy, Standford University
CALL FOR PAPERS
Trends in Functional Programming 2007
New York, USA
April 2-4, 2007
http://cs.shu.edu/tfp2007/
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.
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.
SCOPE OF THE SYMPOSIUM
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:
Research Articles
leading-edge, previously unpublished research work
Position Articles
on what new trends should or should not be
Project Articles
descriptions of recently started new projects
Evaluation Articles
what lessons can be drawn from a finished project
Overview Articles
summarizing work with respect to a trendy subject
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.
Articles on the following subject areas
are particularly welcomed:
o Dependently Typed Functional Programming
o Validation and Verification of Functional
Programs
o Debugging for Functional Languages
o Functional Programming and Security
o Functional Programming and Mobility
o Functional Programming to Animate/Prototype/Implement
Systems from Formal or Semi-Formal Specifications
o Functional Languages for Telecommunications
Applications
o Functional Languages for Embedded
Systems
o Functional Programming Applied to
Global Computing
o Functional GRIDs
o Functional Programming Ideas in Imperative
or Object-Oriented Settings (and the converse)
o Interoperability with Imperative Programming
Languages
o Novel Memory Management Techniques
o Parallel/Concurrent Functional Languages
o Program Transformation Techniques
o Empirical Performance Studies
o Abstract/Virtual Machines and Compilers
for Functional Languages
o New Implementation Strategies
o any new emerging trend in the functional
programming area
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.
SUBMISSION AND DRAFT PROCEEDINGS
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.
POST-SYMPOSIUM REFEREEING AND PUBLICATION
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.
IMPORTANT DATES
Abstract Submission: February 1, 2007
Notification of Acceptance: February
20, 2007
Registration Deadline: March 2, 2007
Camera Ready Full Paper Due: March 9,
2007
TFP Symposium: April 2-4, 2007
PROGRAMME COMMITTEE
John Clements
California Polytechnic
State University, USA
Marko van Eekelen
Radboud Universiteit Nijmegen, The Netherlands
Benjamin Goldberg
New York University, USA
Kevin Hammond
University of St. Andrews, UK
Patricia Johann
Rutgers University,
USA
Hans-Wolfgang Loidl
Ludwig-Maximilians Universität München,
Germany
Rita Loogen
Philipps-Universität
Marburg, Germany
Greg Michaelson
Heriot-Watt University, UK
Marco T. Morazán (Chair)
Seton Hall University, USA
Henrik Nilsson
University
of Nottingham, UK
Chris Okasaki
United States Military
Academy at West Point, USA
Rex Page
University of Oklahoma,
USA
Ricardo Pena
Universidad Complutense
de Madrid, Spain
Benjamin C. Pierce
University of Pennsylvania, USA
John Reppy
University of Chicago,
USA
Ulrik P. Schultz
University
of Southern Denmark, Denmark
Clara Segura
Universidad Complutense
de Madrid, Spain
Jocelyn Sérot
Université Blaise
Pascal, France
Zhong Shao
Yale University,
USA
Olin Shivers
Georgia Institute
of Technology, USA
Phil Trinder
Heriot-Watt University,
UK
David Walker
Princeton University,
USA
ORGANIZATION
Symposium Chair:
Henrik Nilsson, University of Nottingham, UK
Programme Chair:
Marco T. Morazan, Seton Hall University, USA
Treasurer:
Greg Michaelson, Heriot-Watt University, UK
Local Arrangements:
Marco T. Morazan, Seton Hall University, USA
************************************************************************************
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://cs.shu.edu/tfp2007/