[clean-list] Final Call for Papers: TFP 2007, New York, USA

[TFP 2007]

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 



************************************************************************************
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://cs.shu.edu/tfp2007/ 
_______________________________________________
Haskell mailing list
Haskell at haskell.org
http://www.haskell.org/mailman/listinfo/haskell