Here is a list of my talks:

• Towards Automating Classification of Quasigroup Structures
  Loops-07, Prague, Czech Republic, August 22 2007.
  
• Integrating AI Systems for Mathematical Discovery
  RISC, Hagenberg, Austria, July 25 2007. Invited RISC Seminar.
  
• A Rational Reconstruction of a System for Experimental Mathematics
  Calculemus 2007, RISC, Hagenberg, Austria, June 27 2007.
  
• Integrating AI Systems for Mathematical Discovery
  McMaster University, Hamilton, Canada, March 14 2007. Invited Departmental Seminar.
  
• Abstract Matrices in Symbolic Computation
  University of Waterloo, Waterloo, Canada, March 9 2007. Invited ORCCA Joint Lab Meeting.
  
• Matrices in Scientific Document Analysis
  Queens University, Kingston, Canada, February 26 2007. Invited Departmental Seminar.
  

• Abstract Matrices in Symbolic Computation
  University of Bath, UK, December 1 2006. Invited Departmental Seminar.
  
• Integrating AI Systems for Mathematical Discovery
  Imperial College, London, UK, November 1 2006. Invited Departmental Seminar.
  
• Automatic Construction and Verification of Isotopy Invariants
  IJCAR-06, Seattle, USA, August 17 2006.
  
• Capturing Abstract Matrices from Paper
  MKM-2006, Wokingham, UK, August 11 2006.
  
• Combining AI Systems for Classification in Non-associative Algebra
  Calculemus 2006, Genova, Italy, July 9 2006.
  
• Abstract Matrices in Symbolic Computation
  ISSAC-06, Genoa, Italy, July 11 2006.
  
• Integrating AI Systems for Mathematical Discovery
  University of Saarbücken, Germany, April 27 2006. Invited Logik Seminar.
  
• Poster presentation
  Managing Mathematical Workflows
  ARW-2006, Bristol, April 4 2006.
  

• Matrices in Scientific Document Analysis
  University of Edinburgh, UK, December 8 2005. Invited CISA Seminar.
  
• Semantics of Abstract Matrices
  Kyushu University, Fukuoka, Japan, September 4 2005. Invited Seminar.
  
• Poster presentation with Alan Sexton
  Semantic Analysis of Matrix Structures
  ICDAR-05, Seoul, South Korea, September 2005.
  
• Poster presentation
  Abstract Matrices and Constraints
  Twelfth Workshop on Automated Reasoning Bridging the Gap between Theory and Practice, Edinburgh, UK, July 29 2005.
  
• Connecting Logical Representations and Efficient Computations
  Calculemus-2005, Newcastle-upon-Tyne, July 2005.
  
• Poster presentation
  A New Set of Algebraic Benchmark Problems for SAT Solvers
  SAT-05, St Andrews, UK, June 21 2005.
  
• Can a Higher-Order and a First-Order Theorem Prover Cooperate?
  CIAO-05, Nottingham, UK, April 2005.
  
• Towards an Efficient Representation of Computational Objects
  Fifth Workshop on the Implementation of Logics, Montevideo, Uruguay, March 13 2005.
  

• Automatic Generation of Classification Theorems for Finite Algebras
  IJCAR-04, Cork, Ireland, July 8 2004.
  
• Generating, Creating, Proving, and Distributing or Why ``Theory People'' use the Cluster
  Theory Seminar, University of Birmingham, UK, June 25 2004.
  
• poster Presentation with Simon Colton
  Automatic Generation of Classification Theorems for Finite Algebras
  Eleventh Workshop on Automated Reasoning Bridging the Gap between Theory and Practice in conjunction with AISB'01 Convention, Leeds, UK, April 2001.
  
• Automatic Generation of Classification Theorems for Finite Algebras
  CIAO-04, Genoa, Italy, March 30 2004.
  

• Integrating Computational Properties at the Term Level
  Calculemus-2003, Rome, Italy, September 2003.
  
• Certifying Solutions to Permutation Group Problems
  CADE-19, Miami, Florida, USA, July 31 2003.
  
• Certifying Solutions to Permutation Group Problems
  Theory Seminar, University of Birmingham, UK, July 4 2003.
  
• with Arjeh Cohen
  Groups and Certificates
  Workshop on Mathematics on the Semantic Web, Eindhoven, The Netherlands, May 12-14 2003.
  
• Poster Presentation
  Proof Planning Some Permutation Group Problems
  Tenth Workshop on Automated Reasoning Bridging the Gap between Theory and Practice, Liverpool, UK, April 15 2003.
  
• Certifying Solutions to Permutation Group Problems
  CIAO-03, Dagstuhl, Germany, April 2-4 2003.
  

• with Andreas Meier
  System Demonstration: The OMEGA System
  Calculemus Autumn School 2002, Pisa, Italy, October 2002. A tutorial.
  
• Employing Theory Formation to Guide Proof Planning
  Calculemus-2002, Marseille, France, July 5 2002.
  
• Invariants in Proof Theory
  Technical University of Eindhoven, The Netherlands, June 13 2002. Invited seminar.
  
• Comparing Approaches to Explore the Domain of Residue Classes
  CIAO-02, Edinburgh, UK, April 12 2002.
  
• Agent-Based Theorem Proving
  Ninth Workshop on Automated Reasoning Bridging the Gap between Theory and Practice in conjunction with AISB'02 Convention, London, UK, March 4 2002.
  
