-------- Original-Nachricht -------- Betreff: Call for Papers: Mini-Workshop on Mathematical Theory Exploration Datum: Wed, 03 May 2006 15:12:35 +0200 Von: Alexander Zapletal alexander.zapletal@oeaw.ac.at An: gustaf.neumann@wu-wien.ac.at
[ 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@jku.at home page: www.risc.uni-linz.ac.at/people/buchberger
http://www.risc.uni-linz.ac.at/people/buchbergerAnnouncement: Special Semester on Groebner Bases and Related Topics, Feb - July 2006, at RICAM and RISC http://www.ricam.oeaw.ac.at/srs/groeb/