Samson Abramsky

• 
  Bob Coecke, Luke Ong, Prakash Panangaden (Eds.): Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Springer 2013 Lecture Notes in Computer Science 7860 ISBN 978-3-642-38163-8 [ contents ]

Rudolf Ahlswede

• 
  Harout K. Aydinian, Ferdinando Cicalese, Christian Deppe (Eds.): Information Theory, Combinatorics, and Search Theory - In Memory of Rudolf Ahlswede. Springer 2013 Lecture Notes in Computer Science 7777 ISBN 978-3-642-36898-1 [ contents ]

Luigia Carlucci Aiello

• 
  Oliviero Stock, Marco Schaerf (Eds.): Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello. Springer 2006 Lecture Notes in Computer Science 4155 ISBN 3-540-37901-0 [ contents ]

Wolfgang Bibel

• 
  Steffen Hölldobler (Ed.): Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Kluwer 2000 Applied Logic Series19 ISBN 0-7923-6261-6 [ contents ]

W. W. Bledsoe

Robert S. Boyer (Ed.): Automated Reasoning: Essays in Honor of Woody Bledsoe. Automated Reasoning Series, Kluwer Academic Publishers, 1991, ISBN 0-7923-1409-3
Contents

Symeon Bozapalidis

• 
  Werner Kuich, George Rahonis (Eds.): Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement. Springer 2011 Lecture Notes in Computer Science 7020 ISBN 978-3-642-24896-2 [ contents ]

Dines Bjørner

• 
  Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Springer 2007 Lecture Notes in Computer Science 4700 ISBN 978-3-540-75220-2 [ contents ]

Leonard Bolc

• 
  Malgorzata Marciniak, Agnieszka Mykowiecka (Eds.): Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday. Springer 2009 Lecture Notes in Computer Science 5070 ISBN 978-3-642-04734-3 [ contents ]

Ronald V. Book

Ding-Zhu Du, Ker-I Ko (Eds.): Advances in Algorithms, Languages, and Complexity - In Honor of Ronald V. Book. Kluwer, 1997, ISBN 0-7923-4396-4
Contents

Egon Börger

• 
  Jean-Raymond Abrial, Uwe Glässer (Eds.): Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Springer 2009 Lecture Notes in Computer Science 5115 ISBN 978-3-642-11446-5 [ contents ]

Wilfried Brauer

• 
  Christian Freksa, Matthias Jantzen, Rüdiger Valk (Eds.): Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday. Springer 1997 Lecture Notes in Computer Science 1337 ISBN 3-540-63746-X [ contents ]

Alejandro P. Buchmann

• 
  Kai Sachs, Ilia Petrov, Pablo Ezequiel Guerrero (Eds.): From Active Data Management to Event-Based Systems and More - Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday. Springer 2010 Lecture Notes in Computer Science 6462 ISBN 978-3-642-17225-0 [ contents ]

Cristian S. Calude

• 
  Michael J. Dinneen, Bakhadyr Khoussainov, André Nies (Eds.): Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers. Springer 2012 Lecture Notes in Computer Science 7160 ISBN 978-3-642-27653-8 [ contents ]

25 Years Communicating Sequential Processes: 2004

• 
  Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (Eds.): 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. Springer 2005 Lecture Notes in Computer Science 3525 ISBN 3-540-25813-2 [ contents ]

Essays in Memory of Ole-Johan Dahl

• 
  Olaf Owe, Stein Krogdahl, Tom Lyche (Eds.): From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl. Springer 2004 Lecture Notes in Computer Science 2635 ISBN 3-540-21366-X [ contents ]

Jürgen Dassow

• 
  Henning Bordihn, Martin Kutrib, Bianca Truthe (Eds.): Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday. Springer 2012 Lecture Notes in Computer Science 7300 ISBN 978-3-642-31643-2 [ contents ]
• 
  Gheorghe Paun, Arto Salomaa (Eds.): New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday). Springer 1997 Lecture Notes in Computer Science 1218 ISBN 3-540-62844-4 [ contents ]

Andrzej Ehrenfeucht

• 
  Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Eds.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Springer 1997 Lecture Notes in Computer Science 1261 ISBN 3-540-63246-8 [ contents ]

Hartmut Ehrig

• 
  Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.): Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Springer 2005 Lecture Notes in Computer Science 3393 ISBN 3-540-24936-2 [ contents ]

