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.6 required=5.0 tests=HTML_MESSAGE, MAILTO_TO_SPAM_ADDR,SPF_FAIL autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 78D21BC0A for ; Sun, 31 Dec 2006 15:44:55 +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 kBVEiplQ024586 for ; Sun, 31 Dec 2006 15:44:52 +0100 To: hugs-users@haskell.org Cc: caml-list@yquem.inria.fr Subject: Second Call for Papers: TFP 2007, New York, USA MIME-Version: 1.0 X-Mailer: Lotus Notes Release 6.5.4 March 27, 2005 Message-ID: From: Marco T Morazan Date: Sun, 31 Dec 2006 09:44:48 -0500 X-MIMETrack: Serialize by Router on MTA01/SHU(Release 7.0.1FP1 | May 25, 2006) at 12/31/2006 09:44:52 AM, Serialize complete at 12/31/2006 09:44:52 AM Content-Type: multipart/alternative; boundary="=_alternative 0051028085257255_=" X-Miltered: at concorde with ID 4597CCE3.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; co-located:01 co-located:01 icfp:01 recognizes:01 unpublished:01 debugging:01 author's:01 subset:01 subset:01 universiteit:01 michaelson:01 heriot-watt:01 henrik:01 nilsson:01 okasaki:01 This is a multipart message in MIME format. --=_alternative 0051028085257255_= Content-Type: text/plain; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable 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 The symposium on Trends in Functional Programming (TFP) is an=20 international forum =20 for researchers with interests in all aspects of functional programming=20 languages, =20 focusing on providing a broad view of current and future trends in=20 Functional =20 Programming. It aspires to be a lively environment for presenting the=20 latest =20 research results through acceptance by extended abstracts. A formal=20 post-symposium =20 refereeing process then selects the best articles presented at the=20 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) =20 and will be held in New York, USA, April 2-4, 2007 at the CCNY campus. =20 The TFP symposium is the successor to the successful series of Scottish=20 Functional =20 Programming Workshops. Previous TFP symposia were held in Edinburgh,=20 Scotland in=20 2003 (co-located with IFL), in Munich, Germany in 2004, in Tallinn,=20 Estonia in 2005 =20 (co-located with ICFP and GPCE), and in Nottingham, UK in 2006 =20 (co-located with Types). For further general information about TFP please=20 see the=20 TFP homepage at http://cs.shu.edu/tfp2007/ . =20 SCOPE OF THE SYMPOSIUM =20 The symposium recognizes that new trends may arise through various routes. = As part =20 of the Symposium's focus on trends we therefore identify the following=20 five article =20 categories. High-quality articles are solicited in any of these=20 categories: =20 Research Articles leading-edge, previously unpublished=20 research work Position Articles on what new trends should or should not=20 be =20 Project Articles descriptions of recently started new=20 projects =20 Evaluation Articles what lessons can be drawn from a=20 finished project =20 Overview Articles summarizing work with respect to a trendy = subject =20 Articles must be original and not submitted for simultaneous publication=20 to any other =20 forum. They may consider any aspect of functional programming:=20 theoretical, =20 implementation-oriented, or more experience-oriented. Applications of=20 functional =20 programming techniques to other languages are also within the scope of the = symposium. =20 Articles on the following subject areas are particularly welcomed: o Dependently Typed Functional Programming =20 o Validation and Verification of Functional Programs 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=20 o Functional Programming Applied to Global Computing =20 o Functional GRIDs =20 o Functional Programming Ideas in Imperative or Object-Oriented=20 Settings (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 = o New Implementation Strategies o any new emerging trend in the functional programming area =20 If you are in doubt on whether your article is within the scope of TFP,=20 please contact =20 the TFP 2007 program chair, Marco T. Morazan, at tfp2007@shu.edu. BEST STUDENT PAPER AWARD =20 TFP traditionally pays special attention to research students,=20 acknowledging that=20 students are almost by definition part of new subject trends. A prize for=20 the best =20 student paper is awarded each year.=20 SUBMISSION AND DRAFT PROCEEDINGS =20 Acceptance of articles for presentation at the symposium is based on the=20 review of =20 extended abstracts (6 to 10 pages in length) by the program committee.=20 Accepted =20 abstracts are to be completed to full papers before the symposium for=20 publication in =20 the draft proceedings and on-line. =20 The submission must clearly indicate to which category it belongs to:=20 research, position, =20 project, evaluation, or overview paper. It should also indicate whether=20 the main author=20 or authors are research students. Formatting details can be found at the=20 TFP 2007 website. =20 Submission procedures will be posted on the TFP 2007 website as the=20 submission deadline is =20 reached. =20 The papers in the draft proceedings will also be made available on-line=20 under the following =20 conditions, with which all authors are asked to agree: =20 The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of=20 scholarly and technical work on a noncommercial basis. Copyright and = =20 all rights therein are maintained by the authors or by other =20 copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying = =20 this information will adhere to the terms and constraints invoked by = =20 each author's copyright. These works may not be reposted without the = =20 explicit permission of the copyright holder. =20 POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we intend to continue the=20 TFP tradition of =20 publishing a high-quality subset of contributions in the Intellect series=20 on Trends in =20 Functional Programming. All TFP authors will be invited to submit revised=20 papers after the =20 symposium. These will be refereed using normal conference standards and a=20 subset of the best =20 papers, over all categories, will be selected for publication. Papers will = be judged on their =20 contribution to the research area with appropriate criteria applied to=20 each category of paper. =20 Student papers will be given extra feedback by the Program Committee in=20 order to assist those =20 unfamiliar with the publication process.=20 IMPORTANT DATES =20 Abstract Submission: February 1, 2007 =20 Notification of Acceptance: February 20, 2007 =20 Registration Deadline: March 2, 2007 =20 Camera Ready Full Paper Due: March 9, 2007 =20 TFP Symposium: April 2-4, 2007 =20 PROGRAMME COMMITTEE =20 John Clements California Polytechnic State=20 University, USA =20 Marko van Eekelen Radboud Universiteit Nijmegen,=20 The 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 =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 ORGANIZATION =20 Symposium Chair: Henrik Nilsson, University of=20 Nottingham, UK =20 Programme Chair: Marco T. Morazan, Seton Hall=20 University, USA =20 Treasurer: Greg Michaelson, Heriot-Watt=20 University, UK =20 Local Arrangements: Marco T. Morazan, Seton Hall=20 University, USA =20 SPONSORS =20 The Department of Mathematics and Computer Science, Seton Hall=20 University =20 The Department of Computer Science, The City College of New York = =20 The Center for Algorithms and Interactive Scientific Software of=20 The City College of New York =20 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 =20 subsidise attendance by research students. If you or your organisation=20 might be =20 willing to sponsor TFP, or if you know someone who might be willing to do=20 so, please =20 do not hesitate to contact the Program Chair, Marco T. Morazan, or the=20 Symposium Chair, =20 Henrik Nilsson. Your students will be grateful! =20 ***************************************************************************= *********=20 =20 Dr. Marco T. Morazan =20 TFP 2007 =20 Program Committee Chair =20 http://cs.shu.edu/tfp2007/ =20 --=_alternative 0051028085257255_= Content-Type: text/html; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable
          &= nbsp;             CALL FOR PAPERS    
          &= nbsp;     Trends in Functional Programming 2007 &= nbsp;  
          &= nbsp;                New York, USA=    
          &= nbsp;                 April 2-4, 2007    
          &= nbsp;             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 live= ly 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) &n= bsp;  
