| 2026 | 65 | Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday | | |
| 2026 | | Concurrent Programming, Open Systems and Formal Methods - Essays Dedicated to Gul Agha to Celebrate His Scientific Career | | |
| 2026 | 60 | Design and Verification of Cyber-Physical Systems: From Theory to Applications - Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday | | |
| 2026 | 70 | Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday | | |
| 2026 | 65 | Juggling Formal Methods and Security - Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday | | |
| 2026 | | Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His Retirement | | |
| 2026 | 60 | Mining a Scientist's Process - Essays Dedicated to Wil van der Aalst on the Occasion of His 60th Birthday | | |
| 2026 | | Model Theory, Computer Science, and Graph Polynomials: Festschrift in Honor of Johann A. Makowsky | | |
| 2026 | 65 | On the Pursuit of Insight and Elegance - Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday | | |
| 2026 | | The Importance of Being Learnable - Essays Dedicated to Alexander Gammerman | | |
| 2025 | 67 | Challenges and Algorithms for Knowledge Discovery from Data - Essays Dedicated to Arno Siebes on the Occasion of His 67th Birthday | | |
| 2025 | 65 | Festschrift for Andreas Herzig on the Occasion of his 65th Birthday, Toulouse, France, 17 October, 2025. | Toulouse | |
| 2025 | 60 | From Strings to Graphs, and Back Again: A Festschrift for Roberto Grossi's 60th Birthday, Grossi's Festschrift, Venice, Italy, July 25, 2025 | Venice | |
| 2025 | 65 | Go Where the Bugs Are - Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday | | |
| 2025 | | Information Security in a Connected World - Celebrating the Life and Work of Ed Dawson | | |
| 2025 | | Information Theory and Related Fields - Festschrift in Memory of Ning Cai | | |
| 2025 | 60 | Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday | | |
| 2025 | 60 | Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I | | |
| 2025 | | Real Time and Such - Essays Dedicated to Wang Yi to Celebrate His Scientific Career | | |
| 2025 | 60 | Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday | | |
| 2025 | 60 | The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday | | |
| 2025 | 60 | The Expanding World of Compressed Data: A Festschrift for Giovanni Manzini's 60th Birthday, Manzini's Festschrift, Venice, Italy, July 25, 2025 | Venice | |
| 2024 | 30 | A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday, Freiburg, Germany, 30th August 2024. | Freiburg im Breisgau | |
| 2024 | | From Computational Logic to Computational Biology - Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career | | |
| 2024 | | From Multimedia Communications to the Future Internet - Essays Dedicated to Ralf Steinmetz on the Occasion of His Retirement | | |
| 2024 | 60 | Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday | | |
| 2024 | 60 | Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024 | Pasadena | |
| 2024 | | Social Modeling Using the i* Framework: Essays in Honour of Eric Yu | | |
| 2024 | 60 | Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday | | |
| 2024 | | The Application of Formal Methods - Essays Dedicated to Jim Woodcock on the Occasion of His Retirement | | |
| 2024 | | The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, Tannen's Festschrift, University of Pennsylvania, Philadelphia, PA, USA, May 24-25, 2024 | Philadelphia | |
| 2023 | 60 | Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday | | |
| 2023 | 65 | Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday | | |
| 2023 | | Eelco Visser Commemorative Symposium, EVCS 2023, Delft, The Netherlands, April 5, 2023 | Kingdom of the Netherlands | |
| 2023 | 71 | Engineering Safe and Trustworthy Cyber Physical Systems - Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday | | |
| 2023 | 80 | Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday | | |
| 2022 | 60 | A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday | | |
| 2022 | | Achievements, Milestones and Challenges in Biomedical and Health Informatics, International Symposium on Achievements, Milestones, and Challenges in Biomedical and Health Informatics (BMHI 2022), Athens, Greece, 29 October 2022, retirement of Professor John Mantas. | Athens | |
| 2022 | | Advances in Computing, Informatics, Networking and Cybersecurity - A Book Honoring Professor Mohammad S. Obaidat's Significant Scientific Contributions | | |
| 2022 | 70 | Automata and Complexity - Essays Presented to Eric Goles on the Occasion of His 70th Birthday | | |
| 2022 | 60 | Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday | | |
| 2022 | 60 | The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday | | |
| 2021 | 70 | A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday | | |
| 2021 | 65 | Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday | | |
| 2021 | 75 | Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday | | |
| 2021 | 60 | Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday | | |
| 2021 | 65 | Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement | | |
| 2021 | 66 | Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday | | |
| 2020 | | Complexity and Approximation - In Memory of Ker-I Ko | | |
| 2020 | 80 | Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday | | |
| 2020 | | From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement | | |
| 2020 | 65 | Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday | | |
| 2020 | | Proceedings of the Workshop on Mathematical Modeling and Scientific Computing: Focus on Complex Processes and Systems - dedicated to the memory of Nikolai Botkin, Munich, Germany, November 19-20, 2020. | Munich | |
| 2020 | | Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, Italy, November 27, 2020 | Bologna | |
| 2020 | 60 | Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday | | |
| 2019 | 60 | Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday | | |
| 2019 | | Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows | | |
| 2019 | 65 | From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday | | |
| 2019 | 65 | From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday | | |
| 2019 | 65 | Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday | | |
| 2019 | | Ontology Makes Sense - Essays in honor of Nicola Guarino | | |
| 2019 | 60 | The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday | | |
| 2018 | | Advances in Data Analysis with Computational Intelligence Methods - Dedicated to Professor Jacek Żurada | | |
| 2018 | 60 | Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday | | |
| 2018 | 70 | Enjoying Natural Computing - Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday | | |
| 2018 | 70 | From Database to Cyber Security - Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthday | | |
| 2018 | | Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig | | |
| 2018 | | It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab | | |
| 2018 | 60 | Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday | | |
| 2018 | 60 | Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday | | |
| 2018 | 60 | Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday | | |
| 2018 | 60 | Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday | | |
| 2018 | 70 | Reversibility and Universality, Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday. | | |
| 2017 | 40 | Braverman Readings in Machine Learning. Key Ideas from Inception to Current State - International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks | Boston | |
| 2017 | 60 | Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday | | |
| 2017 | | Conceptual Modeling Perspectives. | | |
| 2017 | 60 | Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday | | |
| 2017 | | Fuzzy Sets, Rough Sets, Multisets and Clustering | | |
| 2017 | 60 | ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday | | |
| 2017 | 60 | Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday | | |
| 2017 | 65 | Soft Computing Based Optimization and Decision Models - To Commemorate the 65th Birthday of Professor José Luis "Curro" Verdegay | | |
| 2017 | 80 | Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday | | |
| 2017 | | The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski | | |
| 2017 | | Theory and Applications of Ordered Fuzzy Numbers - A Tribute to Professor Witold Kosiński | | |
| 2016 | 60 | A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday | | |
| 2016 | 60 | Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday | | |
| 2016 | 70 | Fuzzy Logic and Information Fusion - To Commemorate the 70th Birthday of Professor Gaspar Mayor | | |
| 2016 | 65 | Issues in Quantitative Linguistics 4, Dedicated to Reinhard Köhler on the occasion of his 65th birthday. | | |
| 2016 | 60 | Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays | | |
| 2016 | 60 | Solving Large Scale Learning Tasks. Challenges and Algorithms - Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday | | |
| 2016 | 85 | The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday | | |
| 2016 | 60 | Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | | |
| 2015 | | Ada Lovelace Symposium 2015 - Celebrating 200 Years of a Computer Visionary, Ada Lovelace Symposium 2015, Oxford, UK, December 10, 2015 | Oxford | |
| 2015 | 60 | Algorithms, Probability, Networks, and Games - Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday | | |
| 2015 | 60 | Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings | Oldenburg | |
| 2015 | | Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic | | |
| 2015 | 75 | Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday | | |
| 2015 | 65 | Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday | | |
| 2015 | 65 | Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday | | |
| 2015 | | Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering | | |
| 2015 | | Symbolic Data Analysis and Visualization: Special Issue in honor of Monique Noirhomme-Fraiture | | |
| 2014 | 60 | Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday | | |
| 2014 | | Aspekte der Technischen Informatik - Festschrift zum 60. Geburtstag von Bernd Becker. | | |
| 2014 | 90 | Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday | | |
| 2014 | 80 | Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday | | |
| 2014 | 65 | Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday | | |
| 2014 | | Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005). | | |
| 2014 | | Essays in Production, Project Planning and Scheduling, A Festschrift in Honor of Salah Elmaghraby | | |
| 2014 | 60 | HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday | | |
| 2014 | 60 | Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday | | |
| 2014 | 75 | Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I | | |
| 2014 | | Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi | | |
| 2013 | | A Tribute to Prof. Dr. Da Ruan | | |
| 2013 | | Automated Reasoning and Mathematics - Essays in Memory of William W. McCune | | |
| 2013 | 60 | Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday | | |
| 2013 | | Empirical Inference - Festschrift in Honor of Vladimir N. Vapnik | | |
| 2013 | | In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman | | |
| 2013 | | Information Theory, Combinatorics, and Search Theory - In Memory of Rudolf Ahlswede | | |
| 2013 | 60 | Number Theory and Cryptography - Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday | | |
| 2013 | | On Fuzziness - A Homage to Lotfi A. Zadeh - Volume 1 | | |
| 2013 | | Perspectives on the Future of Software Engineering, Essays in Honor of Dieter Rombach | | |
| 2013 | | Programming Logics - Essays in Memory of Harald Ganzinger | | |
| 2013 | 66 | Space-Efficient Data Structures, Streams, and Algorithms - Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday | | |
| 2013 | 61 | The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday | | |
| 2013 | 70 | Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday | | |
| 2012 | | 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972 - 2012, Zum Workshop auf der GI-Jahrestagung 2012 in Braunschweig | | |
| 2012 | | 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). | | |
| 2012 | 60 | 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 | Auckland | |
| 2012 | 60 | Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday | | |
| 2012 | | Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz | | |
| 2012 | 65 | Cryptography and Security: From Theory to Applications - Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday | | |
| 2012 | 65 | Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday | | |
| 2012 | 60 | Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday | | |
| 2012 | 60 | Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday | | |
| 2012 | 60 | Shall We Play the Festschrift Game?, Essays on the Occasion of Lauri Carlson's 60th Birthday | | |
| 2012 | 65 | Software Service and Application Engineering - Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday | | |
| 2012 | 60 | The Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday | | |
| 2011 | | Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement | | |
| 2011 | 85 | Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011 | Melbourne | |
| 2011 | 60 | Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday | | |
| 2011 | 75 | Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday | | |
| 2011 | 70 | Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday | | |
| 2011 | | Foundations for the Web of Information and Services - A Review of 20 Years of Semantic Web Research. | | |
| 2011 | 65 | Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday | | |
| 2011 | 70 | Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday | | |
| 2010 | | A Way with Words - Recent Advances in Lexical Theory and Analysis: A Festschrift for Patrick Hanks. | | |
| 2010 | 60 | Algorithms and Applications, Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday | | |
| 2010 | | Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever | | |
| 2010 | 70 | Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday | | |
| 2010 | 60 | From Active Data Management to Event-Based Systems and More - Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday | | |
| 2010 | 65 | Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday | | |
| 2010 | | The Future of Software Engineering. | | |
| 2010 | | Time for Verification, Essays in Memory of Amir Pnueli | | |
| 2010 | 60 | Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday | | |
| 2009 | | Algorithmic Bioprocesses | | |
| 2009 | 75 | Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday | | |
| 2009 | 70 | Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthday | | |
| 2009 | | Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos | | |
| 2009 | 60 | Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday | | |
| 2009 | | Fundamental Problems in Computing, Essays in Honor of Professor Daniel J. Rosenkrantz. | | |
| 2009 | 60 | Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday | | |
| 2009 | | Informatik in Recht und Verwaltung: Gestern - Heute - Morgen. Ehrenband Prof. Dr. Dr. Herbert Fiedler zum Achtzigsten Geburtstag | | |
| 2009 | 65 | Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday | | |
| 2009 | 60 | Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday | | |
| 2009 | 60 | Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday | | |
| 2008 | 65 | Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday | | |
| 2008 | | Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. | Turin | |
| 2008 | | Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. | | |
| 2008 | 85 | Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday | | |
| 2007 | | Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin | | |
| 2007 | 75 | Exact Methods in the Study of Language and Text - Dedicated to Gabriel Altmann on the Occasion of his 75th Birthday | | |
| 2007 | | Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, Salt Lake City, UT, USA, May 5, 2007 | Salt Lake City | |
| 2007 | 70 | 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 | | |
| 2007 | 75 | Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney]. | | |
| 2007 | 60 | Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday | | |
| 2007 | 60 | Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday | | |
| 2006 | 65 | Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday | | |
| 2006 | 60 | Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday | | |
| 2006 | | Herausforderungen in der Wirtschaftsinformatik - Festschrift für Hermann Krallmann. | | |
| 2006 | 60 | Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday | | |
| 2006 | | Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello | | |
| 2006 | | Theoretical Computer Science, Essays in Memory of Shimon Even | | |
| 2005 | 60 | Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. | Passau | |
| 2005 | 70 | Data Management in a Connected World, Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday | | |
| 2005 | 60 | Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday | | |
| 2005 | 65 | 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 | | |
| 2005 | 60 | Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday | | |
| 2005 | 60 | Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday | | |
| 2005 | | We Will Show Them! Essays in Honour of Dov Gabbay, Volume One | | |
| 2005 | | We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two | | |
| 2004 | 70 | Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday | | |
| 2004 | | 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 | London | |
| 2004 | | Designing Information Systems: Festschrift für Jürgen Krause zum Anlass seines 60. Geburtstages 2004. | | |
| 2004 | | From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl | | |
| 2004 | 65 | Logic versus Approximation, Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday | | |
| 2004 | 70 | Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday | | |
| 2004 | | Wissen in Aktion - Der Primat der Pragmatik als Motto der Konstanzer Informationswissenschaft. Festschrift für Rainer Kuhlen | | |
| 2003 | | Computer Science in Perspective, Essays Dedicated to Thomas Ottmann | | |
| 2003 | | Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back: Essays in Honour of Gheorghe Paun | | |
| 2003 | | Informationswirtschaft: Ein Sektor mit Zukunft | | |
| 2003 | 8 | PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003 | San Diego | |
| 2003 | 64 | Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday | | |
| 2002 | | Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I | | |
| 2002 | 60 | Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] | | |
| 2002 | 60 | The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday] | | |
| 2001 | | Where Mathematics, Computer Science, Linguistics and Biology Meet: Essays in Honour of Gheorghe Paun. | | |
| 2001 | | Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin | | |
| 2000 | 60 | Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday) | | |
| 2000 | 75 | Recent Topics in Mathematical and Computational Linguistics, Papers in Honor of Solomon Marcus on the Occasion of his 75th Birthday | | |
| 2000 | | The School of Niklaus Wirth, "The Art of Simplicity" | | |
| 1999 | | Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) | | |
| 1999 | | Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa | | |
| 1999 | | Proof, Language, and Interaction, Essays in Honour of Robin Milner | | |
| 1997 | | Advances in Algorithms, Languages, and Complexity - In Honor of Ronald V. Book | | |
| 1997 | | Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday | | |
| 1997 | 50 | New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday) | | |
| 1997 | | Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht | | |
| 1995 | | Menschengerechte Softwaregestaltung, Konzepte und Werkzeuge auf dem Weg in die Praxis, Peter Gorny zum 60. Geburtstag | | |
| 1994 | | Essays in Game Theory, In Honor of Michael Maschler | | |
| 1994 | | Logic, Language and Computation, Festschrift in Honor of Satoru Takasu | | |
| 1994 | | Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings | Graz | |
| 1992 | | Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck | | |
| 1992 | | Theoretical Studies in Computer Science, to Seymour Ginsburg on the occasion of his 26. birthday | | |
| 1991 | | New Results and New Trends in Computer Science, Graz, Austria, June 20-21, 1991 | | 1991-06-20/21 |
| 1991 | | Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday. | | |
| 1991 | | Automated Reasoning: Essays in Honor of Woody Bledsoe | | |
| 1991 | | Computational Logic - Essays in Honor of Alan Robinson | | |
| 1991 | 50 | New Results and New Trends in Computer Science, Graz, Austria, June 20-21, 1991, Proceedings [on occasion of H. Maurer's 50th birthday] | Graz | |
| 1987 | | Computation Theory and Logic, In Memory of Dieter Rödding | | |
