Eingeladene Vorträge

Implementing Automata Theory with the NuPRL System,

-

Cornell University, Ithaca, USA, April 1986,

-

Duke University, Durham, USA, Mai 1986,

-

University of Texas, Austin, USA, April 1986

-

SRI International, Menlo Park, USA, Juli 1986,

-

SEKI-Forum, Universität Karlsruhe, Oktober 1986 (in Deutsch),

-

Universität Kaiserslautern, Dezember 1986 (in Deutsch).

Das interaktive Beweissystem NuPRL,

-

FernUniversität Hagen, November 1986,

-

Fachgruppentreffen ``Deduktionssysteme'' der GI, München, März 1987,

-

ECRC, München, 1987,

-

RWTH Aachen, Juni 1987.

Verifikation und automatisches Beweisen,

TU Darmstadt, Dezember 1988.

LOPS: Logische Programmsynthese,

Workshop ``Verifikation, Konstruktion und Synthese von Programmen'', April 1989.

Formalizing Program Synthesis,

Cornell University, Ithaca, USA, September 1989.

Implementierung deduktiver Mechanismen in der Typentheorie,

-

DFKI Saarbrücken, Mai 1990,

-

Fachgruppentreffen ``Deduktionssysteme'' der GI, Johanniskreuz, September 1990,

-

Treffen mit der Forschungsgruppe KI der Universität Kaiserslautern, Oktober 1990.

Formale Untersuchung und Implementierung deduktiver Mechanismen in der Programmierung

mit Hilfe der intuitionistischen Typentheorie,

GMD Karlsruhe, Juni 1990.

Towards a formal Theory of Program Development,

Kestrel Institute, Palo Alto, USA, Dezember 1990.

Typentheorie,

AG Mathematik, TU Darmstadt, Februar 1991.

Deriving Programs that Develop Programs,

Workshop ``Logical Theory of Program Development'', Dagstuhl, Februar 1991.

Metasynthese - Synthese von Programmen, die Programme generieren,

-

Universität Giessen, Juli 1991.

-

Universität Kiel, November 1992.

Building proofs by Analogy via the Curry-Howard Isomorphism,

Workshop ``Kontrolle von Problemlöseverfahren'', GWAI-92, Bonn, September 1992.

Philosophie des Intuitionismus und sein Einfluß auf die Informatik,

TU Darmstadt, April 1993.

Verifizierte Systeme für wissensbasierte Softwareentwicklung,

-

Universität Hamburg, November 1993.

-

TU Darmstadt, November 1993.

Formal Mathematics as Key Component of Deductive Tools,

Workshop ``Logical Theory and Program Construction'', Dagstuhl, März 1994.

Typentheorie als Grundlage verifizierter und effizienter Systeme zur Synthese von Programmen,

Arbeitstreffen ``Typentheorie', Ulm, April 1994.

Ein Fundament für verifizierte Softwareentwicklungssysteme,

-

Universität Bremen, September 1994.

-

Fachgruppentreffen ``Deduktionssysteme'' der GI, Oktober 1994.

-

Universität Münster, November 1994

-

Universität Dortmund, Juni 1995

-

Universität Konstanz, Januar 1996

Guiding Program Development Systems by a Connection Based Proof Strategy,

Max-Plack Institut für Informatik, Saarbrücken, Juni 1995

<986>>