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.
The TFP symposium is the successor to
the successful series of Scottish Functional
Programming Workshops. Previous TFP
symposia were held in Edinburgh, Scotland in
2003 (co-located with IFL), in Munich,
Germany in 2004, in Tallinn, Estonia in 2005
(co-located with ICFP and GPCE), and
in Nottingham, UK in 2006
(co-located with Types). For further
general information about TFP please see the
TFP homepage at http://cs.shu.edu/tfp2007/
.
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.
BEST
STUDENT PAPER AWARD
TFP traditionally pays special attention
to research students, acknowledging that
students are almost by definition part
of new subject trends. A prize for the best
student paper is awarded each year.
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.
The submission must clearly indicate
to which category it belongs to: research, position,
project, evaluation, or overview paper.
It should also indicate whether the main author
or authors are research students. Formatting
details can be found at the TFP 2007 website.
Submission procedures will be posted
on the TFP 2007 website as the submission deadline is
reached.
The papers in the draft proceedings
will also be made available on-line under the following
conditions, with which all authors are
asked to agree:
The documents distributed
by this server have been provided by the
contributing authors as
a means to ensure timely dissemination of
scholarly and technical
work on a noncommercial basis. Copyright and
all rights therein are
maintained by the authors or by other
copyright holders, notwithstanding
that they have offered their
works here electronically.
It is understood that all persons copying
this information will
adhere to the terms and constraints invoked by
each author's copyright.
These works may not be reposted without the
explicit permission of
the copyright holder.
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. All TFP authors
will be invited to submit revised papers after the
symposium. These will be refereed using
normal conference standards and a subset of the best
papers, over all categories, will be
selected for publication. Papers will be judged on their
contribution to the research area with
appropriate criteria applied to each category of paper.
Student papers will be given extra feedback
by the Program Committee in order to assist those
unfamiliar with the publication process.
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
SPONSORS
The Department
of Mathematics and Computer Science, Seton Hall University
The Department
of Computer Science, The City College of New York
The Center
for Algorithms and Interactive Scientific Software of The City College
of New York
The Grove
School of Engineering of The City College of New York
We are actively looking for additional
TFP sponsors, who may, for example, help to
subsidise attendance by research students.
If you or your organisation might be
willing to sponsor TFP, or if you know
someone who might be willing to do so, please
do not hesitate to contact the Program
Chair, Marco T. Morazan, or the Symposium Chair,
Henrik Nilsson. Your students will be
grateful!
************************************************************************************
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://cs.shu.edu/tfp2007/