Harald Ganzinger (1950-2004) Scientific Director Max-Planck-Institut für Informatik Programming Logics Group

Prof. Dr. Harald Ganzinger died on June 3, 2004 after a long and serious illness.

Contact Data Research Topics Publications Slides Provers Harald Ganzinger has been member of the editorial board of the following journals: Journal of Automated Reasoning Theory of Computing Systems (formerly Mathematical Systems Theory) Discrete Mathematics and Theoretical Computer Science He has been member of the program committees of the following recent conferences: RTA 2003, Valencia, Spain, June 9-11, 2003 LICS 2003, Ottawa, Canada, June 22-25, 2003 CADE 2003, Miami, Florida, July 28 - August 2, 2003 CSL/KGC 2003, Vienna, Austria, August 25-30, 2003 LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 LICS 2004, Turku, Finland, July 13-17, 2004 (colocated with ICALP'04) Teaching