FCS 2012 - The International Conference on Foundations of Computer Science (FCS)

You are invited to submit a full paper for consideration. All accepted papers will be published in the conference proceedings/book.
Topics of interest include, but are not limited to, the following:
Quantum Computing
Games theory and methods
Computational number theory
Logic in computer science
Theory of computing and formal systems
Automata and formal languages
Coding theory
Novel data structures
Languages
Complexity theory (including circuit complexity)
Theory of parallel and distributed computing
Graph theory and algorithms
Deduction
Combinatorics
Algorithms
Probabilistic and randomized methodologies
Approximation methods
Parametrized complexity (including Kolmogorov, ...)
Non-linear dynamics and chaos
Computational biology and bioinformatics
Cryptography
Database theory
Queuing methods
Foundations of computer security
Model checking and computer-aided verification
Models of computation
Geometry
Semantics, concurrency and type theory
Scheduling methods
Models of internet computing
Other emerging topics