Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
Logics of Programs Brooklyn, June 17-19, 1985
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
CSL'88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings
Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)
Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)
Logic and Algebra of Specification
CSL '89 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
