Fachbereich Mathematik und Informatik

CMPP - 2004
Startseite Mathematik und Informatik
Universität Münster


4th International Workshop on
"Constructive Methods for Parallel Programming"
(CMPP 2004)

Stirling, Scotland, UK, 14 July 2004

In connection with the 10th International Conference on Algebraic Methodology And Software Technology (AMAST 2004) and the 7th International Conference on Mathematics of Program Construction (MPC 2004)

This is the fourth workshop in the biennial CMPP series, which has been colocated with the MPC conference.

The workshop's day will be July 14, which is just after the MPC conference (12-14 July) and parallel to the AMAST conference (12-16 July), so the CMPP participants may register for a combination with one or both of these events. The programme will include one invited talk, technical presentations and/or system demonstrations, and a discussion.

Visitor information provided by university of Stirling (maps, getting there, contact numbers). Residents should check-in at Andrew Stewart Hall.


Preliminary programme of the CMPP workshop:

9:30-10:10 Registration (Lecture Theatre B3, Cottrell Building)
10:10-10:15 Opening: Sergei Gorlatch (Chair)
10:15-10:45 Functional Metaprogramming in the Construction of Parallel Programs
C. Herrmann
10:45-11:15 Towards Mobility Skeletons
A. Rauber Du Bois, P. Trinder, H.W. Loidl
11:15-11:45 Coffee/Tea
11:45-12:15 Optimization Techniques for Implementing Parallel Skeletons in Grid Environments
M. Aldinucci, M. Danelutto, J. Dünnweber
12:15-12:45 Data Parallelism in C++ Template Programs: A Barnes-Hut Case Study
H. Bischof, F. Hielscher, O. Klössing, H. Ladner, R. Leshchinskiy, J. Müller
12:45-13:15 A Functional Language for Departmental Metacomputing
F. Gava, F. Loulergue
13:15-14:15 Lunch: Haldane's, Andrew Millar Building ("MacRobert")
14:15-15:00 Invited Talk:  Generative and Adaptive Methods in Performance Programming
Paul H.J. Kelly
15:00-15:30 A Unified Programming Approach to Master-Slave Computing
P.E. Hadjidoukas
15:30-16:00 Model Checking Constraint-based Concurrent Java Programs
R. Ramirez, J. Martinez, A.E. Santosa
16:00-16:30 Coffee/Tea
16:30-17:00 Systematic Derivation of Tree Contraction Algorithms
K. Matsuzaki, Z. Hu, K. Kakehi, M. Takeichi
17:00-17:30 Communication Scheduling for Generic Skeleton Implementations
T. Nitsche
17:30-18:00 An Implementation of Recursive Operations in lambda-evaluator YALE on Interaction Nets
S. Sato, T. Sugimoto

Registration and Accommodation

Please fill in the registration form and send it to cmpp04@math.uni-muenster.de.

For CMPP-only participants (who are not registered for MPC or AMAST): Please register through  MPC registration form write "CMPP registrant, [no|with] accommodation" in the "special needs and abilities" field. Your credit card will be charged with 30 GBP for the one-day rate (incl. lunch, breaks, workshop facilities). In addition, if you asked for accommodation, you will be charged for the cost of your room after check-in in Stirling.

For all participants (including CMPP-only): The CMPP registration fee of 30 GBP (45 EUR) including the CMPP-proceedings will be payed by you in cash at the workshop site.

Due to the complexity of the registration process, the following table illustrates it:

Day rate Covered by AMAST/MPC registration Register through  MPC registration form, write "CMPP registrant, [no|with] accommodation" in the "special needs and abilities" field.
CMPP registration fee 30 GBP (45 EUR) to be payed at workshop site


The focus of CMPP is on the combination of formal precision, a methodical approach and practicality in the construction of programs for modern parallel and distributed systems. This includes but is not restricted to the following topics:
  • formal models, methods, and languages for parallel programming
  • cost models and performance evaluation for parallelism
  • parallelization and compilation techniques
  • components, skeletons, templates and other higher-level constructs
  • high-performance computing, incl. MPI, HPF, OpenMP, BSP, etc.
  • parallel and distributed functional and logic programming
  • parallel and distributed object-oriented programming, Java
  • computational grids, metacomputing
  • hardware-software codesign


Preliminary proceedings will be published as a technical report of the University of Münster and made available at the workshop.

Final versions of high-quality papers presented at the workshop will be collected subsequently for a special issue of the international journal Parallel Processing Letters.

Invited Speaker

Paul H.J. Kelly (Imperial College London, UK)

Programme Committee

Murray Cole (Univ. Edinburgh, UK)
Walter Dosch (Univ. Lübeck, D)
Sergei Gorlatch (Univ. Münster, D) - Chair
Gaetan Hains (Univ. Orleans, F)
Zhenjiang Hu (Univ. Tokyo, JAP)
Christian Lengauer (Univ. Passau, D) - Liaison with MPC'2004
Susanna Pelagatti (Univ. Pisa, I)
Jan Prins (Univ. North Carolina, USA)
Holger Bischof (Univ. Münster, D) - Secretary


Submission deadline: 9 May 2004
Acceptance notice: 3 June 2004
Final version due: 20 June 2004
CMPP Workshop: 14 July 2004

Former CMPP Workshops

CMPP 2002
CMPP 2000
CMPP '98

Paper Submission

Papers should be submitted electronically to hbischof@uni-muenster.de. Acceptable formats are PostScript or PDF, viewable by gv. Submissions should not exceed 15 pages. Please use the cmpp.cls style file for your submission.
:: Seitenanfang



Diese Seite:  :: Seite drucken   :: Seite empfehlen  :: Seite kommentieren

© FB 10 Mathematik und Informatik

© FB 10 Mathematik und Informatik der Universität Münster
Einsteinstrasse 62 · 48149 Münster
Tel.: +49 251 83-3 30 16 · Fax: +49 251 83-3 83 50
E-Mail: mathdek@math.uni-muenster.de