Homepage
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
- 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
- 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!
- Harald Ganzinger has been member of the editorial board
of the following journals:
- 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:
|
- 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 <rkumar@mpi-sb.mpg.de>
- Chin Soon Lee
- Peter Leven, Universität Freiburg
- Peter Madden
- Patrick Maier, University of Edinburgh
- Alexander Malkis, Universität Freiburg
|
- Petr Matousek, Technical University of Ostrava
- 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, Max-Planck-Institute for Software Systems
- Ina Schaefer, Technische Universität Kaiserslautern
- Renate A. Schmidt, University of Manchester
- Christian Schmolzi <schmolzi@mpi-sb.mpg.de>
- 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, Stanford University
- Andreas Tönne <atoenne@heeg.de>
- Leon van der Torre, Centrum voor Wiskunde en Informatica
- Miroslava Tzakova <tzakova@mpi-sb.mpg.de>
- Margus Veanes, Microsoft Research
- Luca Viganò, Verona University
- Sergei Vorobyov, Uppsala Universitet
- Silke Wagner
- Uwe Waldmann
- Christoph Weidenbach
- Emil Weydert, University of Luxembourg
- Thomas Wies, Universität Freiburg
- Jinzhao Wu, Universität Mannheim
- Frank Zartmann
|
|