4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Third International Workshop WebDB2000, Dallas, TX, USA, May 18-19, 2000. Selected Papers

4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings

Third International Conference, Seoul, Korea, December 8-9, 2000, Proceedings

Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Ireland, July 12, 2000, Revised Papers

ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings

First International Workshop TSDM 2000 Lyon, France, September 12, 2000 Revised Papers

International Workshop on Design Issues in Anonymity and Unobservability, Berkeley, CA, USA, July 25-26, 2000. Proceedings

Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001 Proceedings

International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings