This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made a fundamental contribution, especially in theoretical computer science, programming language theory, and functional programming language. After a brief biography of Milner, this book contains five sections: Semantic Foundations, Logic Programming, Programming Languages, Concurrency, and Mobility. C. Bergstra, G Berry rd,? Lars Birkedal, G? Boudol rd, Edmund Clarke, Pierre Collette, Robert L. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. Hoare, G Huet rd,? Paul B. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Liu Xinxin, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C.