In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software Verification, Validation, and Certification, Universitaet Kiel, 2000.
In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT), Pages 73-88, Springer, LNCS 1827, 2000.
In: M. Bauer and C. Rich, editors, Learning How to Do Things: Papers from the 2000 AAAI Fall Symposium, North Falmouth, MA, USA. AAAI Fall Symposium, 2000.
In: H. Lieberman (Ed.), IUI 2000: International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI), Pages 149-156, 2000.
In: Laila Dybkjaer, Koiti Hasida and David Traum (eds.) Proceedings of the ACL 2000 Workshop 1st SIGdial Workshop on Discourse and Dialogue , Hong Kong, October 2000. Annual SIGdial Meeting on Discourse and Dialogue (SIGdial), 2000.