- Ralf Lämmel, Peter D. Mosses, Friedrich Steimann, editors, Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands. Volume 109 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
- Jonathan P. Bowen, Qin Li 0002, Qiwen Xu, editors, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Volume 14080 of Lecture Notes in Computer Science, Springer, 2023.
- Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, editors, Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Volume 14165 of Lecture Notes in Computer Science, Springer, 2023.
- Pedro López-García 0001, John P. Gallagher, Roberto Giacobazzi, editors, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Volume 13160 of Lecture Notes in Computer Science, Springer, 2023.