|
|
FCS 2009, the leadin International Conference on Foundations of Computer Science will gather the researchers, scientists, engineers, and scholars into a single arena. It will give them a superb chance to share their experiences and research work on every aspect of Computer Science. The 2009 International Conference on Foundations of Computer Science will discuss on latest progress and research results.
FCS 2009 will cover many topics such as:
- Quantum Computing
- Logic in computer science
- Theory of computing and formal systems
- Automata and formal languages
- Coding theory
- Games theory and methods
- Computational number theory
- Novel data structures
- Languages
- Deduction
- Algorithms
- Probabilistic and randomized methodologies
- Approximation methods
- Complexity theory (including circuit complexity)
- Theory of parallel and distributed computing
- Graph theory and algorithms
- Parametrized complexity
- Non-linear dynamics and chaos
- Computational biology and bioinformatics
- Model checking and computer-aided verification
- Models of computation
- Geometry
- Semantics, concurrency and type theory
- Cryptography
- Database theory
- Queuing methods
- Foundations of computer security
- Scheduling methods
- Models of internet computing
- Other emerging topics
Organizer
The University of Georgia, Department of Computer Science
