The 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 theoretical, implementation-oriented, or experience papers.
This year's workshop is co-located with the 15th International Workshop on the Implementation of Functional Languages (IFL '03) http://www.macs.hw.ac.uk/~ifl03.
Papers on any aspect of functional programming are welcome. Papers on the following subject areas are particularly welcome.
The above list is not exhaustive. Papers on other topics are also welcome.
- rich type systems, including type systems for expressing 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;
- 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 on-site proceedings of the workshop can be found here.
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. Papers for the Intellect book 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
- 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.
- full papers must not exceed 16 pages.
- short papers must not exceed 8 pages.
- the paper should conform to the TFP format.
- the paper should be submitted as an Adobe PDF file by email to the workshop chair, Stephen Gilmore <firstname.lastname@example.org>.
|Aug 1st 2003:
|Aug 22nd 2003:
||Submission for draft proceedings
|Sept 11th - Sept 12th 2003:
|Nov 14th 2003:
||Submission for referees process
|Dec 19th 2003:
||Notification of acceptance/rejection
|Jan 30th 2004:
||Camera-ready papers due
||(PDFLaTeX source, PNG/PDF diagrams, BibTeX databases
||required as a Gzipped TAR archive)
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.
Papers should conform to the TFP format and should be submitted as Adobe PDF files by email to the workshop chair, Stephen Gilmore <email@example.com>.
- Full papers must not exceed 16 pages.
- Short papers must not exceed 8 pages.
The TFP workshop series continues the Scottish Functional Programming Workshop series. The previous SFPW meetings were Stirling (2001), St. Andrews (2000), Stirling (1999).
Program Committee (provisional)
Stephen Gilmore (Chair) The University of Edinburgh
Kevin Hammond University of St Andrews
Bruce McAdam Robert Gordon University
Hans-Wolfgang Loidl Ludwig-Maximilians-Universität, München
Greg Michaelson Heriot-Watt University
John O'Donnell University of Glasgow
Phil Trinder Heriot-Watt University
IFL and TFP are sponsored this year by the British Computer Society Formal Aspects of Computing Science special interest group. TFP has been supported this year by the Mobile Resource Guarantees project.
Web page maintained by Stephen Gilmore.
Last modified: Tue Nov 18 15:32:26 GMT 2003