Prof. Dr. Harald Ganzinger passed away on June 3, 2004.
Secretary: Brigitta Hansen.
Current acting director of the Programming Logics Group: Prof. Dr. Thomas Lengauer.