Shimon Even

• 
  Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman (Eds.): Theoretical Computer Science, Essays in Memory of Shimon Even. Springer 2006 Lecture Notes in Computer Science 3895 ISBN 3-540-32880-7 [ contents ]

Georg Färber

• 
  Samarjit Chakraborty, Jörg Eberspächer (Eds.): Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years). Springer 2012 ISBN 978-3-642-24348-6 [ contents ]

Michael R. Fellows

• 
  Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx (Eds.): The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday. Springer 2012 Lecture Notes in Computer Science 7370 ISBN 978-3-642-30890-1 [ contents ]

Herbert Fiedler

• 
  Roland Traunmüller, Maria Wimmer (Eds.): Informatik in Recht und Verwaltung: Gestern - Heute - Morgen. Ehrenband Prof. Dr. Dr. Herbert Fiedler zum Achtzigsten Geburtstag. GI 2009 LNI T-5 ISBN 978-3-88579-424-1 [ contents ]

Nissim Francez

• 
  Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (Eds.): Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Springer 2009 Lecture Notes in Computer Science 5533 ISBN 978-3-642-01747-6 [ contents ]

Dov M. Gabbay

• 
  Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.): We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications 2005 ISBN 1-904987-25-7 [ contents ]
• 
  Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.): We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005 ISBN 1-904987-26-5 [ contents ]

Harald Ganzinger

• 
  Andrei Voronkov, Christoph Weidenbach (Eds.): Programming Logics - Essays in Memory of Harald Ganzinger. Springer 2013 Lecture Notes in Computer Science 7797 ISBN 978-3-642-37650-4 [ contents ]

Ferenc Gécseg

• 
  Zoltán Ésik, Zoltán Fülöp (Eds.): Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthday. Institute of Informatics, University of Szeged, Hungary 2009 ISBN 978-963-482-916-4 [ contents ]

Michael Gelfond

• 
  Marcello Balduccini, Tran Cao Son (Eds.): Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Springer 2011 Lecture Notes in Computer Science 6565 ISBN 978-3-642-20831-7 [ contents ]

Joseph A. Goguen

• 
  Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (Eds.): Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Springer 2006 Lecture Notes in Computer Science 4060 ISBN 3-540-35462-X [ contents ]

Martin Charles Golumbic

• 
  Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell (Eds.): Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. Springer 2009 Lecture Notes in Computer Science 5420 ISBN 978-3-642-02028-5 [ contents ]

Peter Gorny

• 
  Uli Daldrup (Ed.): Menschengerechte Softwaregestaltung, Konzepte und Werkzeuge auf dem Weg in die Praxis, Peter Gorny zum 60. Geburtstag. Teubner 1995 Berichte des German Chapter of the ACM 46 ISBN 3-519-02687-2 [ contents ]

Yuri Gurevich

• 
  Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (Eds.): Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Springer 2010 Lecture Notes in Computer Science 6300 ISBN 978-3-642-15024-1 [ contents ]

Günter Haring

• 
  Karin Anna Hummel, Helmut Hlavacs, Wilfried N. Gansterer (Eds.): Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges - IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6821 ISBN 978-3-642-25574-8 [ contents ]

Jifeng He

• 
  Zhiming Liu, Jim Woodcock, Huibiao Zhu (Eds.): Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer 2013 Lecture Notes in Computer Science 8051 ISBN 978-3-642-39697-7 [ contents ]

Tom Head

• 
  Natasa Jonoska, Gheorghe Paun, Grzegorz Rozenberg (Eds.): Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday. Springer 2004 Lecture Notes in Computer Science 2950 ISBN 3-540-20781-3 [ contents ]

Wolfgang Janko

• 
  Andreas Geyer-Schulz, Alfred Taudes (Eds.): Informationswirtschaft: Ein Sektor mit Zukunft. GI 2003 LNI 33 ISBN 3-88579-362-8 [ contents ]

Neil D. Jones

• 
  Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough (Eds.): The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Springer 2002 Lecture Notes in Computer Science 2566 ISBN 3-540-00326-6 [ contents ]

Jean-Pierre Jouannaud

• 
  Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (Eds.): Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Springer 2007 Lecture Notes in Computer Science 4600 ISBN 978-3-540-73146-7 [ contents ]

Paris C. Kanellakis

