 |
Research contract with IBM Germany on automated deduction in many-valued
logics. |
1989-1992 |
|
Joint research with the department of AI at Edinburgh University on
automated planning of inferences funded by the Program for the Stimulation of
Cooperation and Exchange of the Commission of the European Communities. |
1990-1991 |
|
Project "Wissensbasierte Plangenerierung mit Hilfe deduktiver
Datenbanken" (Knowledge-based plan generation using deductive data bases) in SFB 314
(jointly with P. Lockemann). |
1991-1994 |
|
Project "Tableaukalküle" (tableau calculi) in the national
research program on "Deduktion" funded by DFG. |
1992-1998 |
|
Project Integration interaktiven und automatischen Beweisens
(integrating interactive and automated theorem proving) funded by DFG within the framework
of the national research program on "Deduktion" (jointly with R. Hähnle, W.
Menzel and W. Reif). |
1994-1998 |
|
Exchange of students and young researchers with the Groupe Intelligence
Artificielle at the CRNS, Marseille funded by the Procope action of the DAAD. |
1994-1995 |
|
COST (Coopération
européenne dans le domaine de la recherche scientifique et technique, a framework for
scientific cooperation funded by the European Union) Action #15 "Many-Valued Logic
for Computer Science Applications", national representative for Germany. |
1995-1999 |
|
Acciones integradas, joint research with Jaume Agusti at IIIA (Artificial
Intelligence Research Institute) of C.S.I.C. (Spanish council for scientific research) at
Barcelona. |
1996/1997 |
|
Test user within the MeDoc-Project (Multimediale elektronische Dokumente,
electronic multimedia documents) funded by the German ministery of Education, Science,
Research and Technology, BMBF. |
1996-1997 |
|
"A graphical user interface for the design of formal
specifications" Project with the Technologiezentrum der Deutschen Telekom AG,
Darmstadt (Center of Technology of the German Telekom). |
1996 |
|
Exchange project within the TMR (training, mobility and research)
framework of the European Union with the Imperial College in London. |
1996-1997 |
|
Dissertations Online, A national joint project of the German
scientific societies funded by DFG. |
1998 |
|
Exchange program with Domenico Cantone, Universitá di Catania, Italy on Deduktion
in Mengentheorie: ein Werkzeug für Software-Verifikation (deduction in set theory: a
tool for software verification) funded within the DAAD program Vigoni. |
1998/1999 |
|
Entwurfs- und Verifikationsumgebung für dynamische Algebren
(Design and verification environment for dynamic algebras), DFG research project. |
1998-2001 |
|
Logical modeling of applied deduction calculi project within the Probral-program
with Prof. Dr. Walter Carnielli at the State University of Campinas - UNICAMP, in
Campinas, Brasil. |
1998-2000 |
