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/