• 
  Dina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik (Eds.): PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003. ACM 2003 ISBN 1-58113-604-8 [ contents ]

Jan Willem Klop

• 
  Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (Eds.): Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday. Springer 2005 Lecture Notes in Computer Science 3838 ISBN 3-540-30911-X [ contents ]

Robert A. Kowalski

• 
  Antonis C. Kakas, Fariba Sadri (Eds.): Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Springer 2002 Lecture Notes in Computer Science 2407 ISBN 3-540-43959-5 [ contents ]
• 
  Antonis C. Kakas, Fariba Sadri (Eds.): Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Springer 2002 Lecture Notes in Computer Science 2408 ISBN 3-540-43960-9 [ contents ]

Dexter Kozen

• 
  Robert L. Constable, Alexandra Silva (Eds.): Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Springer 2012 Lecture Notes in Computer Science 7230 ISBN 978-3-642-29484-6 [ contents ]

Bernd J. Krämer

• 
  Maritta Heisel (Ed.): Software Service and Application Engineering - Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday. Springer 2012 Lecture Notes in Computer Science 7365 ISBN 978-3-642-30834-5 [ contents ]

Hermann Krallmann

• 
  Dimitris Karagiannis, Bodo Rieger (Eds.): Herausforderungen in der Wirtschaftsinformatik - Festschrift für Hermann Krallmann. Springer 2006 ISBN 978-3-540-28906-7, pp. I-XV, 1-321 [ contents ]

Rainer Kuhlen

• 
  Rainer Hammwöhner, Marc Rittberger, Wolfgang Semar (Eds.): Wissen in Aktion - Der Primat der Pragmatik als Motto der Konstanzer Informationswissenschaft. Festschrift für Rainer Kuhlen. Hochschulverband für Informationswissenschaft 2004 Schriften zur Informationswissenschaft41 ISBN 3-89669-704-8 [ contents ]

Hans Langmaack

• 
  Ernst-Rüdiger Olderog, Bernhard Steffen (Eds.): Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Springer 1999 Lecture Notes in Computer Science 1710 ISBN 3-540-66624-9 [ contents ]

Jean-Louis Lassez

• 
  Michael J. Maher (Ed.): Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3321 ISBN 3-540-24087-X [ contents ]

Alain Lecomte

• 
  Sylvain Pogodalla, Myriam Quatrini, Christian Retoré (Eds.): Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday. Springer 2011 Lecture Notes in Computer Science 6700 ISBN 978-3-642-21489-9 [ contents ]

Vladimir Lifschitz

• 
  Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce (Eds.): Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Springer 2012 Lecture Notes in Computer Science 7265 ISBN 978-3-642-30742-3 [ contents ]

Zohar Manna

• 
  Nachum Dershowitz (Ed.): Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Springer 2003 Lecture Notes in Computer Science 2772 ISBN 3-540-21002-4 [ contents ]

Solomon Marcus

• 
  Carlos Martín-Vide, Gheorghe Paun (Eds.): Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday. Editura Academiei Române, Bucuresti 2000 ISBN 973-27-0770-4 [ contents ]

Hermann A. Maurer

• 
  Hermann A. Maurer (Ed.): New Results and New Trends in Computer Science, Graz, Austria, June 20-21, 1991, Proceedings [on occasion of H. Maurer's 50th birthday]. Springer 1991 Lecture Notes in Computer Science 555 ISBN 3-540-54869-6 [ contents ]
• 
  Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa (Eds.): Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer 2011 Lecture Notes in Computer Science 6570 ISBN 978-3-642-19390-3 [ contents ]

Kurt Mehlhorn

• 
  Susanne Albers, Helmut Alt, Stefan Näher (Eds.): Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday. Springer 2009 Lecture Notes in Computer Science 5760 ISBN 978-3-642-03455-8 [ contents ]

Bertrand Meyer

• 
  Sebastian Nanz (Ed.): The Future of Software Engineering. Springer 2011 ISBN 978-3-642-15186-6, (Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010) [ contents ]

Robin Milner

• 
  Gordon D. Plotkin, Colin Stirling, Mads Tofte (Eds.): Proof, Language, and Interaction, Essays in Honour of Robin Milner. The MIT Press 2000 ISBN 978-0-262-16188-6 [ contents ]

Ugo Montanari

• 
  Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.): Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Springer 2008 Lecture Notes in Computer Science 5065 ISBN 978-3-540-68676-7 [ contents ]

