ICHCC -ICTMF 2009 - 2009 International Conference on Theoretical and Mathematical Foundations of Computer Science ICTMF 2009

2009 International Conference on High Performance Networking,Computing and Communication Systems and 2009 International Conference on Theoretical and Mathematical Foundations of Computer Science ( ICHCC -ICTMF 2009) will be held on December 13 ~ 14, 2009, Sanya, Hainan Island, China.

ICHCC -ICTMF 2009 will be the most comprehensive Conference focused on the various aspects of advances in High Performance Networking,Computing and Communication Systems. Our Conference provides a chance for academic and industry professionals to discuss recent progress in the area of High Performance Networking,Computing and Communication Systems.

The goal of this Conference is to bring together the researchers from academia and industry as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects of High Performance Networking,Computing and Communication Systems.

All accepted papers will be included in the Sptinger CCIS proceedings(DBLP and ISTP). And some papers selected will be included in some journals.
The scope of the ICTMF 2009 includes all areas of theoretical computer science, mathematical and logical aspects of computer science and all related areas.

Algorithms
Approximation methods
Automata, formal languages and computability
Automated reasoning
Category theory
Chaos theory
Coding theory
Combinatorics
Computational biology
Computational complexity
Computational geometry
Computational number theory
Concurrency and type theory
Cryptography
Data structures
Database theory
Deduction
Formal languages
Game theory
Geometry and graphs
Graph theory and algorithms
Information retrieval
Logic in computer science
Logics of programs
Mathematical logic
Model theory and applications
Models of computation
Network theory and algorithms
Non-linear dynamics
Parameterized complexity
Partial evaluation
Probabilistic and randomized algorithms
Program transformation
Programming language design and semantics
Proof theory
Quantum computing
Queuing methods
Randomized and approximation algorithms
Rewrite systems and applications
Scheduling methods
Software specification and verification
Temporal logics
Theoretical aspects of computer security
Theoretical aspects of network security
Theory of computation
Theory of parallel and distributed computing
Timed and hybrid Systems
Type systems