International Symposium on Programming 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
Programming Symposium: Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 (Lecture Notes in Computer Science, 19) (English and French Edition)
Programming Methodology 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974
Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
ESOP '92 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Programming Languages and Systems - ESOP '94 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
Semantics of Data Types
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
ESOP '88 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, 188)