Special issue on Algorithmic Model theory of the Central European Journal of Mathematics: 2nd call for submissions

Di Apr 14 19:35:17 CEST 2009

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

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 1 / March 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, 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
CEJM (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, goranko at maths.wits.ac.za
Dietrich Kuske, Guest Editor, kuske at informatik.uni-leipzig.de
Wolfgang Thomas, Guest Editor, thomas at informatik.rwth-aachen.de

DEADLINES:
Paper submission: June 1.
Notification: October 1
Revision: November 1.
Final version: November 15.
Publication: March, 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

<html><p><font face = "verdana" size = "0.8" color = "navy">This communication is intended for the addressee only. It is confidential. If you have received this communication in error, please notify us immediately and destroy the original message. You may not copy or disseminate this communication without the permission of the University. Only authorized signatories are competent to enter into agreements on behalf of the University and recipients are thus advised that the content of this message may not be legally binding on the University and may contain the personal views and opinions of the author, which are not necessarily the views and opinions of The University of the Witwatersrand, Johannesburg. All agreements between the University and outsiders are subject to South African Law unless the University agrees in writing to the contrary.</font></p></html>