WORLDCOMP 2010 - FCS'10 - The 2010 International Conference on Foundations of Computer Science

FCS'10 is the 6th annual conference
C
A
L
L

F
O
R

P
A
P
E
R
S
You are invited to submit a full paper for consideration. All accepted papers will be published in the FCS conference proceedings (in printed book form; later, the proceedings will also be accessible online). Those interested in proposing workshops/sessions, should refer to the relevant sections that appear below.

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