FCS 2014 - The 2014 International Conference on Foundations of Computer Science (FCS'14)

FCS'14 is composed of a number of tracks, including: tutorials, sessions, workshops, posters, and panel discussions. The conference will be held July 21-24, 2014, Las Vegas, USA.
Topics of interest include, but are not limited to, the following:
Quantum Computing
Game theory and methods
Computational number theory
Big Data analytics
Distributed and parallel computation models and 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)
Graph algorithms
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
Pansystems
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