Mathematical Foundations of Computer Science 1976 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings
Mathematical Foundations of Computer Science 1977 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings
Mathematical Foundations of Computer Science 1981 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings
Fundamentals of Computation Theory Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
Computation Theory Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings
Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968
Logic Colloquium Symposium on Logic held at Boston, 1972-73
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
Mathematical Foundations of Computer Science 1979 8th Symposium, Olomouc Czechoslovakia, September 3-7, 1979. Proceedings
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)