Before he left Edinburgh for Cambridge, Robin Milner very kindly
donated a sum of money to fund an annual lecture in Computer Science
at the University of Edinburgh, given "by someone from outside the
University who has done or is doing excellent and original
theoretical work which has a perceived significance for practical
computing. The spirit of the proposal is to keep a live connection
between theory and application in computer science."

The selection is made by the LFCS Directorate on the basis of a
periodic call for nominations. The Milner Lecture ordinarily takes
place in Summer term. The speaker visits for several days and
usually gives one or more informal talks in addition to the Milner
Lecture.

====================================================================
Milner lecturers to date

1996 Gerard Berry, Ecole des Mines and INRIA, Sophia-Antipolis
     Synchronous Programming of Reactive Systems 

1997 Les Valiant, Harvard University
     Cognitive Computation 

1998 Amir Pnueli, Weizmann Institute 
     Temporal Logic for Verification of Reactive Systems 

1999 Butler Lampson, Microsoft Research
     Computer Security in the Real World