6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part II

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers

14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers

5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings

4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures

15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers

15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings