Following on from the success of the First Scottish Functional Programming Workshop, held in Stirling, the second workshop will be held at the ancient University of St Andrews, in the Kingdom of Fife, from 26th to 28th July 2000.

Central Scotland has been very influential in the development of functional programming, with notable contributions including the design, development and implementation of SASL, Standard ML and Haskell. At present there are internationally recognised research groups at the University of Edinburgh, University of Glasgow, Heriot-Watt University and the University of St Andrews, investigating a variety of theoretical and practical aspects of functional programming. The Scottish Functional Programming Workshops draw on the strengths of these and other Scottish centres, and are the worthy successor to the highly-successful series of Glasgow Functional Programming Workshops which ran from 1988 to 1998.

The scope of the Workshops covers all aspects of functional programming, including (but not restricted to):

language design proof and transformation semantics and models implementation applications type systems parallelism and distribution performance modelling & profiling education real time and reactive programming programming methodologies

Participants will be selected on the basis of a two page abstract, due on Friday, 14^th April, 2000. Participation is open, but if the workshop is oversubscribed then some preference may be shown to researchers in Scotland, especially postgraduate students, and to those with links to Scottish research groups.

All participants are expected to give a short presentation of their research. Papers from all participants will appear in the draft proceedings. A fully refereed proceedings will be published as a book after the workshop.

Key dates

Final proceedings paper submission

Please send your paper to stg@dcs.ed.ac.uk, following the workshop's camera-ready copy instructions.