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

Alexander Zapletal alexander.zapletal at oeaw.ac.at
Wed May 3 15:12:35 CEST 2006

[ Please apologize for multiple copies !]



(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

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: alexander.zapletal.vcf
Type: text/x-vcard
Size: 415 bytes
Desc: not available
Url : http://lists.tcs.ifi.lmu.de/pipermail/loginf/attachments/20060503/4ca7821c/alexander.zapletal.bin

More information about the loginf mailing list