|
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
|
|