Birthday / In Memory of ...

Samson Abramsky

Rudolf Ahlswede

Luigia Carlucci Aiello

Howard Barringer

Wolfgang Bibel

Dines Bjørner

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

Leonard Bolc

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

Wilfried Brauer

Gerhard Brewka

Alejandro P. Buchmann

Johannes Buchmann

Peter Buneman

Cristian S. Calude

Lauri Carlson

Yaacov Choueka

25 Years Communicating Sequential Processes: 2004

Essays in Memory of Ole-Johan Dahl

Jürgen Dassow

Andrzej Ehrenfeucht

Hartmut Ehrig

Shimon Even

Georg Färber

Michael R. Fellows

Herbert Fiedler

Nissim Francez

Kokichi Futatsugi

Dov M. Gabbay

Harald Ganzinger

Ferenc Gécseg

Michael Gelfond

Joseph A. Goguen

Martin Charles Golumbic

Peter Gorny

Jozef Gruska

Yuri Gurevich

Günter Haring

Jifeng He

Tom Head

Wolfgang Janko

Neil D. Jones

Jean-Pierre Jouannaud

Paris C. Kanellakis

Jan Willem Klop

Robert A. Kowalski

Dexter Kozen

Bernd J. Krämer

Hermann Krallmann

Jürgen Krause

Rainer Kuhlen

Joachim Lambek

Hans Langmaack

Jean-Louis Lassez

Alain Lecomte

Vladimir Lifschitz

Zohar Manna

Solomon Marcus

Michael Maschler

Alexandru Mateescu

Hermann A. Maurer

William W. McCune

Kurt Mehlhorn

Bertrand Meyer

Robin Milner

Ugo Montanari

Peter D. Mosses

Daniele Mundici

J. Ian Munro

John Mylopoulos

Manfred Nagl

Erich J. Neuhold

Thomas Ottmann

Seymour Ginsburg

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

Prakash Panangaden

Gheorghe Paun

Rinus Plasmeijer

Essays in Memory of Amir Pnueli

Jean-Jacques Quisquater

Brian Randell

Michael M. Richter

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

Willem P. de Roever

Grzegorz Rozenberg

Da Ruan

Arto Salomaa

Marek J. Sergot

Jörg H. Siekmann

Gift Siromoney

Rani Siromoney

Ray J. Solomonoff

Rudi Studer

Satoru Takasu

Carolyn L. Talcott

Bernhard Thalheim

Gabriel Thierrin

Wolfgang Thomas

Boris A. Trakhtenbrot

Alan M. Turing

Turing 100 Conference @ Manchester, UK

ACM Turing Centenary Celebration @ San Francisco, CA, USA

Esko Ukkonen

Christoph Walther

Hartmut Wedekind

Volker Weispfenning

Reinhard Wilhelm

Martin Wirsing

Niklaus Wirth

Akinori Yonezawa

Chaochen Zhou