• Bridging Theorem Proving and Mathematical Knowledge Retrieval
  AI and Natural Computation Seminar, University of Birmingham, UK, February 2 2002.
  
• An Overview on the CALCULEMUS Activities in Birmingham
  Second internal workshop of the CALCULEMUS IHP-Network, Genoa, Italy, February 2002.
  
• Eine Blackboard-Architektur zur Integration von Inferenztechniken in die Beweisplanung 2001
  Universität des Saarlandes, Germany, November 23. PhD Defence.
  

• Agent-Based Theorem Proving
  University of Birmingham, UK, September 18 2001.
  
• Distributed Theorem Proving
  University of Reading, UK, September 13 2001.
  
• An Overview on the CALCULEMUS Activities in the OMEGA Group
  First internal workshop of the CALCULEMUS IHP-Network, Siena, Italy, June 23 2001.
  
• poster presentation with Christoph Benzmüler
  Proof Transformation and Expansion with a Parameterizable Inference Machine
  Eighth Workshop on Automated Reasoning Bridging the Gap between Theory and Practice in conjunction with AISB'01 Convention, York, UK, March 22 2001.
  
• Exploring the Domain of Residue Classes
  EUROCAST 2001, Las Palmas, Spain, February 20 2001.
  
• OAnts und Verteilung in OMEGA
  OMEGA Tagung, Universität des Saarlandes, Germany, January 2001.
  

• Exploring Properties of Residue Classes
  Deduktionstreffen-2000, Saarbrücken, October 10 2000.
  
• Exploring Properties of Residue Classes
  Calculemus-2000, St. Andrews, UK, August 7 2000.
  
• Automatically Exploring the Domain of Residue Classes
  Workshop on the Role of Automated Deduction in Mathematics at CADE-17, Pittsburgh, USA, June 21 2000.
  
• Exploring Properties of Residue Classes
  Theory Seminar, University of Birmingham, UK, April 2000. Invited seminar.
  
• The Implementation of OMEGA
  University of Birmingham, UK, April 2000. A two day tutorial.
  
• Non-trivial Symbolic Computations in Proof Planning
  FroCoS-2000, Nancy, France, March 23 2000.
  
• OANTS - an Agent Architecture for Guiding Interactive Proofs
  Oberseminar AG Siekmann, Universität des Saarlandes, Germany, January 2000.
  

• Computationalism
  SAGWAS-99, Schloß Dagstuhl, Germany, December 16 1999.
  
• with Peter Palaga
  Fregean Objects
  Sommerakademie der Studienstiftung des deutschen Volkes, Prague, August 29 - September 11 1999.
  
• Employing External Reasoners in Proof Planning
  Calculemus-99, Trento, Italy, July 12 1999.
  
• OMEGA - a Mathematical Assistant System
  University of Glasgow, UK, April 1999. Invited seminar.
  
• Trivial Verification of Non-trivial Computations
  University of St. Andrews, UK, April 1999. Invited seminar.
  
• Trivial Verification of Non-trivial Computations
  CIAO-99, Edinburgh, UK, April 12 1999.
  
• poster presentation with Christoph Benzmüler
  Towards Fine-Grained Proof Planning with Critical Agents
  Sixth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice in conjunction with AISB'99 Convention, Edinburgh, April 9 1999.
  
• Employing External Reasoners in Proof Planning
  University of Edinburgh, UK, April 1999. Invited seminar.
  

• Softwarestandards und -engineering in OMEGA
  OMEGA Tagung, Universität des Saarlandes, Germany, December 1998.
  
• A Blackboard Architecture for Guiding Interactive Proofs
  AIMSA-98, Sozopol, Bulgary, September 23 1998.
  
• for Erica Melis
  Constraint Solving in Proof Planning
  Calculemus-98, Eindhoven, The Netherlands, July 14 1998.
  
• An Implementation of Distributed Mathematical Services
  Calculemus-98, Eindhoven, The Netherlands, July 14 1998.
  
• Planning Equivalence Proofs
  Workshop on AI Techniques in Deduction at CADE-15, Lindau, Germany, July 5 1998.
  
• Analogy in Prodigy
  SAGWAS-98, Schloß Dagstuhl, Germany, May 22 1998.
  
• with Christoph Benzmüller
  Integrating TPS in OMEGA
  Oberseminar AG Siekmann, Universität des Saarlandes, Germany, Januar 1998.
  

• Mathematical Proof Planning in the OMEGA System
  Universite Rene Descartes Paris V, France, November 1997. Invited seminar.
  

• Constructing Proof Plans with Computer Algebra
  University of Birmingham, UK, September 1996. Invited seminar.
  
• Integrating a CAS as Proof Planer in the OMEGA Proof Development Environment
  2nd IMACS Conference on Applications of Computer Algebra, Castle Hagenberg, Austria, July 17 1996.
  
• Computeralgebraic Tactics and Metatheory
  1st Workshop on Abstraction, Analogy and Metareasoning, Trento, Italy, May 2 1996.
  
• with Michael Kohlhase
  Integrating a Computer Algebra System with OMEGA
  Universität Karlsruhe, Germany, April 1996. Invited seminar.
  

• Einbau eines Computer Algebra Systems in eine logische Beweisumgebung
  Oberseminar AG Siekmann, Universität des Saarlandes, Germany, 1995.