Symposium on Logics of Programs and their Applications (1980 Poznán, Poland)