FCS'08 - The 2008 International Conference on Foundations of Computer Science
Last modified
2007-12-14 01:14
Monte Carlo Resort, Las Vegas, Nevada, USA
(July 14-17, 2008)
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 conference proceedings/book.
Topics of interest include, but are not limited to,
the following:
- Graph theory and algorithms
- Quantum Computing
- Games theory and methods
- Computational number theory
- 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
- 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
- Logic in computer science
- Other emerging topics
|
|