siglauvt2.jpg synasc2006.jpg
 Main Menu
Home
Call for papers
Topics
Workshops
ACSys workshop
GridCAD workshop
ICS workshop
MTE workshop
NCA workshop
PN&WM workshop
Invited talks
Publication
Committees
Submission
Important dates
Fees
Accommodation
Program
Travel
Venue
Social programme
Registration form
Contact info
Previous editions
Sponsors

 Search
  
MTE workshop PDF Print

  MINI-WORKSHOP ON MATHEMATICAL THEORY EXPLORATION  - MTE 2006

(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

 


Copyright(C) 2006 - Department of Computer Science, email: synasc06@info.uvt.ro