ICHCC-ICTMF 2011 - 2011 2nd International Conference on High Performance Networking,Computing and Communication Systems and 2011 2nd International Conference on Theoretical and Mathematical Foundations of Computer Science

2011 2nd International Conference on High Performance Networking,Computing and Communication Systems and 2011 2nd International Conference on Theoretical and Mathematical Foundations of Computer Science
ICHCC-ICTMF 2011 - Singapore, Singapore
May 5-6, 2011, 2011
http://www.iiec-association.org/ichcc2011/cfp.htm

We are peased to invite authors to submit their papers to ICHCC-ICTMF 2011, addressing issues that serve present and future development of the field.

Algorithms, Complexity, Theory and Software aspects of High Performance Computing
Computational Science, Engineering and Technology
Computer Networks
Communication Systems
Computational Systems
Digital Signal Processing
Mobile and Sensor Computing
Security
Software Architectures for High Performance Computing and Networking
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