- Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications, 2005.
- Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders, editors, Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Volume 3525 of Lecture Notes in Computer Science, Springer, 2005.
- Andreas Dolzmann, Andreas Seidl, Thomas Sturm, editors, Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. Books on Demand, 2005.
- Mechanizing Mathematical Reasoning. 2005.
- Matthias Hemmje, Claudia Niederée, Thomas Risse, editors, From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday. Volume 3379 of Lecture Notes in Computer Science, Springer, 2005.
- Theo Härder, Wolfgang Lehner, editors, Data Management in a Connected World, Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday. Volume 3551 of Lecture Notes in Computer Science, Springer, 2005.
- Sergei N. Artëmov, Howard Barringer, Artur S. d Avila Garcez, Luís C. Lamb, John Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications, 2005.
- Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, editors, Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Volume 3393 of Lecture Notes in Computer Science, Springer, 2005.
- Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer, editors, Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday. Volume 3838 of Lecture Notes in Computer Science, Springer, 2005.
- Maximilian Eibl, Christian Wolff, Christa Womser-Hacker, editors, Designing Information Systems: Festschrift für Jürgen Krause zum Anlass seines 60. Geburtstages 2004. Volume 43 of Schriften zur Informationswissenschaft, UVK, 2005.
- Dieter Hutter, Werner Stephan, editors, Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Volume 2605 of Lecture Notes in Computer Science, Springer, 2005.