E.W. Beth Memorial Colloquium Logic and Foundations of Science Paris, Institut Henri Poincaré, 19–21 May 1964
Logic Colloquium Symposium on Logic held at Boston, 1972-73
Induction, Physics and Ethics Proceedings and Discussions of the 1968 Salzburg Colloquium in the Philosophy of Science
Logic Counts
Problems in the Theory of Knowledge / Problèmes de la théorie de la connaissance
Formal Methods in the Methodology of Empirical Sciences Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974
ISILC - Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Logics of Programs Brooklyn, June 17-19, 1985
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics, 70)
Séminaire Pierre Lelong (Analyse), Année 1970 Institut Henri Poincaré, Paris