ALMDM 2013 - The Computer Journal Special Issue on Algebraic & Logical Methods for Data & Modelling

Special Issues on Algebraic & Logical Methods for Data & Modelling"
Algebraic and Logical methods have proven to be invaluable tools for Computer Science. Algebras appear everywhere, from models of the data itself, to models of computation, and logical reasoning provide for stringent studies of data, models, and computations. Clearly, any computation will operate on data. However, the data actually used in a computation is generally only a model of the real data. Whether the data are images, fluids or abstract real numbers, the computer can only work with models of the data. Thus, algebraic and logical methods are imperative for topics ranging from fundamental theoretical computer science to applied computations.

The Computer Journal is soliciting submissions for high quality original papers on "Algebraic and Logical Methods for Data and Modelling". Papers are to be submitted with a cover letter clearly stating that they are intended for this special issue. All papers will be reviewed on originality, quality and relevance for the special issue.

**Important dates**

Submission deadline: 30 November
Acceptance: 31 January
Revised papers due: 15 March
Publication: Late 2012 or Early 2013

**Editors**

Jens Blanck, Swansea University, UK.

Editorial Committee:

Jan Bergstra, University of Amsterdam, the Netherlands Faron Moller, Swansea University, UK Stan S. Wainer, Leeds University, UK