Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings

Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Cooperative Research at Siemens and MIT

European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993. Proceedings

International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings

Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings

Workshop on the Theory and Application of Cryptographic Techniques, Balatonfüred, Hungary, May 24–28, 1992 Proceedings

10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings