From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.3 required=5.0 tests=AWL,HTML_MESSAGE, MAILTO_TO_SPAM_ADDR,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 5FB75BC0A for ; Fri, 19 Jan 2007 22:13:44 +0100 (CET) Received: from mta01.shu.edu (mta01.shu.edu [149.150.209.21]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0JLDfxr000368 for ; Fri, 19 Jan 2007 22:13:42 +0100 To: caml-list@yquem.inria.fr Cc: hugs-users@haskell.org Subject: Final Call for Papers: TFP 2007, New York, USA MIME-Version: 1.0 X-Mailer: Lotus Notes Release 7.0.1 January 17, 2006 Message-ID: From: Marco T Morazan Date: Fri, 19 Jan 2007 16:13:39 -0500 X-MIMETrack: Serialize by Router on MTA01/SHU(Release 7.0.1FP1 | May 25, 2006) at 01/19/2007 04:13:41 PM, Serialize complete at 01/19/2007 04:13:41 PM Content-Type: multipart/alternative; boundary="=_alternative 00749C0E85257268_=" X-Miltered: at concorde with ID 45B13485.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; recognizes:01 unpublished:01 debugging:01 subset:01 universiteit:01 michaelson:01 heriot-watt:01 henrik:01 nilsson:01 okasaki:01 reppy:01 jocelyn:01 serot:01 zhong:01 shao:01 This is a multipart message in MIME format. --=_alternative 00749C0E85257268_= Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable Dear Colleagues,=20 The abstract submission deadline, February 1, is quickly approaching. We=20 hope to see you at TFP 2007 in New York.=20 NEW: Abstract submission is now open! Link:=20 http://cs.shu.edu/tfp2007/submissions.html NEW: Invited Talk: John McCarthy, Standford University=20 CALL FOR PAPERS=20 Trends in Functional Programming 2007=20 New York, USA=20 April 2-4, 2007=20 http://cs.shu.edu/tfp2007/=20 =20 =20 The symposium on Trends in Functional Programming (TFP) is an=20 international forum for researchers with interests in all aspects of=20 functional programming languages, focusing on providing a broad view of=20 current and future trends in Functional Programming. It aspires to be a=20 lively environment for presenting the latest research results through=20 acceptance by extended abstracts. A formal post-symposium refereeing=20 process then selects the best articles presented at the symposium for=20 publication in a high-profile volume. =20 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. =20 SCOPE OF THE SYMPOSIUM=20 =20 The symposium recognizes that new trends may arise through various routes. = As part of the Symposium's focus on trends we therefore identify the=20 following five article categories. High-quality articles are solicited in = any of these categories: =20 =20 Research Articles leading-edge, previously unpublished research=20 work=20 Position Articles on what new trends should or should not be =20 Project Articles descriptions of recently started new projects =20 Evaluation Articles what lessons can be drawn from a finished=20 project=20 Overview Articles summarizing work with respect to a trendy=20 subject=20 =20 Articles must be original and not submitted for simultaneous publication=20 to any other forum. They may consider any aspect of functional=20 programming: theoretical, implementation-oriented, or more=20 experience-oriented. Applications of functional programming techniques to=20 other languages are also within the scope of the symposium.=20 =20 Articles on the following subject areas are particularly welcomed:=20 =20 o Dependently Typed Functional Programming =20 o Validation and Verification of Functional Programs=20 o Debugging for Functional Languages=20 o Functional Programming and Security=20 o Functional Programming and Mobility=20 o Functional Programming to Animate/Prototype/Implement Systems from=20 Formal or Semi-Formal Specifications =20 o Functional Languages for Telecommunications Applications=20 o Functional Languages for Embedded Systems o Functional Programming Applied to Global Computing=20 o Functional GRIDs=20 o Functional Programming Ideas in Imperative or Object-Oriented Settings=20 (and the converse)=20 o Interoperability with Imperative Programming Languages=20 o Novel Memory Management Techniques=20 o Parallel/Concurrent Functional Languages=20 o Program Transformation Techniques =20 o Empirical Performance Studies =20 o Abstract/Virtual Machines and Compilers for Functional Languages =20 o New Implementation Strategies=20 o any new emerging trend in the functional programming area=20 =20 If you are in doubt on whether your article is within the scope of TFP,=20 please contact the TFP 2007 program chair, Marco T. Morazan, at=20 tfp2007@shu.edu.=20 =20 =20 SUBMISSION AND DRAFT PROCEEDINGS=20 =20 Acceptance of articles for presentation at the symposium is based on the=20 review of extended abstracts (6 to 10 pages in length) by the program=20 committee. Accepted abstracts are to be completed to full papers before=20 the symposium for publication in the draft proceedings and on-line.=20 Further details can be found at the TFP 2007 website.=20 =20 =20 POST-SYMPOSIUM REFEREEING AND PUBLICATION=20 =20 In addition to the draft symposium proceedings, we intend to continue the=20 TFP tradition of publishing a high-quality subset of contributions in the=20 Intellect series on Trends in Functional Programming. =20 =20 IMPORTANT DATES=20 =20 Abstract Submission: February 1, 2007=20 Notification of Acceptance: February 20, 2007 Registration Deadline: March 2, 2007 =20 Camera Ready Full Paper Due: March 9, 2007 TFP Symposium: April 2-4, 2007=20 =20 =20 PROGRAMME COMMITTEE =20 John Clements California Polytechnic State=20 University, USA =20 Marko van Eekelen Radboud Universiteit Nijmegen, The=20 Netherlands =20 Benjamin Goldberg New York University, USA =20 Kevin Hammond University of St. Andrews, UK =20 Patricia Johann Rutgers University, USA =20 Hans-Wolfgang Loidl Ludwig-Maximilians Universit=E4t M=FCnch= en,=20 Germany =20 Rita Loogen Philipps-Universit=E4t Marburg, Germany = =20 Greg Michaelson Heriot-Watt University, UK =20 Marco T. Moraz=E1n (Chair) Seton Hall University, USA =20 Henrik Nilsson University of Nottingham, UK =20 Chris Okasaki United States Military Academy at=20 West Point, USA =20 Rex Page University of Oklahoma, USA =20 Ricardo Pena Universidad Complutense de Madrid,=20 Spain =20 Benjamin C. Pierce University of Pennsylvania, USA =20 John Reppy University of Chicago, USA =20 Ulrik P. Schultz University of Southern Denmark,=20 Denmark =20 Clara Segura Universidad Complutense de Madrid,=20 Spain =20 Jocelyn S=E9rot Universit=E9 Blaise Pascal, France = =20 Zhong Shao Yale University, USA =20 Olin Shivers Georgia Institute of Technology, USA = =20 Phil Trinder Heriot-Watt University, UK =20 David Walker Princeton University, USA =20 =20 =20 ORGANIZATION =20 =20 Symposium Chair: Henrik Nilsson, University of Nottingham, UK =20 Programme Chair: Marco T. Morazan, Seton Hall University, USA =20 Treasurer: Greg Michaelson, Heriot-Watt University, UK=20 Local Arrangements: Marco T. Morazan, Seton Hall University, USA =20 ***************************************************************************= ********* Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/=20 --=_alternative 00749C0E85257268_= Content-Type: text/html; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable
Dear Colleagues,

The abstract submission deadline, Fe= bruary 1, is quickly approaching. We hope to see you at TFP 2007 in New York.


NEW: Abstract submissi= on is now open! Link: http://cs.shu.edu/tfp2007/submissions.html

NEW: Invited Talk: John McCarthy, Standford University


CALL FOR PAPERS
Trends in Functional Programming 200= 7
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 resul= ts through acceptance by extended abstracts. A formal post-symposium refereeing process then selects the best articles presented at the symposium for publi= cation 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 tr= ends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article  categories. High-qua= lity articles are solicited in any of these categories:    
 
Research Articles     &nbs= p;  leading-edge, previously unpublished research work
Position Articles     &nbs= p;    on what new trends should or should not be    
Project Articles           descriptions of recently started new projects  
Evaluation Articles     &n= bsp; what lessons can be drawn from a finished project
Overview Articles     &nbs= p;   summarizing work with respect to a trendy subject
 
Articles must be original and not su= bmitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical,  implementation-oriente= d, or more experience-oriented. Applications of functional programming techniq= ues to other languages are also within the scope of the symposium.
 
Articles on the following subject ar= eas are particularly welcomed:
 
o Dependently Typed Functional Progr= amming    
o Validation and Verification of Fun= ctional Programs
o Debugging for Functional Languages=
o Functional Programming and Securit= y
o Functional Programming and Mobilit= y
o Functional Programming to Animate/= Prototype/Implement Systems from Formal or Semi-Formal Specifications &nb= sp;
o Functional Languages for Telecommu= nications Applications
o Functional Languages for Embedded Systems
o Functional Programming Applied to Global Computing
o Functional GRIDs
o Functional Programming Ideas in Im= perative or Object-Oriented Settings (and the converse)
o Interoperability with Imperative P= rogramming Languages
o Novel Memory Management Techniques=
o Parallel/Concurrent Functional Lan= guages
o Program Transformation Techniques    
o Empirical Performance Studies &nbs= p;  
o Abstract/Virtual Machines and Comp= ilers for Functional Languages    
o New Implementation Strategies
o any new emerging trend in the func= tional 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.
 
 
SUBMISSION AND DRAFT PROCEEDINGS
 
Acceptance of articles for presentat= ion 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 PUBLIC= ATION
 
In addition to the draft symposium p= roceedings, we intend to continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programmin= g.  
 
IMPORTANT DATES
 
Abstract Submission: February 1, 200= 7
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       &= nbsp;                California Polytechn= ic State University, USA    
Marko van Eekelen     &nbs= p;          Radboud Universiteit Nijmegen, The Nether= lands    
Benjamin Goldberg     &nbs= p;          New York University, USA    
Kevin Hammond       &= nbsp;        University of St. Andrews, UK  
Patricia Johann                        Rutgers Unive= rsity, USA    
Hans-Wolfgang Loidl     &n= bsp;          Ludwig-Maximilians Universit=E4t M=FCnche= n, Germany    
Rita Loogen       &nb= sp;                Philipps-Universit= =E4t Marburg, Germany  
Greg Michaelson                Heriot-Watt University, UK   =  
Marco T. Moraz=E1n (Chair)   &n= bsp;    Seton Hall University, USA    =
Henrik Nilsson                        University of Nottingham, UK    
Chris Okasaki       &= nbsp;                United States Milita= ry Academy at West Point, USA    
Rex Page                        University of Oklaho= ma, USA    
Ricardo Pena       &n= bsp;                Universidad Complute= nse de Madrid, Spain    
Benjamin C. Pierce     &nb= sp;          University of Pennsylvania, USA    
John Reppy       &nbs= p;                University of Chicag= o, USA    
Ulrik P. Schultz                        University of Southern Denmark, Denmark    
Clara Segura       &n= bsp;                Universidad Complute= nse de Madrid, Spain    
Jocelyn S=E9rot      =                  Universit=E9 Blaise Pascal, France    
Zhong Shao       &nbs= p;                Yale University, USA  
Olin Shivers       &n= bsp;                Georgia Institute of Technology, USA    
Phil Trinder       &n= bsp;                Heriot-Watt Universi= ty, UK    
David Walker       &n= bsp;                Princeton University, USA  
 
 
ORGANIZATION    
 
Symposium Chair:        Henrik Nilsson, University of Nottingham, UK    
Programme Chair:        Marco T. Morazan, Seton Hall University, USA    
Treasurer:       &nbs= p;        Greg Michaelson, Heriot-Watt University, UK
Local Arrangements:     &n= bsp;  Marco T. Morazan, Seton Hall University, USA &n= bsp;



************************************= ************************************************
Dr. Marco T. Morazan
TFP 2007
Program Committee Chair
http://cs.shu.edu/tfp2007/ --=_alternative 00749C0E85257268_=--