Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings

Understanding, Description, Development, and Reuse

6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers

IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings

7th International Workshop Cambridge, UK, April 19-21, 1999 Proceedings

A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings

First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers

15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings