On Friday, I took part on the leave-taking of Prof. de Roever in Christian-Albrechts-Universität, in Kiel, Germany. Several prominent people from computer science research community spoke very kind words about de Roever, especially Amir Pnueli, who presented himself as a colleage and a competitor. Leslie Lamport also has been there, but I missed his talk that took place on Thursday. Further pictures are in my Flickr gallery…
