| This volume is a Festschrift to honour the scientilfiifce and achievemento f Robin Milner. Robin’s contributions have been both profound and varied, ovneorw ,a o pfs eormioed , thirty years. They range througthhe semantic foundationso f programming languages, computerassisted theorem-proving, programming language design, andth e theory of concurrency. Throughout this work Robin has combined taste and elegance with a well-judged concern for applicability. Indeed,t he relation between theory and practihcea s been a major source of concern and inspiration, not only in his scientific work but also in his contribution to the social fabric of our subject, both as a founder and first directoorf the Laboratory for Foundations of Computer Science at Edinburgh University, and, more recently, as head of department at Cambridge. His work continues to have a strong and wide influence, and we feel it will have a permanent place in the historyo u orf subject.
When we first began the Festschrift project we did not anticipate howit w lonugld take nor how large wast he task. We therefore p ~ c u l a r l yap preciate the generous help we have been given by many people, whether as referees, giving technical advice, offering encouragement, or being a (very) patient editor. We therefore tha&: Samson Abramsky, Peter Aczel, Jos Baeten, Gerard Berry, Gerard Boudol, Julian Bradfield, Pierre-Louis Curien, Edmund Clarke, Gianluigi Ferrari, Andrzej Filinski, Mike Fourman, Healfdene Goguen, Mike Gordon, Matthew Hennessy, Robert HarpTeor,n y Hoare, Gerard Huet, Hans Huttel, Paul Jackson, Cliff Jones, David Matthews, Pepe Meseguer, Albert Meyer, Eugenio Moggi, Faron Moller, Mogens Nielsen, LukOen g, Joachim Parrow, Lawrence Paulson, Benjamin Pierce, Randy Pollack, John Power, Bob Prior, Jon Riecke, Giuseppe Rosolini, Davide Sangiorgi, Vladimiro Sassone, Scott Smolka, David N. Turner, David Walker, and Glynn Winskel. |
