MTE workshop


(in the frame of SYNASC 2006, Timisoara, Romania, September 26-29, 2006)

Original papers on all aspects of computer-supported (algorithm-supported, formal, reasoning based, automated, semi-automated) mathematical theory exploration are solicited:

- case studies
- reasoning tools
- organizational tools

The emphasis of this workshop is on methods and tools that concern the entire process, or significants parts of the process, of exploring mathematical theories:

- invention of definitions and axioms
- invention and verification of propositions
- invention of problems
- invention and verification of algorithms
- mathematical knowledge build-up and retrieval
- future organization of mathematicla books and journals

and on  realistic and interesting case studies that demonstrate the value of the methods presented.

The papers will be refereed for presentation at the workshop. Revised versions of papers, after additional refereeing, will be published in post-proceedings edited  by an international publisher.

In addition to the full papers, proposals for short talks may be submitted (4 pages extended abstract).

The papers should be submitted in electronic version at
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it  .

Deadline for paper submission:

Deadline extended:  June 15, 2006  June 23, 2006

Workshop chair:  

Bruno Buchberger
Research Institute for Symbolic Computation
and  Johannes Kepler University,
Linz, Austria
This e-mail address is being protected from spam bots, you need JavaScript enabled to view it

Program Committee (under construction):

Michael Kohlhase, International University Bremen, Germany,
Mircea Marin, University of Tsukuba, Japan
Roy McCasland, University of Edinburgh, UK,
Erica Melis, DFKI and Universitaet des Saarlandes, Germany 
Florina Piroi, RICAM, Austria
Stephen Watt, University of Western Ontario, Canada