From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA26640; Mon, 11 Oct 2004 08:15:01 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA26626 for ; Mon, 11 Oct 2004 08:14:59 +0200 (MET DST) Received: from mwinf0206.wanadoo.fr (smtp2.wanadoo.fr [193.252.22.29]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9B6Exc0027859 for ; Mon, 11 Oct 2004 08:14:59 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0206.wanadoo.fr (SMTP Server) with SMTP id 6430C18000C7; Mon, 11 Oct 2004 08:14:59 +0200 (CEST) Received: from wanadoo.fr (AOrleans-204-1-3-110.w81-249.abo.wanadoo.fr [81.249.145.110]) by mwinf0206.wanadoo.fr (SMTP Server) with ESMTP id 6A50118000E0; Mon, 11 Oct 2004 08:14:58 +0200 (CEST) Message-ID: <416A2491.9090306@wanadoo.fr> Date: Mon, 11 Oct 2004 08:13:37 +0200 From: =?ISO-8859-1?Q?Ga=E9tan_Hains?= Reply-To: gaetan@hains.org Organization: LIFO User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.5) Gecko/20031007 X-Accept-Language: fr, en MIME-Version: 1.0 To: project@caraml.org, caml-list@inria.fr Subject: [Caml-list] [Fwd: [Skeletons] CFP: TFP04 Symp on Trends in Functional Programming] Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 416A24E3.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; symp:99 hwl:99 2004:99 ifi:01 declarative:01 expressing:01 typeful:01 inference:01 inference:01 refereed:01 ifi:01 lionel:01 2004:99 referees:01 2005:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk [ The registration page for TFP04 is now open: registration deadline is Nov 1; Deadline for paper submissions is Nov 15th. Apologies for repeated copies of this message -- HWL ] CALL FOR PAPERS TFP 2004 Fifth Symposium on Trends in Functional Programming November 25-26th 2004, Ludwig-Maximilians University, Munich, Germany http://www.tcs.ifi.lmu.de/~hwloidl/TFP04 The Symposium on Trends in Functional Programming is an international forum for researchers with interests in all aspects of functional programming languages. It succeeds TFP03 in Edinburgh and continues the Scottish Functional Programming Workshop series from 1999-2002. Papers on all aspects of functional programming are welcomed, be they theoretical, implementation-oriented, or experience papers. The venue for this year's symposium will be Ludwig-Maximilians University in central Munich. WORKSHOP TOPICS Papers on any aspect of functional programming are welcomed. Papers on the following subject areas are particularly welcome: * design and implementation of functional or declarative languages; * rich type systems, including type systems for expressing side-effects, resource bounds, or other safety properties; * linear type systems, soft type systems, typeful programming; * formal aspects of functional programming, semantics, reasoning, verification; * inductive or co-inductive techniques, proof nets; * mobile-code functional programming languages; * parallel programming with functional languages, cost models for functional programs; * functional aspects of imperative programming, functional bytecode; * interoperability with imperative programming languages, calling imperative from functional or vice versa; * type inference algorithms, type error repair, deep types; * strongly-typed imperative languages with inference; * optimisation techniques, implementation techniques, and performance measurements; * experience papers: applications of functional programming or functional programming in education. PROCEEDINGS As with the previous instances of TFP and SFP, we intend to publish a high-quality subset of contributions in the Intellect Trends in Functional Programming series. All speakers attending the workshop are invited to submit a paper for the draft proceedings. Revised papers will be refereed after the symposium according to normal conference standards for publication by Intellect. This implies (among other things) that: * the paper should be written in English * the paper is well written * the topic of the paper should be stated clearly * the approach to solve the problem should be outlined clearly * a detailed discussion of the solution has to be given * the solution is compared with relevant related work * there is an abstract, introduction and conclusion. * the conclusion should summarise the problem, the solution, and how this solves the problem. * papers must not exceed 16 pages. * the paper should conform to the TFP format * the paper should be submitted as a PostScript or a PDF file using the paper submission page in case of problems with the on-line submission process, send the paper by email to the programme chair, Hans-Wolfgang Loidl DATES Nov 1st 2004: Registration deadline Nov 15th 2004: Submission for draft proceedings Nov 25-26th 2004: Symposium at Ludwig-Maximilians University, Munich Dec 20th 2004: Submission for referees process Jan 31st 2005: Notification of acceptance/rejection PREVIOUS WORKSHOPS The previous instance of TFP was held in Edinburgh 2003 and continues the Scottish Functional Programming Workshop series with previous meetings at Stirling (2001), St. Andrews (2000), and Stirling (1999). The TFP series strives to combine an active workshop environment for presenting latest research, with a formal post-symposium refereeing process and the publication of a high-profile proceedings (see ). For a review of past TFP proceedings, see the July 2003 issue of the JFP 13(4):823-824 at . Sponsorship funding available to us will be used to reduce registration rates for PhD students, who present proof of affiliation in advance of the symposium. PROGRAM COMMITTEE * Stephen Gilmore, University of Edinburgh * Gaetan Hains, Universite d'Orleans * Kevin Hammond, University of St Andrews * John Hughes, Chalmers University * Hans-Wolfgang Loidl, Ludwig-Maximilians-University Munich (Chair) * Rita Loogen, Philipps-University Marburg * Greg Michaelson, Heriot-Watt University * John O'Donnell, University of Glasgow * Ricardo Pena, Universidad Complutense de Madrid * Phil Trinder, Heriot-Watt University * Marko van Eekelen, University of Nijmegen * Phil Wadler, University of Edinburgh SPONSORS TFP is supported this year by the APPSEM II Thematic Network and the Mobile Resource Guarantees project, funded by the IST programme of the European Union. _______________________________________________ skeletons mailing list skeletons@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/skeletons ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners