International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings

13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings

8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers

7th Australian Conference, ACISP 2002 Melbourne, Australia, July 3-5, 2002 Proceedings

IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers

5th International Workshop, NGITS 2002, Caesarea, Israel, June 24-25, 2002. Proceedings

7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings

15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002. Proceedings