As a follow-up of the ACA 2008 session on Groebner Bases and Applications and on the occasion of the ACM Kanellakis Award given to Bruno Buchberger for the invention and development of the theory of Groebner bases and its applications, JSC plans to edit a special issue devoted to Groebner Bases and their Applications. The special issue will be dedicated to Professor Bruno Buchberger, Founding Editor-in-Chief of the Journal of Symbolic Computation.

The special issue is meant to contain, but not limited to, selected papers presented at the session on Groebner Bases and Applications organized at the ACA 2008 conference held in RISC-Linz, Austria.

Possible topics of applications, within this scope, include but are not limited to:

- GB in program verification
- GB in origami
- GB in combinatorial design theory
- GB in computer aided design
- GB in solid modeling
- GB in mathematics
- GB in logic
- GB in education
- GB in geometrical theorem proving
- GB in integer programming
- GB in sciences and engineering

- elimination theory
- computational commutative algebra
- multivariate polynomial ideal theory
- solving systems of algebraic equations
- Algorithms for computing GB's
- GB for improving oil drilling platforms
- GB for guessing "missing links" in palaeontology
- GB in cryptography (code breaking)
- GB in software engineering (automated inductive assertion generation)
- GB for sudoku

Papers must be submitted by e-mail to the one of the three guest editors.

All submissions will be acknowledged by an official e-mail from one of the three guest editors.

Papers should be up to 15 page long, using the Elsevier LaTeX stylefile elsart.cls. Authors are therefore encouraged to be as concise as possible.

* The introduction of the paper MUST explicitly address the following questions in succinct and informal manner: - What is the problem? (address the general audience, not a chemist) - Why is the problem important? - What has been done so far on the problem? - What is the main contribution of the paper on the problem? - Is the contribution original? Explain why. - Is the contribution non-trivial? Explain why. * All the main definitions, theorems and algorithms must be illustrated by simple but meaningful examples. Without these, the paper will not be considered.All submitted papers will be refereed according to the usual JSC refereeing process.

Submission of papers:

Notification of acceptance/rejection:

Delivery of final LaTeX file:

Publication of special issue:January 31, 2009

December 31, 2009

January 31, 2010

Spring 2010

Elizabeth Arnold

James Madison University

Department of Mathematics

and Statistics

Harrisonburg, VA 22807, USA

arnoldea@math.jmu.eduIlias S. Kotsireas

Wilfrid Laurier University

Department of Physics

and Computer Science

Waterloo, Ontario N2L 3C5 Canada

ikotsire@wlu.caMarkus Rosenkranz

Johann Radon Institute for Computational

and Applied Mathematics (RICAM)

Austrian Academy of Sciences (ÖAW)

markus.rosenkranz@oeaw.ac.at

back to JSC Editors Web Page