That is sad news. I guess the annual lecture at Edinburgh will be a memorial lecture now http://www.lfcs.inf.ed.ac.uk/events/milner-lecture http://www.lfcs.inf

That is sad news. I guess the annual lecture at Edinburgh will be a memorial lecture now http://www.lfcs.inf.ed.ac.uk/events/milner-lecture http://www.lfcs.inf.ed.ac.uk/events/milner-lecture.