[TYPES/announce] Final Call for Papers: TFP 2007, New York, USA

[Marco T Morazan]

CALL FOR PAPERS
Trends in Functional Programming 2007
New York, USA
April 2-4, 2007
http://cs.shu.edu/tfp2007/

NEW: Abstract submission is now opened! Link: 
http://cs.shu.edu/tfp2007/submissions.html

NEW: Invited Talk: John McCarthy, Standford University
 
 
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 


**********************************************************************************
Prof. Marco T. Morazan
Dept. of Mathematics and Computer Science
Seton Hall University

"On theories such as these we cannot rely. Proof we need. Proof!" 
           -- Yoda, Jedi Master
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070120/fc5ce121/attachment.htm