These are the proceedings of a symposium on the mathematical foundations of theoretical computer science, the 15th of a series held regularly in Czechoslovakia and Poland. Authors are from Europe, USA, Japan and China. It is the major theory conference series of Eastern Europe.