Talks
 
Talk   Mechanical Software Verification: High Level Control Aspects from a User's Perspective. IJCAR 2001 Workshop on Strategies in Automated Deduction. Siena, Italy, Juni 2001. Invited Lecture. 
Talk with Roy Bartsch.Mechanical a-posteriori Verification of Results: A Case Study for a Safety-Critical AI System. AAAI Spring Symposium. Stanford, U.S.A., March 2001. 
2000
 
Talk Mechanische Übersetzungsverifikation in ACL2: Eine Fallstudie. Arbeitsgemeinschaft ``Programmiersprachen und Programmiermethodik''. Kiel, November 2000. 
Talk Proving Preservation of Partial Correctness with ACL2: A Mechanical Compiler Source Level Correctness Proof. ACL2 Workshop 2000. Austin, Texas, Oktober 2000. 
Talk Reflections on Ken Thompson's Reflections on Trusting Trust. Kolloquium, University of California. Irvine, CA, Oktober 2000. 
Talk Gedanken zur Formalisierung und mechanischen Verifikation mit partiellen Funktionen. Arbeitsgemeinschaft ``Programmiersprachen und Programmiermethodik''. Kiel, Juli 2000. 
Talk Reflections on Ken Thompson's ``Reflections on Trusting Trust''. Workshop on Tools for Systems Design and Verification FM-Tools 2000 . Reisensburg Castle, Juli 2000. 
Talk Proving Preservation of Partial Correctness with PVS. 2nd Kiel Week Workshop on Engineering of Software Verification, Validation, and Certification. Kiel, Juni 2000. 
Talk Ordnung in Entwürfen und Programmen: Vorteile der Objektorientierung und ihre Tücken. Habilitationsvortrag. Kiel, Mai 2000. 
Talk Selbstreproduktion, Reflektion und Trojanische Pferde: Zur Verläßlichkeit von Übersetzerimplementierungen. Kolloquium. Rostock, Mai 2000. 
1999
 
Talk Programmprüfung. 2. Verifix-Kolloquium. Karlsruhe, Januar 1999. 
Talk Verified Result Checking for Safety of an Automatic Test Plan Generator. 1999 ACL2 Workshop. Austin, Texas, März 1999. 
Talk Self-reproduction, Reflection, and Trojan Horses. Gastvorlesung, Dept. of Computer Science, University of Texas. Austin, Texas, April 1999. 
Talk Über Trojanische Pferde in Übersetzerimplementierungen. Workshop Sicherheit und Zuverlässigkeit softwarebasierter Systeme. Bad Honnef, Mai 1999. 
Talk Vertrauenswürdige Programmausführung. Informatik-Kolloquium. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität. Kiel, Juli 1999. 
Talk Über Trojanische Pferde in Übersetzern. Kolloquium Programmiersprachen und Grundlagen der Programmierung. Heinsberg, September 1999. 
1998
 
