Special Issue
SPECIAL ISSUE OF THE CENTRAL EUROPEAN JOURNAL OF MATHEMATICS ON ALGORITHMIC MODEL THEORY
Central European Journal of Mathematics (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 / March 2010.
Paper submission will be open on 1st JANUARY 2009, and will last until 30 SEPTEMBER 2009.
We plan to publish no more than fifty papers related to the topic.
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. 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.
The authors are kindly invited to register at our paper processing system available at
http://cejm.edmgr.com/
and submit their contribution using special track established 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 to all special issue editors listed below or directly to the Managing Editor of this journal
(bkubis@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@maths.wits.ac.za
Dietrich Kuske, Guest Editor, kuske@informatik.uni-leipzig.de
Wolfgang Thomas, Guest Editor, thomas@informatik.rwth-aachen.de
DEADLINES:
Paper submission: 30 September 2009
Notification: December 2009
Revision: January 2010
Final version: 1 February 2010
Publication: April, 2010
ENQUIRES:
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@versita.com
