Manfred Broy Friedrich H. Vogt Leslie Lamport

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