Peter D. Mosses

• 
  Jens Palsberg (Ed.): Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Springer 2009 Lecture Notes in Computer Science 5700 ISBN 978-3-642-04163-1 [ contents ]

Daniele Mundici

• 
  Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (Eds.): Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Springer 2007 Lecture Notes in Computer Science 4460 ISBN 978-3-540-75938-6 [ contents ]

J. Ian Munro

• 
  Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola (Eds.): Space-Efficient Data Structures, Streams, and Algorithms - Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday. Springer 2013 Lecture Notes in Computer Science 8066 ISBN 978-3-642-40272-2 [ contents ]

John Mylopoulos

• 
  Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu (Eds.): Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos. Springer 2009 Lecture Notes in Computer Science 5600 ISBN 978-3-642-02462-7 [ contents ]

Manfred Nagl

• 
  Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (Eds.): Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. Springer 2010 Lecture Notes in Computer Science 5765 ISBN 978-3-642-17321-9 [ contents ]

Erich J. Neuhold

• 
  Matthias Hemmje, Claudia Niederée, Thomas Risse (Eds.): 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. Springer 2005 Lecture Notes in Computer Science 3379 ISBN 3-540-24551-0 [ contents ]

Thomas Ottmann

• 
  Rolf Klein, Hans-Werner Six, Lutz Michael Wegner (Eds.): Computer Science in Perspective, Essays Dedicated to Thomas Ottmann. Springer 2003 Lecture Notes in Computer Science 2598 ISBN 3-540-00579-X [ contents ]

Seymour Ginsburg

Jeffrey D. Ullman (Ed.): Theoretical Studies in Computer Science, to Seymour Ginsburg on the occasion of his 2⁶. birthday. Academic Press, 1992, ISBN 0-12-708240-9
Contents

Gheorghe Paun

• 
  Carlos Martín-Vide, Victor Mitrana (Eds.): Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun. Kluwer Academic Publishers 2001 ISBN 978-90-481-5607-8 [ contents ]
• 
  Carlos Martín-Vide, Victor Mitrana (Eds.): Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun. Taylor and Francis 2003 Topics in Computer Mathematics9 ISBN 0415298857 [ contents ]
• 
  Jozef Kelemen, Alica Kelemenová (Eds.): Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday. Springer 2011 Lecture Notes in Computer Science 6610 ISBN 978-3-642-19999-8 [ contents ]

Rinus Plasmeijer

• 
  Peter Achten, Pieter W. M. Koopman (Eds.): The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Springer 2013 Lecture Notes in Computer Science 8106 ISBN 978-3-642-40354-5 [ contents ]

Essays in Memory of Amir Pnueli

• 
  Zohar Manna, Doron Peled (Eds.): Time for Verification, Essays in Memory of Amir Pnueli. Springer 2010 Lecture Notes in Computer Science 6200 ISBN 978-3-642-13753-2 [ contents ]

Jean-Jacques Quisquater

• 
  David Naccache (Ed.): Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday. Springer 2012 Lecture Notes in Computer Science 6805 ISBN 978-3-642-28367-3 [ contents ]

Brian Randell

• 
  Cliff B. Jones, John L. Lloyd (Eds.): Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday. Springer 2011 Lecture Notes in Computer Science 6875 ISBN 978-3-642-24540-4 [ contents ]

Michael M. Richter

• 
  Wolfgang Lenski (Ed.): Logic versus Approximation, Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday. Springer 2004 Lecture Notes in Computer Science 3075 ISBN 3-540-22562-5 [ contents ]

Alan Robinson

Jean-Louis Lassez, Gordon D. Plotkin (Eds.): Computational Logic - Essays in Honor of Alan Robinson. The MIT Press, 1991, ISBN 0-262-12156-5
Contents

Dieter Rödding

• 
  Egon Börger (Ed.): Computation Theory and Logic, In Memory of Dieter Rödding. Springer 1987 Lecture Notes in Computer Science 270 ISBN 3-540-18170-9 [ contents ]

Willem P. de Roever

• 
  Dennis Dams, Ulrich Hannemann, Martin Steffen (Eds.): Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Springer 2010 Lecture Notes in Computer Science 5930 ISBN 978-3-642-11511-0 [ contents ]

Grzegorz Rozenberg

