Talks of Volker Sorge

Here is a list of my talks:

2007- 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.