International Workshop on
"Constructive Methods for Parallel Programming"
CMPP'98

which is to follow the Fourth International Conference on Mathematics of Program Construction (MPC'98).
Scope:
The emphasis of the workshop is on the combination of precision and practicality in the construction of parallel programs.
Dates:
MPC Conference: June 15-17, 1998
CMPP Workshop: June 18, 1998
Registration on the Web until May 7.
Place:
Marstrand/Gothenburg, Sweden.
Programme:
The workshop proceedings will be published as a Technical Report of the University of Passau, and will be available during the workshop.
Full versions of the best papers will be considered for publication in a special issue of the journal "Science of Computer Programming". 
 
8.50 - 9.00
Welcome

9.00 - 10.00
D.Skillicorn (invited talk)
Architectures, Costs, and Transformations.

10.00 - 10.30
Break

10.30 - 11.00
T.Nitsche
Shape Analysis of Functional Programs with Algebraic Data Types

11.00 - 11.30
C. Barry Jay
Costing Parallel Programs as a Function of Shapes

11.30 - 12.00
M.Aldinucci, M.Coppola and M.Danelutto
Rewriting Skeleton Programs: How to Evaluate the
Data-Parallel Stream-Parallel Tradeoff

12.00 - 12.30
Discussion

12.30 - 14.00
Lunch

14.00 - 14.30
F.Loulergue, G.Hains and C.Foisy
A Calculus of Recursive-Parallel BSP Programs.

14.30 - 15.00
A.V. Gerbessiotis and F.Petrini
Network Performance Assessment under the BSP Model

15.00 - 15.30
Break

15.30 -16.00
S.Breitinger and R.Loogen
Explicit Process Systems in Eden

16.00 - 16.30
J.Kornerup
PLists: Taking PowerLists Beyond Base Two

16.30 - 17.00
O.Preusche, M.Gutzmann, T.Fink and W.Erhard
Performing Affine Communication Patterns on SIMD Mesh Networks

17.00 - 17.30
Closing discussion
Programme committee:
Luc Bougé (F)
Murray Cole (UK)
Walter Dosch (D)
Sergei Gorlatch (D, Chair)
Chris Lengauer (D, Liaison MPC'98)
Susanna Pelagatti (I)
David Skillicorn (CAN)
Sergei Gorlatch