Simon Zambrovski

Since Prof. Dr. Vogt is going to retirement and leaves his position as head of the Institute of Telematics of Hamburg University of Technology a small farewell party has been organized. The most to prominent guests from the computer science community were Leslie Lamport and Manfred Broy. Leslie spoke about the benefits of usage of +CAL, a language for algorithm specification built on top of TLA+. Manfred spoke about requirements engineering and the utmost important of requirements for the quality of the software. The event has been finalized by a delicious buffet.

The pictures are available at http://www.ti5.tu-harburg.de/graphic/photos/symposium/

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…

Technorati tags: Kiel, CAU, de Roever, Pnueli, Lamport