FCS 2013 - The 2013 International Conference on Foundations of Computer Science (FCS'13)

You are invited to submit a full paper for consideration. All accepted papers will be published in printed conference books/proceedings (they will also be available on the web). The proceedings will be processed for indexing into science citation databases that track citation frequency/data for each paper. These science citation databases include: Inspec / IET / The Institute for Engineering and Technology, CiteSeerX citation index, Google Scholar, Microsoft Academic Search, and other science databases. Like prior years, extended versions of selected papers (about 40%) will appear in journals and edited research books (publishers include: Springer, Elsevier, ...).
Topics of interest include, but are not limited to, the following:
Quantum Computing
Game theory and methods
Computational number theory
Logic in computer science
Theory of computing and formal systems
Automata and formal languages
Optimization methods
Coding theory
Novel data structures
Languages
Complexity theory (including circuit complexity)
Theory of parallel and distributed computing
Graph algorithms and graph drawing
Deduction
Combinatorics
Algorithms
Probabilistic and randomized methodologies
Approximation methods
Parametrized complexity (including Kolmogorov, ...)
Non-linear dynamics and chaos
Computational biology and bioinformatics
Cryptography
Novel compression methods
Database theory
Queuing methods
Foundations of computer security
Model checking and computer-aided verification
Models of computation
Computational geometry
Semantics, concurrency and type theory
Scheduling methods
Models of internet computing
Other emerging topics