Talk Zur Semantik von ComLisp. 9. Verifix-Workshop. Kiel, März 1998. 
Talk Correct Programs without Proof? On Checker-Based Program Verification. 7th International Workshop on Functional and Logic Programming. Bad Honnef, April 1998. 
Talk Übersetzung einer while-Sprache mit parameterlosen Prozeduren bei Erhaltung partieller Korrektheit. 10. Verifix-Workshop. Ulm, Mai 1998. 
Talk Checker-basiertes mechanisches Verifizieren. 10. Verifix-Workshop. Ulm, Mai 1998. 
Talk Correct Programs without Proof? On Checker-Based Program Verification. Workshop Tool Support for System Specification, Development and Verification TOOLS'98. Malente, Mai 1998. 
Talk A Checker-Based Approach to Program Verification and Certification. Workshop of Engineering of Software Verification, Validation, and Certification. Kiel, Juni 1998. 
Talk Netzwerkfähige Lisp-Anwendungen mit graphischer Oberfläche durch Einsatz von Standardkomponenten. KI'98 Workshop ``Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen. Bremen, September 1998. 
Talk Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. Workshop FMTrends'98. Boppard, Oktober 1998. 
Talk with Hans Langmaack. Zuverlässigkeit ausführbarer binärer Maschinenprogramme. BSI-Trendtage. Bonn, November 1998. 
1997
Talk Towards Rigorous Compiler Implementation Verification. 5th ProCoS Working Group Meeting. Reading, UK, April 1997. 
Talk Übersetzer- und Implementierungsverifikation. Informatik-Kolloquium. GMD First, Berlin, November 1997. 
Talk Towards Rigorous Compiler Implementation Verification. Workshop Alternative Konzepte für Sprachen und Rechner. Bad Honnef, Mai 1997. 
Talk Towards Rigorous Compiler Implementation Verification. Workshop on Programming Languages and Fundamentals of Programming. Avendorf, September 1997. 
Talk Compiler and Implementation Verification. VIM Winter Workshop. Ravello, Italien, Dezember 1997. 
1996
Talk Komplettkompilation: Lisp-Software in der Endanwendung. DFKI-Kolloquium. Kaiserslautern, Januar 1996. 
Talk with Wolf Zimmermann. Implementierungsverifikation für korrekte Codegeneratorspezifikationen. 4. Verifix-Workshop. Karlsruhe, Februar 1996. 
Talk Compiler Correctness and Implementation Verification: The Verifix Approach. Kurzbeitrag CC'96 Int. Conf. on Compiler Construction. Linkøping, Schweden, 1996. 
Talk Erhalten partieller Korrektheit bei Übersetzung in ressourcenbeschränkten Maschinencode. 5. Verifix-Workshop. Ulm, Mai 1996. 
Talk Komplettkompilation: Lisp-Software in der Endanwendung. Informatik-Kolloquium. Fakultät für Informatik, Universität Magdeburg, Juni 1996. 
Talk Compiler Correctness and Implementation Verification. Gastvortrag, Computational Logic Inc. Austin, Texas, USA, August 1996. 
Talk The ACL2 Correctness Proof of a Simple Theorem Prover Executable. Gastvortrag, Computational Logic Inc. Austin, Texas, USA, Oktober 1996. 
Talk Der ACL2-Korrektheitsbeweis eines einfachen Theorembeweisers. 1. Verifix-Kolloquium. Karlsruhe, Oktober 1996.
1995
Talk Z-Spezifikation des Transputers. 2. Verifix-Workshop. Ulm, Juli 1995. 
Talk Zum Korrektheitsbegriff im Verifix-Projekt. 2. Verifix-Workshop. Ulm, Juli 1995. 
Talk On the Correctness of Compilers and Compiler Implementations. SVRC Seminars, University of Queensland. Brisbane, Australia, Oktober 1995.
Talk Implementierungskorrektheit von Compilern. 4th ENCRESS-Workshop. Berlin, Dezember 1995. 
1994
Talk CLiCC: The Common Lisp Delivery System. 1st VIM Meeting. GMD, St. Augustin, März 1994. 
Talk Die APPLY-Methodik: Strategien zur effizienten Einbindung von Lisp-Programmen in Softwareumgebungen (Anwendungen). APPLY-Abschlußreview. GMD, St. Augustin, Juni 1994. 
1991
Talk with Friedemann Simon. Migration und Kompilation in Lisp. Workshop Alternative Konzepte für Sprachen und Rechner. Bad Honnef, 1991. 
1989
Talk Semantik und Übersetzung objektorientierter Wissensrepräsentationssprachen. Workshop Alternative Konzepte für Sprachen und Rechner. Bad Honnef, 1989. 
Talk with Dieter Ackermann. Kompilation von Wissensbasen. Messepräsentation auf der SYSTEMS '89. München, 1989. 
Talk Zur Korrektheit eines Übersetzers für objektorientierte Sprachen: Ein Beweisansatz. Arbeitstreffen Funktionale und logische Programmierung. Hirschegg, 1989. 
1987
Talk with Dieter Ackermann. Das Projekt: Übersetzung von Wissensbasen. Workshop Alternative Konzepte für Sprachen und Rechner. Bad Honnef, 1987.