2nd International Workshop on "Constructive Methods for Parallel Programming" (CMPP 2000)