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 MAA06204; Fri, 23 May 2003 12:04:18 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 MAA06947 for ; Fri, 23 May 2003 12:04:17 +0200 (MET DST) Received: from topper.inf.ed.ac.uk (topper.inf.ed.ac.uk [129.215.32.40]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h4NA4GH06388 for ; Fri, 23 May 2003 12:04:16 +0200 (MET DST) Received: from inf.ed.ac.uk (IDENT:stg@beetgreens.inf.ed.ac.uk [129.215.32.81]) by topper.inf.ed.ac.uk (8.11.6/8.11.6) with ESMTP id h4NA46002626; Fri, 23 May 2003 11:04:06 +0100 Message-ID: <3ECDF216.9050808@inf.ed.ac.uk> Date: Fri, 23 May 2003 11:04:06 +0100 From: Stephen Gilmore User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02 X-Accept-Language: en-us, en MIME-Version: 1.0 To: smlnj-dev-list@lists.sourceforge.net, SMLNET-USERS@JISCMAIL.AC.UK, polyml@inf.ed.ac.uk, mlj-users@inf.ed.ac.uk, mlkit@it.edu, caml-list@inria.fr, appsem@appsem.org, mrg@inf.ed.ac.uk, lfcs-interest@inf.ed.ac.uk Subject: [Caml-list] Joint IFL/TFP 2003 Call For Papers, Edinburgh, September 2003 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; stg:99 ifl:01 homepages:99 engaged:99 runtime:01 debugging:01 lncs:01 springer:01 refereed:01 heriot-watt:01 expressing:01 typeful:01 inference:01 sept:99 referees:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk [Apologies for multiple copies of this message.] Joint IFL/TFP 2003 Call For Papers Between 8th and 12th September 2003 the - 15th Int. Workshop on the Implementation of Functional Languages http://www.macs.hw.ac.uk/~ifl03 - 4th Int. Symposium on Trends in Functional Programming http://homepages.inf.ed.ac.uk/stg/workshops/TFP/ will be co-located in Edinburgh Both calls for papers are appended below. ============================================================= IFL 2003 15th International Workshop on the IMPLEMENTATION OF FUNCTIONAL LANGUAGES Edinburgh Scotland September 8th - 10th, 2003 http://www.macs.hw.ac.uk/~ifl03 ============================================================= Important dates --------------- Registration deadline: August 1st, 2003 Submission deadline : August 22nd, 2003 Workshop : September 8-10th, 2003 ============================================================= Scope of IFL 2003 ----------------- The aim of the workshop is to bring together researchers and users actively engaged in the implementation and application of functional programming languages to discuss results and new directions of research. The workshop is intended to provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results etc. related primarily but not exclusively to the implementation of functional or function-based languages. A not necessarily exhaustive list of topics includes language concepts type checking compilation techniques (abstract) interpretation automatic program generation (abstract) machine architectures array processing concurrent/parallel programming and program execution heap management runtime profiling and performance measurements debugging and tracing verification of functional programs tools and programming techniques Contributions on applications of functional programming, e.g., in teaching, or on theoretical work in any of the above areas are also welcome. This year's workshop is co-located with the 4th International Symposium on Trends in Functional Programming (TFP'03) . Contributions ------------- All attendees are encouraged to submit papers to be published in the draft proceedings and to give presentations at the workshop. Submitted papers must be written in English, conform to the LNCS format (available at: http://www.springer.de/comp/authors/index.html) and not exceed 16 pages. Papers should be submitted by August 22nd as postscript or pdf files using the submission page of the workshop accessible through http://www.macs.hw.ac.uk/~ifl03 After the workshop, a high-quality subset of contributions will be published in the Springer LNCS series. All speakers attending the workshop are invited to submit a paper. Papers for the LNCS proceedings will be refereed according to normal conference standards. Greg Michaelson and Phil Trinder (Organizing Committee Chairs) School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh, EH14 4AS E-mail: {greg,trinder}@macs.hw.ac.uk Teleph: +44 (0)131 451 3435 Depart: +44 (0)131 451 3328 Fasmly: +44 (0)131 451 3327 Intrnt: http://www.macs.hw.ac.uk/~greg http://www.macs.hw.ac.uk/~trinder ============================================================ TFP 2003 Fourth International symposium on Trends in Functional Programming Edinburgh, Scotland September 11th - 12th, 2003 http://homepages.inf.ed.ac.uk/stg/workshops/TFP/ The international symposium on Trends in Functional Programming continues the Scottish Functional Programming Workshop series. These workshops bring together researchers with interests in all aspects of functional programming languages. Papers on all aspects of functional programming are welcomed, be they implementation-oriented, theoretical, or experience papers. This year's workshop is co-located with the 15th International Workshop on the Implementation of Functional Languages (IFL '03) . Workshop Topics Papers on any aspect of functional programming are welcome. Papers on the following subject areas are particularly welcome. * rich type systems, including type systems for expressing resource bounds or other safety properties; * linear type systems, soft type systems, typeful programming; * reasoning about functional programs, semantics of functional languages; * inductive or co-inductive techniques, proof nets; * mobile-code functional programming languages; * parallel programming with functional languages, cost models for functional programs; * compilation of functional languages for the Java Virtual Machine; * 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 (e.g. Cyclone); * performance measurements, optimisation techniques, implementation techniques; * experience papers: applications of functional programming or functional programming in education. The above list is not exhaustive. Papers on other topics are also welcome. Contributions All attendees are encouraged to submit papers to be published in the draft proceedings and to give presentations at the workshop. Submitted papers must be written in English and not exceed 16 pages. Papers should be submitted as postscript (or pdf) by email to the workshop chair, Stephen Gilmore . Proceedings We intend to publish a high-quality subset of contributions in a highly-regarded series. All speakers attending the workshop are invited to submit a paper. Papers for the proceedings will be refereed according to normal conference standards. This implies (among other things) that: * the paper should be written in English * the paper is well written * 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. * the paper should not exceed 16 pages. * the paper should be submitted as postscript (or pdf) by email to the workshop chair, Stephen Gilmore . Dates Aug 2nd 2003 : Submission for draft proceedings Sept 11th - Sept 12th 2003 : Workshop Oct 31st 2003 : Submission for referees process Dec 12th 2003 : Notification of acceptance/rejection Jan 23rd 2004 : Camera-ready papers Event Site The workshop will take place at The Pollock Halls in the city center of Edinburgh . Previous workshops The TFP workshop continues the Scottish Functional Programming Workshop series. The previous SFPW meetings were Stirling (2001), St. Andrews (2000), Stirling (1999). Program Committee (provisional) Sharon Curtis Oxford Brookes University Stephen Gilmore (Chair) The University of Edinburgh Kevin Hammond University of St Andrews Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat, Munchen Bruce McAdam Robert Gordon University Greg Michaelson Heriot-Watt University John O'Donnell University of Glasgow Phil Trinder Heriot-Watt University -- Stephen Gilmore Laboratory for Foundations of Computer Science The University of Edinburgh Edinburgh EH9 3JZ Scotland ------------------- 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