SFP Call for Participation

[Phil Trinder]

CALL FOR PARTICIPATION
3rd Scottish Functional Programming Workshop
University of Stirling
Aug 22nd-24th, 2001

You are invited to participate in the 3rd Scottish Functional
Programming Workshop. The draft programme is below, and both registration
form and additional information are available at:
  http://www.cee.hw.ac.uk/~greg/sfp3/

SFP'3 Draft Programme
=====================

Parallelism 
-----------

A Comparative Study of Skeleton-based Parallel 
Programming Environments Allowing Arbitrary Nesting
Remi Coudarcher, Jocelyn Serot, Jean-Pierre Derutin
Universite Blaise Pascal - Clermont II, France

BSP in a Lazy Functional Context
Quentin Miller
Universite d'Orleans, France

Parallel Functional Genetic Programming
Graeme McHale and Greg Michaelson
Heriot-Watt University, Scotland

Introduction of Pipelining into Gaussian Elimination
Joy Goodman
Glasgow University, Scotland

The Efficiency of Parallel Graph Reduction on a 
Loosely-coupled Multiprocessor
Hans Wolfgang Loidl

An SPMD environment machine for functional BSP programs
Armelle Merlin, Gaetan Hains
Universite d'Orleans, France

Implementing and Measuring GdH Skeletons
Phil Trinder
Heriot-Watt University, Scotland

Distribution
------------

Distributed Programming with Dynamic Reply Channels
Rita Loogen, Steffen Priebe
Philips-Universitat Marburg, Germany

Distributed Applications in GdH
Robert Pointon
Heriot-Watt University, Scotland

Applications
------------

Haskell:  Language for Business Systems
Dominic Steinitz, British Airways
Chris Reade, Dan Russell, Phil Molyneux, Barry Avery
Kingston Business School, England

Functional programming languages for verification tools:
experiences with ML and Haskell
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
RWTCH Aachen, Germany/University of Edinburgh, Scotland

Infinite Pretty Printing in eXene
Allen Stoughton
Kansas State University, USA

Derivation and Transformation
-----------------------------

Extending Higher-Order Deforestation: 
Transforming Programs to Eliminate Even More Trees
Geoff Hamilton, Dublin City University, Ireland

Deriving Non-heirarchical Process Topologies
Ricardo Pena, Fernando Rubio, Clara Segura
Universidad Complutense de Madrid, Spain

Language Design and Implementation
----------------------------------

Some Experiences Connecting Functional Languages 
and Java
Andre Rauber Du Bois, Antonio Carlos da Rocha Costa
Universidade Federal do Rio Grande do Sul/
Universidade Catolica de Pelotas, Brazil

Paging Behaviour of List-based Memory in a Distributed 
Virtual Memory System for Pure Functional Languages
Marco T. Morazan and Douglas R. Troeger
City University of New York, USA

Types
-----

How to Fix Type Errors Automatically
Bruce J. McAdam
University of Edinburgh, Scotland

Function Types and Complete type Inference
Manfred Widera, Christoph Bierle
Fern Universitat Hagen, Germany

Human-like Explanations of Polymorphic Types
Yang Jun, Greg Michaelson, Phil Trinder
Heriot-Watt University, Scotland

Theory
------

The dual of grafting is decoration
Tarmo Uustalu, Varmo Vene
Universidade do Minho, Portugal
University of Tartu, Estonia

Towards a Denotational semantics for Eden
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallen
Universidad Complutense de Madrid, Spain