Mathematical Foundations of Computer Science 1976 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings
Mathematical Foundations of Computer Science 1981 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings
Mathematical Foundations of Computer Science 1977 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings
Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974
Mathematical Foundations of Computer Science 1989 Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Mathematical Foundations of Computer Science 1991 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
Computation Theory Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings
Fundamentals of Computation Theory Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
Mathematical Foundations of Computer Science 1990 Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
Mathematical Foundations of Computer Science 1975 4th Symposium Marianske Lazne, September 1-5, 1975