CEJM special issue on Algorithmic Model Theory: Extended call for submissions

[Valentin Goranko]

SPECIAL ISSUE OF THE CENTRAL EUROPEAN JOURNAL OF MATHEMATICS
ON ALGORITHMIC MODEL THEORY

*******Extended call for submissions*******
 

The Central European Journal of Mathematics (CEJM) is an international
journal aspiring to high standards and scientific quality, co-published by
Versita and Springer. It is listed in the ISI Master Journal Index and
Science Citation Index-Expanded.
Journal website: http://www.versita.com/science/mathematics/cejm/;
online content also on http://www.springerlink.com/content/119963/.
 
The CEJM invites high quality submissions of original research or survey
papers to the special topical issue devoted to ³ALGORITHMIC MODEL THEORY²,
to be published as Volume 8, Number 2 / April 2010.
 

SPECIFIC TOPICS: 
The following is a non-exclusive list of specific topics in the focus of the
special issue: 
-       Finite model theory
-       Effective presentations of infinite structures (in terms of
automata, rewriting systems, algebraic or model-theoretic transformations,
etc.)
-       Applications to decision problems in logic (e.g., in first-order
logic, monadic second-order logic, modal logic, temporal logics)
-       Applications in infinite-state verification and algorithmic
synthesis
-       Applications in data base theory (e.g., regarding semi-structured
data)
-       Relations between logics, games, and automata
-       Computations and computational complexity over finitely presentable
structures 
-       Logic and computability in arithmetic and analysis
 

SUBMISSION INSTRUCTIONS:
The papers should be submitted in standard LATEX, article style, 12pt. The
submissions should contain affiliations and contact details of the authors,
and an abstract of up to 1 page. No fixed page limit is imposed. Submissions
should preferably be made through the CEJM online submission processing
system at http://www.cejm.editool.com <http://www.cejm.editool.com/>, using
the special link provided for this topical issue (when uploading the paper
one should choose ³Algorithmic Model Theory² from the list available at
³Category² window). In special circumstances preventing the authors to
submit through that system, submissions can be sent by email or mail to all
special issue editors listed below or directly to the Managing Editor of
this journal (bkubis at versita.com).

All submissions will go through a proper and comprehensive peer-review
procedure. 

 
SPECIAL ISSUE EDITORIAL TEAM:
The handling of submissions and decision on acceptance will be made by the
editorial team for this special issue, consisting of:

Valentin Goranko, CEJM Logic Section Editor, vfgo at imm.dtu.dk
Dietrich Kuske, Guest Editor, kuske at informatik.uni-leipzig.de
Wolfgang Thomas, Guest Editor, thomas at informatik.rwth-aachen.de
 

EXTENDED DEADLINES:
Paper submission: September 30, 2009.
Notification: by December 31, 2009
Revision: January 2010.
Final version: February, 2010
Publication: April, 2010.
 
ENQUIRIES: For any questions on subject matters of the special issue please
contact the special issue Editors; for questions regarding CEJM, including
the online submission processing system please contact the Managing Editor,
Beata Kubis, bkubis at versita.com