|
|
FCS'06: Scope
Last modified
2007-12-02 09:39
Topics of interest include, but are not limited to,
the following:
- Automata and formal languages
- Languages and complexity
- Deduction
- Combinatorics
- Graph theory and algorithms
- Algorithms
- Algebraic theory of computing and formal systems
- Games theory and methods
- Geometry
- Probabilistic and randomized methodologies
- Approximation methods
- Complexity theory (including circuit complexity)
- Parametrized complexity (including Kolmogorov, ...)
- Computational biology and bioinformatics
- Cryptography
- Database theory
- Data structures
- Foundations of computer security
- Logic in computer science
- Model checking and computer-aided verification
- Models of computation
- Quantum Computing
- Semantics, concurrency and type theory
- Scheduling methods
- Models of internet computing
- Theory of parallel and distributed computing
|
|
|
|