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(a)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/
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(a)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/
CALL FOR PAPERS
Trends in Functional Programming 2007
New York, USA
April 2-4, 2007
http://cs.shu.edu/tfp2007/
OR
http://tltc.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(a)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://tltc.shu.edu/tfp2007/http://cs.shu.edu/tfp2007/