and will be held in New York, USA, A= pril 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 Munic= h, 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/tf= p2007/ .    



          &= nbsp;                     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-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    
        Evaluati= on Articles        what lessons can be drawn from a finish= ed project    
        Overview Articles        summarizing work with respect to a trendy subject    


Articles must be original and not su= bmitted for simultaneous publication to any other   &nbs= p;  
forum. They may consider any aspect of functional programming: theoretical,      
implementation-oriented, or more exp= erience-oriented. Applications of functional      
programming techniques to other lang= uages are also within the scope of the symposium.    

Articles on the following subject ar= eas are particularly welcomed:

    o Dependently Typed Fu= nctional Programming    
    o Validation and Verif= ication of Functional Programs
    o Debugging for Functi= onal Languages    
    o Functional Programmi= ng and Security    
    o Functional Programmi= ng and Mobility    
    o Functional Programmi= ng to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifica= tions    
    o Functional Languages for Telecommunications Applications    
    o Functional Languages for Embedded Systems
    o Functional Programmi= ng Applied to Global Computing    
    o Functional GRIDs    
    o Functional Programmi= ng Ideas in Imperative or Object-Oriented Settings (and the converse)    
    o Interoperability with Imperative Programming Languages    
    o Novel Memory Managem= ent Techniques    
    o Parallel/Concurrent Functional Languages    
    o Program Transformati= on Techniques    
    o Empirical Performance Studies    
    o Abstract/Virtual Mac= hines and Compilers for Functional Languages    
    o New Implementation S= trategies
    o any new emerging tre= nd 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@shu.edu.



          &= nbsp;                     BEST STUDENT PAPER AWARD    


