Prof. Dr. Harald Ganzinger passed away on June 3, 2004 at the age of only 53 years after a long and serious illness. Prof. Ganzinger had been Director at the Max-Planck Institute for Computer Science in Saarbrücken since 1991. There he headed a research group working on »Programming Logics«. He joined the institute shortly after it was founded.

From that time on, he devoted his complete scientific life to building up the institute and furthering its scientific reputation. For his students, he was a motivating teacher who cared greatly for their progress in learning. For the members of his research group he was a role model, a mentor and a helping hand. For his colleagues in the directorate he was a partner and friend. Often no words were necessary to be able to understand one another.

In July 2004 Prof. Ganzinger was to receive the international Herbrand Award for his achievements in the field of automatic deduction. We regret very much he will not be able to personally receive this prestigious award.

His work in the institute gave him strength up to his last days. It is very hard to imagine that he will not be with us anymore, giving us his advice and encouragement and helping us with his dedication and decisive action. We will miss him beyond measure.

The Directors of the Max-Planck Institute for Computer Science
Thomas Lengauer, Kurt Mehlhorn, Hans-Peter Seidel, Gerhard Weikum