FMPPTA'2001 - 6th International Workshop on Formal Methods for Parallel Programming - Theory and Applications