Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
EUROSAM 84 International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
Logics of Programs Brooklyn, June 17-19, 1985
Foundations of Software Technology and Theoretical Computer Science Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
Functional Programming Languages and Computer Architecture Proceedings, Nancy, France, September 16-19, 1985
Algebraic Semantics (Lecture Notes in Computer Science, 99)
A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)
Readings on Cognitive Ergonomics, Mind and Computers Proceedings of the Second European Conference, Gmunden, Austria, September 10-14, 1984
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