Proceedings of the workshops Safe2000, ProRISC2000 and SeSens2000 by