A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers

First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001. Proceedings

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Second International Workshop, MDIC 2001, Amalfi, Italy, September 17-18, 2001. Proceedings

4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings

Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001, Proceedings

20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings

Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001. Proceedings

Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001. Proceedings

23rd DAGM Symposium, Munich, Germany, September 12-14, 2001. Proceedings