Harald Ganzinger
D2: Programming Logics Group
Harald Ganzinger (1950 - 2004)
Max-Planck-Institut für Informatik
Scientific Director
Prof. Dr. Harald Ganzinger died on June 3, 2004 after a long and serious illness.
If you are interested in Harald Ganzingers work, please contact:
Prof. Dr. Christoph Weidenbach
Campus E1 4, Room 612 (Building E1 5)
66123 Saarbrücken
Germany
Email: weidenbach@mpi-inf.mpg.de
Phone: +49 681 9325 900
Fax: +49 681 9325 999
Research Topics
- Term Rewriting
- Saturation-based Theorem Proving
- Transitivity, Equality, first-order Theorem Proving, Redundancy and Simplification, algebraic Refinements
- Decidable Fragments of first-order Logic
- Constraint Logics, Word Problems, Decision Procedures, Complexity
- Automated Complexity Analysis
- Meta-comlexity Theorems, logic Programming with guaranteed Complexity, Complexity Analysis through Saturation
Publications
Slides
- Talk on Semantic and Proof-Theoretic Criteria for PTIME Uniform Word Problems, LICS, June 2001, Boston
- Talk on meta-complexity theorems for bottom-up logic programs, PADOII, May 2001, Aarhus
- Invited Talk at POPL 2001, London (pdf file)
- Tutorial Rewrite Techniques in Theorem Proving
Provers
- The Saturate System: an experimental prover for first-order logic over transitive relations
- SPASS: a high-performance prover for first-order logic with equality
Try WebSPASS!
Activities
- 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
- Harald Ganzinger 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)
- Workshop of Programming Logics in Memory of Harald Ganzinger: