CMCS 2000 - Workshop on Coalgebraic Methods in Computer Science