From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 42C22BC8E for ; Tue, 3 May 2005 11:07:05 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j43974Rx006485 for ; Tue, 3 May 2005 11:07:05 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA11510 for ; Tue, 3 May 2005 11:07:04 +0200 (MET DST) Received: from galaxy.systems.pipex.net (galaxy.systems.pipex.net [62.241.162.31]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j4396xLh012458 for ; Tue, 3 May 2005 11:07:04 +0200 Received: from [10.0.1.2] (81-86-243-252.dsl.pipex.com [81.86.243.252]) by galaxy.systems.pipex.net (Postfix) with ESMTP id C9AB5E00020E for ; Tue, 3 May 2005 10:06:57 +0100 (BST) Mime-Version: 1.0 Message-Id: Date: Tue, 3 May 2005 10:05:51 +0100 To: caml-list@inria.fr From: Kevin Hammond Subject: [ANNOUNCEMENT]: TFP '05: First Call for Papers Content-Type: text/plain; charset="iso-8859-1" ; format="flowed" Content-Transfer-Encoding: quoted-printable X-Miltered: at nez-perce with ID 42773F38.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42773F33.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; dcs:01 st-and:01 rd-:01 co-located:01 icfp:01 lively:01 unpublished:01 subset:01 subset:01 michaelson:01 heriot-watt:01 therese:01 michaelson:01 heriot-watt:01 sven:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: [With apologies in advance for any duplication. Kevin] =46IRST CALL FOR PAPERS TFP 2005 : Sixth=20 Symposium on Trends in Functional Programming, September 23rd-24th 2005, Tallinn, Estonia=20 (co-located with ICFP 2005 and GPCE 2005). The 2005 Symposium on Trends in Functional=20 Programming (TFP '05) is an international forum for researchers with interests in all aspects of=20 functional programming languages, focusing on providing a broad view of current and future=20 trends in Functional Programming. Previous TFP symposia were held in Munich,=20 Germany in 2004, in Scotland in 2002 and 2003, as successors to the successful series of=20 Scottish Functional Programming Workshops. TFP aims to combine a=20 lively environment for presenting the latest research results with a formal post-symposium=20 refereeing process leading to the publication by Intellect of a high-profile volume=20 containing a selection of the best papers presented at the symposium. A review of a=20 previous TFP proceedings can be found in the July 2003 issue of the Journal of Functional Programming. BEST STUDENT PAPER AWARD TFP traditionally pays special attention to=20 research students, acknowledging that students are almost by definition part of new subject=20 trends. The TFP05 best student paper award (i.e. for the best paper with a student as first=20 author) acknowledges more formally the special attention TFP has for students. The 2004=20 award was given to Ron van Kesteren for the paper entitled: "Proof Support for General Type Classes". In order to enhance the quality of student=20 submissions, student papers will be given the option of a feedback on their submission to the=20 symposium proceedings. This feedback is intended for authors who are less familiar with a=20 formal publication process and will provide general qualitative feedback on the=20 submission, but will not give a grade or ranking. SCOPE OF THE SYMPOSIUM The Symposium recognises that new trends may=20 arise through various routes. As part of the Symposium's focus on trends we therefore identify=20 the following five categories of paper. High-quality papers are solicited in any of these categories: RESEARCH PAPERS (leading-edge, previously unpublished research work) POSITION PAPERS (on what new trends should or should not be) PROJECT PAPERS (descriptions of recently started new projects) EVALUATION PAPERS (what lessons can be drawn from a finished project) OVERVIEW PAPERS (summarizing work with respect to a trendy subject) Papers must be original, and not submitted for=20 simultaneous publication in any other forum. They may consider any aspect of functional=20 programming: theoretical, implementation- oriented, or more experience-oriented. Also=20 applications of functional programming techniques to other languages may be considered. Papers on the following subject areas are particularly welcome: o functional programming and security o functional programming and mobility o functional programming applied to global computing o functional languages for embedded systems o telecommunications applications in functional languages o functional GRIDs o validation and verification of functional programs o functional languages for reasoning about=20 imperative/object-oriented programs o interoperability with imperative programming languages o dependently typed functional programming o any new emerging trend in the functional programming area If you are in doubt on whether your paper is=20 within the scope of TFP, please contact the TFP05 program chair, Marko van Eekelen, marko@cs.ru.nl. PROCEEDINGS Acceptance to the symposium will be based upon=20 extended abstracts of at least 6 and at most 10 pages. Accepted abstracts are to be completed=20 to full papers for publication in the proceedings that will be available at the symposium in Tallinn. In addition, we intend to continue the TFP=20 tradition of publishing a high-quality subset of contributions in the Intellect series on Trends=20 in Functional Programming. Revised papers will be refereed after the symposium to the=20 normal standards and a subset of the best papers over all categories will be selected for publication by Intellect. This implies (among other things) that: * the paper is written in English. * the paper is well written. * the topic of the paper should be stated clearly. * the submission should clearly indicate to=20 which paper category it belongs: a research, position, project, evaluation or overview=20 paper; it should also indicate whether the paper is a student paper (i.e. first author a student). * for research papers, the approach to solving=20 the problem should be outlined clearly and a detailed discussion of the solution must be given. * the work is properly compared with relevant related work. * there is an abstract, introduction and conclusion. * for research papers, the conclusion should=20 summarise the problem, the solution, and how the work solves the problem. * papers for the symposium proceedings must=20 adhere to the formatting instructions using the tfp.cls style, as will be provided on=20 the TFP05 site; papers must not exceed 16 pages (papers in some categories may comprise considerably less pages)= =2E * papers submitted for publication by=20 Intellect must follow formatting and any other instructions provided by the Program Chair. Papers will be judged on their contribution to=20 the research area, with different criteria applying to different categories of paper, as appropriate. SIGNIFICANT DATES Submission of extended abstracts: Friday 8th July 2005 Notification of acceptance: Friday 22th July 2005 Early registration deadline: Friday 29th July 2005 Submission of full papers: Friday 2nd September 2005 Symposium at Tallinn, Estonia: Friday 23rd-Saturday 24th Sept. 2005 =46eedback to student papers: Friday 21st October 2005 (provisional) Submission for formal proceedings: Friday 16th December 2005 (provisional) Notification of acceptance: Friday 10th February 2006 (provisional) Camera-ready version: Friday 10th March 2006 (provisional) ORGANISATION Symposium Chair: Kevin Hammond (University of St. Andrews) Program Chair: Marko van Eekelen (Radboud University Nijmegen, NL) Local Organisation: Tarmo Uustalu (Institute of Cybernetics, Tallinn) Treasurer: Greg Michaelson (Heriot-Watt University, Edinburgh) PROGRAM COMMITTEE: Andrew Butterfield, Trinity College Dublin Therese Hardin, Universit=E9 Paris VI Kevin Hammond, St Andrews University John Hughes, Chalmers University Graham Hutton, University of Nottingham Hans-Wolfgang Loidl, Ludwig-Maximilians-University Munich Rita Loogen, Philipps-University Marburg Greg Michaelson, Heriot-Watt University Edinburgh John O'Donnell, University of Glasgow Ricardo Pe=F1a, Universidad Complutense de Madrid Claus Reinke, Canterbury, UK Sven Bodo Scholz, University of Hertfordshire Doaitse Swierstra, Utrecht University Phil Trinder, Heriot-Watt University Edinburgh Tarmo Uustalu, Institute of Cybernetics, Tallinn (and some other still unconfirmed members) SPONSORS We are actively looking for additional TFP=20 sponsors, who may help to subsidise attendance by research students, for example. If you or your=20 organization might be willing to sponsor TFP, or if you know someone who might be willing=20 to do so, please do not hesitate to contact the Symposium chair: Kevin Hammond. Your students will be grateful!