[Om-announce] Call for Papers: Mini-Workshop on Mathematical Theory Exploration

[Alexander Zapletal]

[ Please apologize for multiple copies !]

CALL FOR PAPERS

MINI-WORKSHOP ON MATHEMATICAL THEORY EXPLORATION

(in the frame of SYNASC 2006, Timisoara, Romania, Sep. 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 mathematical 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).


Deadline for paper submission: May 15, 2006 (slight extension possible).

For  more information, in particular about the submission procedure, see
http://synasc06.info.uvt.ro/.


Bruno Buchberger
(Organizer of the Mini-Workshop)


Bruno Buchberger
Professor of Computer Mathematics
and Director of the Softwarepark Hagenberg
Research Institute for Symbolic Computation
Johannes Kepler University, A 4232 Castle of Hagenberg, Austria
Phone office:    ++ 43 732 2468 9921
Mobile phone:  ++ 43  664 4211646
Fax:                ++ 43 732 2468 9930
E-mail:   bruno.buchberger at jku.at
home page:  www.risc.uni-linz.ac.at/people/buchberger

<http://www.risc.uni-linz.ac.at/people/buchberger>Announcement: Special
Semester on Groebner Bases and Related Topics,  Feb - July 2006, at
RICAM and RISC
http://www.ricam.oeaw.ac.at/srs/groeb/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: alexander.zapletal.vcf
Type: text/x-vcard
Size: 416 bytes
Desc: not available
Url : http://openmath.org/pipermail/om-announce/attachments/20060503/4ca7821c/alexander.zapletal.vcf