Vorträge und Interviews
September 2004: „OMEGA: Ein mathematisches Assistenzsystem“ KI-Tagung, Ulm; Eingeladener Hauptvortrag
September 2004: „Künstliche Intelligenz“ Gi/Ki-Tagung Ulm; Einführungsvortrag
Juli 2004: OMEGA: An Assistant System for Mathematics. Fuldau Universität, Shanghai, China; Eingeladener Vortrag (Ehrenprofessur)
Juni 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
Januar 2004: „Automated Reasoning: A new Paradigm“ de Morgan Conference, London, King’s College; eingeladener Hauptvortrag
Oktober 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
Juli 2003: ActiveMath: Ein Tutor-System für die Mathematik, FH Dortmund, Workshop Mathematik
Mai 2003: OMEGA. A mathematical assiatant system, Workshop, Universität Linz, at RiSC