!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> Homepage: Harald Ganzinger(Max-Planck-Institut für Informatik)

D2: Programming Logics Group

A | B | C | D | E | F G | H | I | J | K | L | M N | O | P | Q | R | S | T U | V | W | X | Y | Z

max planck institut
informatik

mpii

Homepage

Ganzinger, Harald

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: Get my email address via email
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

See DBLP

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:

Former Students

Penny Anderson, Lafayette College
Abdelwaheb Ayari, University Freiburg
Werner Backes, Stevens Institute of Technology
Peter Barth, Fachhochschule Wiesbaden
David Basin, ETH Computer Science
Hubert Baumeister, Technical University of Denmark
Peter Baumgartner, Australian National University
Alexander Bockmayr, FU Berlin
Richard Booth, Mahasarakham University
Christof Brinker
Witold Charatonik, University of Wroclaw
Giorgio Delzanno, Università di Genova
Yannis Dimopoulos, University of Cyprus
Thorsten Engel <thorsten.engel@sap-ag.de>, SAP
Friedrich Eisenbrand, EPFL Lausanne
Detlef Fehrer, SICK AG Waldkirch
Matthias Fischmann, Humboldt-Universität zu Berlin
Stefan Friedrich, Universität Freiburg
Lilia Georgieva, Heriot-Watt University
Jörn Freiheit
Peter Graf <peter.graf@mpi-sb.mpg.de>
Michael Hanus, Christian-Albrechts-Universität zu Kiel
Thomas Hillenbrand
Jörg Hoffmann, Universität Innsbruck
Jörn Hopf
Malte Hübner, Universität Mannheim
Sajjad Syed Hussain
Ullrich Hustadt, University of Liverpool
Carsten Ihlemann
Swen Jacobs
Florent Jacquemard <florent.jacquemard@trusted-logic.fr>
Manfred Jaeger, Aalborg University
Georg Jung, Kansas State University
Thomas Kasper <kasper@mpi-sb.mpg.de>
Yevgeny Kazakov, University of Oxford
Enno Keen <keen@mpi-sb.mpg.de>
Konstantin Korovin, University of Manchester
Ramesh Kumar <
Chin Soon Lee
Peter Leven, Universität Freiburg
Peter Madden
Patrick Maier, University of Edinburgh
Alexander Malkis,

Petr Matousek,
Seán Matthews
Stefan Maus, Universität Freiburg
Christoph Meyer, University of Salzburg
Supratik Mukhopadhyay, West Virginia University
Hans de Nivelle, University of Wroclaw
Andreas Nonnengart, DFKI
Hans Jürgen Ohlbach, Ludwig-Maximilians-Universität München
Virgile Prevosto
Ruzica Piskac, EPFL Lausanne
Solofo Ramangalahy
Madala R. K. Krishna Rao
Stefan Ratschan, Academy of Sciences of the Czech Republic
Anya Romina
Andrey Rybalchenko,
Ina Schaefer, Technische Universität Kaiserslautern
Renate A. Schmidt, University of Manchester
Christian Schmolzi <
Mohammed Nassim Seghir, Universität Freiburg
Zhikun She, Beihang University
Ashish Singh
Viorica Sofronie-Stokkermans
Gernot Stenz, Technische Universität München
Georg Struth, University of Sheffield
Jürgen Stuber, LORIA Campus Scientifique
Jean-Marc Talbot, Université de Provence
Christian Theobalt, Max Planck Institute for Informatics
Andreas Tönne <
Leon van der Torre, Centrum voor Wiskunde en Informatica
Miroslava Tzakova <
Margus Veanes,
Luca Viganò, li>
Sergei Vorobyov, Uppsala Universitet
Silke Wagner
Uwe Waldmann, Max Planck Institute for Informatics
Christoph Weidenbach, Max Planck Institute for Informatics
Emil Weydert, University of Luxembourg
Thomas Wies, Universität Freiburg
Jinzhao Wu, Universität Mannheim
Frank Zartmann