Lectures and Interviews
September 2004: “OMEGA: Ein mathematisches Assistenzsystem” KI-Tagung, Ulm; Eingeladener Hauptvortrag
September 2004: “Künstliche Intelligenz” Gi/Ki-Tagung Ulm; Einführungsvortrag
July 2004: OMEGA: An Assistant System for Mathematics. Fuldau Universität, Shanghai, China; Eingeladener Vortrag (Ehrenprofessur)
June 2004: ACTIVE.MATH: A mathematical tutor system, Artificial Intelligence and Soft Computing, AiSC, Polen, Krakau; Eingeladener Hauptvortrag
April 2004: OMEGA: Ein mathematisches Assistenzsystem, Humboldt Universität Berlin; Kolloquiumsvortrag
January 2004: “Automated Reasoning: A new Paradigm” de Morgan Conference, London, King’s College; eingeladener Hauptvortrag
October 2003: OMEGA: A mathematical Assistant System, Shanghai, DFG: Deutsch/Chinesisch-Workshop
September 2003: ActiveMath: An intelligent Tutor System for Mathematics. London, King’s College; Kolloquiumsvortrag
July 2003: ActiveMath: Ein Tutor-System für die Mathematik, FH Dortmund, Workshop Mathematik
May 2003: OMEGA. A mathematical assiatant system, Workshop, Universität Linz, at RiSC