[Haskell] First Call for Papers: TFP 2007, New York

Marco Morazan morazanm at gmail.com
Fri Dec 1 13:18:34 EST 2006


 CALL FOR PAPERS
Trends in Functional Programming 2007
New York, USA
April 2-4, 2007
 http://cs.shu.edu/tfp2007/ <http://tltc.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 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20061201/28a0c45f/attachment.htm


More information about the Haskell mailing list