TFP traditionally pays special atten= tion to research students, acknowledging that
students are almost by definition pa= rt of new subject trends. A prize for the best  
student paper is awarded each year.



          &= nbsp;                     SUBMI= SSION 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   &nb= sp;  
abstracts are to be completed to full papers before the symposium for publication in      
the draft proceedings and on-line. <= /font> 


The submission must clearly indicate to which category it belongs to: research, position, =    
project, evaluation, or overview pap= er. It should also indicate whether the main author
or authors are research students. Fo= rmatting 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 a= re asked to agree:    

    The documents distribu= ted 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, not= withstanding that they have offered their
    works here electronica= lly. It is understood that all persons copying   &nbs= p;
    this information will adhere to the terms and constraints invoked by    
    each author's copyrigh= t. These works may not be reposted without the    
    explicit permission of the copyright holder.    



          &= nbsp;             POST-SYMPOSIUM REFEREEING AND PUBLICATION


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 Programming. All TFP auth= ors will be invited to submit revised papers after the  
symposium. These will be refereed us= ing 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 wi= th appropriate criteria applied to each category of paper.    

Student papers will be given extra f= eedback by the Program Committee in order to assist those    
unfamiliar with the publication proc= ess.



          &= nbsp;             IMPORTANT DATES    


        Abstract Submission: February 1, 2007    
        Notifica= tion of Acceptance: February 20, 2007    
        Registra= tion Deadline: March 2, 2007    
        Camera R= eady Full Paper Due: March 9, 2007    
        TFP Symp= osium: April 2-4, 2007    




          &= nbsp;                     PROGR= AMME COMMITTEE    



        John Cle= ments                California Polytechn= ic State University, USA    
        Marko van Eekelen                Radboud Universiteit Nijmegen, The Netherlands    
        Benjamin Goldberg                New York University, USA    
        Kevin Ha= mmond                University of St. Andrews, UK    
        Patricia Johann                Rutgers Unive= rsity, USA      
        Hans-Wol= fgang Loidl        Ludwig-Maximilians Universit=E4t M=FCnchen, Germany    
        Rita Loo= gen                Philipps-Universit= =E4t Marburg, Germany    
        Greg Mic= haelson                Heriot-Watt Universi= ty, UK    
        Marco T. Moraz=E1n (Chair)        Seton Hall University, USA    
        Henrik N= ilsson                University of Nottin= gham, UK    
        Chris Ok= asaki                United States Milita= ry 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 Rep= py                University of Chicag= o, USA    
        Ulrik P. Schultz                University of Southern Denmark, Denmark    
        Clara Se= gura                Universidad Complute= nse de Madrid, Spain    
        Jocelyn S=E9rot                Universit=E9 Blaise Pascal, France      
        Zhong Sh= ao                Yale University, USA  
        Olin Shi= vers                Georgia Institute of Technology, USA      
        Phil Tri= nder                Heriot-Watt Universi= ty, UK    
        David Wa= lker                Princeton University, USA    



          &= nbsp;                      = ;ORGANIZATION    


        Symposium Chair:                Henrik Nilsso= n, University of Nottingham, UK    
        Programme Chair:                Marco T. Morazan, Seton Hall University, USA    
        Treasure= r:                        Greg Michaelson, Heriot-Watt University, UK &nb= sp;  
        Local Ar= rangements:        Marco T. Morazan, Seton Hall University, USA    



          &= nbsp;                             SPONSORS    


        The Depa= rtment of Mathematics and Computer Science, Seton Hall University    

        The Depa= rtment of Computer Science, The City College of New York &nb= sp;  

        The Cent= er 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 addition= al TFP sponsors, who may, for example, help to    
subsidise attendance by research stu= dents. If you or your organisation might be    
willing to sponsor TFP, or if you kn= ow someone who might be willing to do so, please  <= /font>
do not hesitate to contact the Progr= am 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/     --=_alternative 0051028085257255_=--