• 
  Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa (Eds.): Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]. Springer 2002 Lecture Notes in Computer Science 2300 ISBN 3-540-43190-X [ contents ]

Arto Salomaa

• 
  Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg (Eds.): Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday. Springer 2004 Lecture Notes in Computer Science 3113 ISBN 3-540-22393-2 [ contents ]
• 
  Juhani Karhumäki, Hermann A. Maurer, Gheorghe Paun, Grzegorz Rozenberg (Eds.): Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa. Springer 1999 ISBN 3-540-65984-6 [ contents ]
• 
  Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg (Eds.): Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science 812 ISBN 3-540-58131-6 [ contents ]

Marek J. Sergot

• 
  Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis (Eds.): Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Springer 2012 Lecture Notes in Computer Science 7360 ISBN 978-3-642-29413-6 [ contents ]

Jörg H. Siekmann

• 
  Dieter Hutter, Werner Stephan (Eds.): Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Springer 2005 Lecture Notes in Computer Science 2605 ISBN 3-540-25051-4 [ contents ]

Rani Siromoney

• 
  Madhavan Mukund, K. Rangarajan, K. G. Subramanian (Eds.): Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney]. World Scientific 2007 Series in Machine Perception and Artificial Intelligence66 [ contents ]

Rudi Studer

• 
  Dieter Fensel (Ed.): Foundations for the Web of Information and Services - A Review of 20 Years of Semantic Web Research. Springer 2011 ISBN 978-3-642-19796-3 [ contents ]

Satoru Takasu

• 
  Neil D. Jones, Masami Hagiya, Masahiko Sato (Eds.): Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Springer 1994 Lecture Notes in Computer Science 792 [ contents ]

Carolyn L. Talcott

• 
  Gul Agha, Olivier Danvy, José Meseguer (Eds.): Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer 2011 Lecture Notes in Computer Science 7000 ISBN 978-3-642-24932-7 [ contents ]

Bernhard Thalheim

• 
  Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (Eds.): Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday. Springer 2012 Lecture Notes in Computer Science 7260 ISBN 978-3-642-28278-2 [ contents ]

Gabriel Thierrin

• 
  Masami Ito, Gheorghe Paun, Sheng Yu (Eds.): Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin. World Scientific 2001 ISBN 981-02-4739-7 [ contents ]

Wolfgang Thomas

• 
  Jörg Flum, Erich Grädel, Thomas Wilke (Eds.): Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. Amsterdam University Press 2008 Texts in Logic and Games2 ISBN 978-90-5356-576-6 [ contents ]

Boris A. Trakhtenbrot

• 
  Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (Eds.): Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer 2008 Lecture Notes in Computer Science 4800 ISBN 978-3-540-78126-4 [ contents ]

- 85th birthday symposium

Esko Ukkonen

• 
  Tapio Elomaa, Heikki Mannila, Pekka Orponen (Eds.): Algorithms and Applications, Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday. Springer 2010 Lecture Notes in Computer Science 6060 ISBN 978-3-642-12475-4 [ contents ]

Christoph Walther

• 
  Simon Siegler, Nathan Wasser (Eds.): Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer 2010 Lecture Notes in Computer Science 6463 ISBN 978-3-642-17171-0 [ contents ]

Hartmut Wedekind

• 
  Theo Härder, Wolfgang Lehner (Eds.): Data Management in a Connected World, Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday. Springer 2005 Lecture Notes in Computer Science 3551 ISBN 3-540-26295-4 [ contents ]

Volker Weispfenning

• 
  Andreas Dolzmann, Andreas Seidl, Thomas Sturm (Eds.): 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 ISBN 3-8334-2669-1, pp. i-xii, 1-558 [ contents ]

Reinhard Wilhelm

• 
  Thomas W. Reps, Mooly Sagiv, Jörg Bauer (Eds.): Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Springer 2007 Lecture Notes in Computer Science 4444 ISBN 978-3-540-71315-9 [ contents ]

Niklaus Wirth

• 
  László Böszörményi, Jürg Gutknecht, Gustav Pomberger (Eds.): The School of Niklaus Wirth, "The Art of Simplicity". dpunkt.verlag/Copublication with Morgan-Kaufmann 2000 ISBN 3-932588-85-1 [ contents ]

Chaochen Zhou

• 
  Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Springer 2007 Lecture Notes in Computer Science 4700 ISBN 978-3-540-75220-2 [ contents ]